Trace number 3366529

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.48 1203.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf
MD5SUM91e4bda9499071fffccca1352d82691f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366529-1305406441.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     262 undec:      58 neg:     280
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       589      2540         0         0      7691         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4917       589      2540         0      4838      7691    129150   no data   no data
3.17/0.80	c  N st    10     11301       589      2540         0      4490      7691     84952   no data   no data
3.17/0.80	c  N st    11     17045       589      2540         0     10153      7691    244618   no data   no data
4.41/1.15	c  F st    12     25003       589      2540         0     12430      7691    294590   no data   no data
4.41/1.15	c  N st    12     25003       589      2540         0     12430      7691    294590   no data   no data
5.15/1.39	c Decided on static restart strategy
5.15/1.39	c  N st    18     30000       589      2540         0     10702      7691    227850   no data   no data
5.15/1.39	c  S st    18     30000       589      2540         0     10702      7691    227850   no data   no data
5.55/1.42	c  S st    18     30505       589      2540         0     11207      7691    241076   no data   no data
5.55/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.42	c blocked clauses removed:       26 vars:      3 tried:         589 T: 0.00 s
5.55/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
5.55/1.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.49	c lits-rem:       104  cl-subs:      416  v-elim:      0  v-fix:    0  time:  0.05 s
5.55/1.49	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
5.55/1.49	c calculated reachability. Time: 0.00
5.55/1.49	c  N st    18     30505       586      2514         0     10791      7613    228197   no data   no data
7.55/1.90	c  N st    20     37616       586      2514         0     10053      7613    185618   no data   no data
8.80/2.28	c  N st    21     44017       586      2514         0     16354      7613    348853   no data   no data
9.55/2.40	c  S st    22     45757       586      2514         0      9276      7613    144712   no data   no data
9.55/2.43	c  S st    22     46260       586      2514         0      9779      7613    157877   no data   no data
9.55/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
9.55/2.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.45	c lits-rem:        37  cl-subs:       41  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.45	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
9.55/2.45	c vivif2 --  cl tried     9738 cl shrink        0 lits rem          0 time: 0.00
9.55/2.46	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
9.55/2.46	c calculated reachability. Time: 0.00
9.55/2.46	c  N st    22     46260       586      2514         0      9738      7613    156754   no data   no data
13.18/3.33	c  N st    23     60658       586      2514         0     14161      7613    278043   no data   no data
15.53/3.97	c  N st    24     69390       586      2514         0     11891      7613    194467   no data   no data
15.53/3.97	c  S st    24     69390       586      2514         0     11891      7613    194467   no data   no data
15.94/4.01	c  S st    24     69894       586      2514         0     12394      7613    206989   no data   no data
15.94/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.94/4.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.94/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
15.94/4.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.94/4.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.94/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.04	c lits-rem:        40  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.01 s
15.94/4.04	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
15.94/4.04	c vivif2 --  cl tried    12314 cl shrink        0 lits rem          0 time: 0.00
15.94/4.05	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
15.94/4.05	c calculated reachability. Time: 0.00
15.94/4.05	c  N st    24     69894       586      2514         0     12314      7613    204693   no data   no data
21.12/5.34	c  F st    25     87501       586      2514         0     17772      7613    340089   no data   no data
21.12/5.34	c  N st    25     87501       586      2514         0     17772      7613    340089   no data   no data
22.70/5.80	c  N dy    33     93174       586      2514         0     23370      7613    485558     17.83     18.78
25.11/6.32	c  N dy    59     99769       586      2514         0     17038      7613    260140     17.81     18.79
26.69/6.72	c  S st    69    104845       586      2514         0     22041      7613    383244     17.30     15.97
26.69/6.78	c  S st    69    105352       586      2514         0     22548      7613    395416     17.30   no data
26.69/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.69/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.69/6.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.69/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.69/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.69/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
26.69/6.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.69/6.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.09/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.89	c lits-rem:       162  cl-subs:      495  v-elim:      0  v-fix:    0  time:  0.09 s
27.09/6.89	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
27.09/6.90	c vivif2 --  cl tried    22053 cl shrink        0 lits rem          0 time: 0.00
27.49/6.91	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
27.49/6.91	c calculated reachability. Time: 0.00
27.49/6.91	c  N dy    69    105352       586      2514         0     22053      7613    382088     17.30   no data
29.89/7.56	c  N dy    86    112398       586      2514         0     15187      7613    181833     16.89     17.79
33.08/8.34	c  N dy   126    122127       586      2514         0     24826      7613    427975     17.03     17.97
35.87/9.09	c  N dy   160    129942       586      2514         0     17713      7613    220592     17.06     17.97
39.51/9.95	c  N dy   198    139748       586      2514         0     27381      7613    466092     16.99     18.04
44.25/11.17	c  N dy   243    153362       586      2514         0     25042      7613    384570     16.86     17.78
46.25/11.66	c  S st   277    158028       586      2514         0     29652      7613    502352     16.95   no data
46.65/11.73	c  S st   277    158531       586      2514         0     30154      7613    515292     16.95   no data
46.65/11.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.65/11.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.65/11.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.65/11.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.65/11.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.65/11.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
46.65/11.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.65/11.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.65/11.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.45/11.92	c lits-rem:       228  cl-subs:      632  v-elim:      0  v-fix:    0  time:  0.16 s
47.45/11.92	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
47.45/11.92	c vivif2 --  cl tried    29522 cl shrink        0 lits rem          0 time: 0.01
47.45/11.94	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
47.45/11.94	c calculated reachability. Time: 0.00
47.45/11.94	c  N dy   277    158531       586      2514         0     29522      7613    499133     16.95   no data
51.43/12.94	c  N dy   311    168673       586      2514         0     22757      7613    299158     16.89     20.02
56.22/14.14	c  N dy   332    180843       586      2514         0     34721      7613    592379     16.79     17.75
60.61/15.22	c  N dy   383    192443       586      2514         0     28457      7613    424868     16.81     17.71
66.59/16.79	c  N dy   455    205605       586      2514         0     22700      7613    256122     16.87     17.90
72.17/18.16	c  N dy   516    218762       586      2514         0     35720      7613    586896     16.90     18.46
78.57/19.71	c  N dy   560    232794       586      2514         0     29823      7613    426809     16.88     17.90
81.36/20.41	c  S st   591    237796       586      2514         0     34769      7613    552444     16.90     17.80
81.76/20.52	c  S st   591    238298       586      2514         0     35270      7613    565345     16.90   no data
81.76/20.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.76/20.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.76/20.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.76/20.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.76/20.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.76/20.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
81.76/20.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.76/20.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.76/20.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.55/20.74	c lits-rem:       119  cl-subs:      523  v-elim:      0  v-fix:    0  time:  0.17 s
82.55/20.74	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
82.55/20.75	c vivif2 --  cl tried    34747 cl shrink        0 lits rem          0 time: 0.01
82.55/20.77	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
82.55/20.77	c calculated reachability. Time: 0.00
82.55/20.77	c  N dy   591    238298       586      2514         0     34747      7613    550784     16.90   no data
89.73/22.56	c  N dy   666    253578       586      2514         0     29079      7613    384049     16.95     18.70
98.90/24.82	c  N dy   756    270794       586      2514         0     24346      7613    239620     17.00     17.98
107.28/26.94	c  N dy   820    288169       586      2514         0     41525      7613    673764     17.00     18.89
116.06/29.13	c  F st   903    306250       586      2514         0     36665      7613    535062     17.02     15.79
116.46/29.21	c  N st   905    306876       586      2514         0     37286      7613    551412     17.02   no data
118.84/29.84	c Decided on static restart strategy
130.02/32.65	c  N st   913    334555       586      2514         0     40745      7613    827698     17.02   no data
141.58/35.59	c  N st   915    357448       586      2514         0     38598      7613    736595     17.02   no data
141.58/35.59	c  S st   915    357448       586      2514         0     38598      7613    736595     17.02   no data
141.98/35.69	c  S st   915    357952       586      2514         0     39102      7613    749594     17.02   no data
141.98/35.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.38/35.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
142.38/35.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.38/35.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.38/35.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.38/35.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
142.38/35.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
142.38/35.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
142.38/35.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.57/36.52	c lits-rem:       317  cl-subs:     2221  v-elim:      0  v-fix:    0  time:  0.78 s
145.57/36.52	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
145.57/36.53	c vivif2 --  cl tried    36881 cl shrink        0 lits rem          0 time: 0.01
145.57/36.56	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.03
145.57/36.56	c calculated reachability. Time: 0.00
145.57/36.56	c  N st   915    357952       586      2514         0     36881      7613    690844     17.02   no data
161.95/40.64	c  N st   916    390344       586      2514         0     43295      7613    991298     17.02   no data
191.04/47.92	c  N st   917    438932       586      2514         0     36982      7613    667802     17.02   no data
236.13/59.29	c  N st   918    511814       586      2514         0     50486      7613    986696     17.02   no data
249.30/62.56	c  N st   919    536929       586      2514         0     44755      7613    794405     17.02   no data
249.30/62.56	c  S st   919    536929       586      2514         0     44755      7613    794405     17.02   no data
249.71/62.68	c  S st   919    537433       586      2514         0     45258      7613    807137     17.02   no data
249.71/62.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.71/62.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
249.71/62.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.71/62.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.71/62.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.71/62.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
249.71/62.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
250.14/62.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
250.14/62.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.88/63.41	c lits-rem:       468  cl-subs:     1118  v-elim:      0  v-fix:    0  time:  0.67 s
252.88/63.41	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
252.88/63.42	c vivif2 --  cl tried    44140 cl shrink        0 lits rem          0 time: 0.01
252.88/63.46	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.03
252.88/63.46	c calculated reachability. Time: 0.00
252.88/63.46	c  N st   919    537433       586      2514         0     44140      7613    773358     17.02   no data
357.80/89.74	c  N st   920    701419       586      2514         0     38080      7613    502125     17.02   no data
430.39/107.94	c  N st   921    806149       586      2514         0     67172      7613   1268979     17.02   no data
430.39/107.94	c  S st   921    806149       586      2514         0     67172      7613   1268979     17.02   no data
431.19/108.15	c  S st   921    806655       586      2514         0     67677      7613   1282637     17.02   no data
431.19/108.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.19/108.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.19/108.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.19/108.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.19/108.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.19/108.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
431.19/108.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
431.59/108.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.59/108.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.96/111.83	c lits-rem:       979  cl-subs:     3965  v-elim:      0  v-fix:    0  time:  3.60 s
445.96/111.83	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
445.96/111.85	c vivif2 --  cl tried    63712 cl shrink        0 lits rem          0 time: 0.02
446.36/111.91	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.06
446.36/111.91	c calculated reachability. Time: 0.00
446.36/111.91	c  N st   921    806655       586      2514         0     63712      7613   1174935     17.02   no data
653.83/163.97	c  F st   922   1071876       586      2514         0     79473      7613   1527583     17.02   no data
653.83/163.97	c  N st   922   1071876       586      2514         0     79473      7613   1527583     17.02   no data
659.37/165.35	c Decided on static restart strategy
677.73/169.99	c  N st   932   1100179       586      2514         0     63333      7613    993073     17.02   no data
710.04/178.11	c  N st   934   1136172       586      2514         0     53678      7613    722556     17.02   no data
739.56/185.41	c  N st   935   1168565       586      2514         0     85456      7613   1560238     17.02   no data
778.24/195.17	c  N st   936   1209982       586      2514         0     79734      7613   1376982     17.02   no data
778.24/195.17	c  S st   936   1209982       586      2514         0     79734      7613   1376982     17.02   no data
779.44/195.42	c  S st   936   1210484       586      2514         0     80236      7613   1390131     17.02   no data
779.44/195.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
779.44/195.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
779.44/195.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
779.44/195.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
779.44/195.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.44/195.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
779.44/195.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
779.44/195.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
779.84/195.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
807.42/202.46	c lits-rem:      1644  cl-subs:     5432  v-elim:      0  v-fix:    0  time:  6.94 s
807.42/202.46	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
807.42/202.48	c vivif2 --  cl tried    74804 cl shrink        0 lits rem          0 time: 0.02
807.76/202.58	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.10
807.76/202.58	c calculated reachability. Time: 0.00
807.76/202.58	c  N st   936   1210484       586      2514         0     74804      7613   1260063     17.02   no data
877.19/220.00	c  N st   937   1283367       586      2514         0     51439      7613    597600     17.02   no data
976.50/244.81	c  N st   938   1392690       586      2514         0     59589      7613    786876     17.02   no data
1132.86/284.04	c  N st   939   1556675       586      2514         0     64348      7613    847361     17.02   no data
1285.70/322.39	c  N st   940   1710484       586      2514         0    106118      7613   2036726     17.02   no data
1285.70/322.39	c  S st   940   1710484       586      2514         0    106118      7613   2036726     17.02   no data
1287.25/322.72	c  S st   940   1710988       586      2514         0    106622      7613   2049676     17.02   no data
1287.25/322.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1287.25/322.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1287.25/322.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1287.25/322.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1287.25/322.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1287.25/322.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
1287.25/322.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1287.65/322.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1287.65/322.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1345.08/337.28	c lits-rem:      1662  cl-subs:     7211  v-elim:      0  v-fix:    0  time: 14.42 s
1345.08/337.28	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
1345.48/337.31	c vivif2 --  cl tried    99411 cl shrink        0 lits rem          0 time: 0.03
1345.88/337.41	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.10
1345.88/337.42	c calculated reachability. Time: 0.00
1345.88/337.42	c  N st   940   1710988       586      2514         0     99411      7613   1856864     17.02   no data
1740.40/436.36	c  N st   941   2079953       586      2514         0    110938      7613   1962571     17.02   no data
1892.37/474.49	c  N st   942   2210988       586      2514         0    115274      7613   2122514     17.02   no data
1892.37/474.49	c  S st   942   2210988       586      2514         0    115274      7613   2122514     17.02   no data
1893.98/474.87	c  S st   942   2211489       586      2514         0    115774      7613   2135159     17.02   no data
1893.98/474.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1894.38/474.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1894.38/474.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1894.38/474.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1894.38/474.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1894.38/474.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
1894.38/474.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1894.38/474.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1894.78/475.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1953.80/489.81	c lits-rem:      1098  cl-subs:     7433  v-elim:      0  v-fix:    0  time: 14.78 s
1953.80/489.81	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
1953.80/489.83	c vivif2 --  cl tried   108341 cl shrink        0 lits rem          0 time: 0.03
1954.20/489.96	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.13
1954.20/489.97	c calculated reachability. Time: 0.00
1954.20/489.97	c  N st   942   2211489       586      2514         0    108341      7613   1938584     17.02   no data
2606.05/653.36	c  N st   943   2711492       586      2514         0    132108      7613   2522438     17.02   no data
2606.05/653.36	c  S st   943   2711492       586      2514         0    132108      7613   2522438     17.02   no data
2608.02/653.85	c  S st   943   2711992       586      2514         0    132607      7613   2535615     17.02   no data
2608.02/653.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2608.42/653.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2608.42/653.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2608.42/653.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2608.42/653.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2608.42/653.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
2608.42/653.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2608.42/653.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2608.82/654.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2685.02/673.13	c lits-rem:      1178  cl-subs:     7957  v-elim:      0  v-fix:    0  time: 19.10 s
2685.02/673.13	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2685.02/673.17	c vivif2 --  cl tried   124650 cl shrink        0 lits rem          0 time: 0.03
2685.79/673.32	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.15
2685.79/673.32	c calculated reachability. Time: 0.00
2685.79/673.32	c  N st   943   2711992       586      2514         0    124650      7613   2324082     17.02   no data
3378.30/847.01	c  N st   944   3211994       586      2514         0     99990      7613   1431705     17.02   no data
3378.30/847.01	c  S st   944   3211994       586      2514         0     99990      7613   1431705     17.02   no data
3379.87/847.33	c  S st   944   3212499       586      2514         0    100495      7613   1444067     17.02   no data
3379.87/847.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3379.87/847.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3379.87/847.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3379.87/847.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3379.87/847.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3379.87/847.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
3379.87/847.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3380.27/847.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3380.27/847.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3391.46/850.29	c lits-rem:       251  cl-subs:     3453  v-elim:      0  v-fix:    0  time:  2.84 s
3391.46/850.29	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
3391.88/850.31	c vivif2 --  cl tried    97042 cl shrink        0 lits rem          0 time: 0.02
3392.23/850.42	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.11
3392.23/850.42	c calculated reachability. Time: 0.00
3392.23/850.42	c  N st   944   3212499       586      2514         0     97042      7613   1358382     17.02   no data
4154.13/1041.43	c  N st   945   3712499       586      2514         0    107794      7613   1525983     17.02   no data
4154.13/1041.43	c  S st   945   3712499       586      2514         0    107794      7613   1525983     17.02   no data
4155.72/1041.83	c  S st   945   3713002       586      2514         0    108297      7613   1539998     17.02   no data
4155.72/1041.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4156.12/1041.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4156.12/1041.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4156.12/1041.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4156.12/1041.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4156.12/1041.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    586 time:  0.00 s
4156.12/1041.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4156.12/1041.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4156.52/1042.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4178.05/1047.48	c lits-rem:       432  cl-subs:     3372  v-elim:      0  v-fix:    0  time:  5.48 s
4178.05/1047.48	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
4178.45/1047.50	c vivif2 --  cl tried   104925 cl shrink        0 lits rem          0 time: 0.03
4178.85/1047.66	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.15
4178.85/1047.66	c calculated reachability. Time: 0.00
4178.85/1047.66	c  N st   945   3713002       586      2514         0    104925      7613   1455574     17.02   no data
4244.27/1064.01	c  F st   946   3751563       586      2514         0    142598      7613   2522074     17.02   no data
4244.27/1064.01	c  N st   946   3751563       586      2514         0    142598      7613   2522074     17.02   no data
4257.04/1067.21	c Decided on static restart strategy
4298.53/1077.63	c  N st   956   3779864       586      2514         0     87410      7613    923726     17.02   no data
4349.57/1090.45	c  N st   958   3815857       586      2514         0    122619      7613   1886824     17.02   no data
4409.01/1105.34	c  N st   959   3848249       586      2514         0    154356      7613   2803075     17.02   no data
4479.22/1122.99	c  N st   960   3896837       586      2514         0    118068      7613   1765178     17.02   no data
4600.09/1153.21	c  N st   961   3969722       586      2514         0    104316      7613   1326376     17.02   no data
4750.88/1191.08	c  N st   962   4079045       586      2514         0    124996      7613   1935421     17.02   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366529-1305406441/watcher-3366529-1305406441 -o /tmp/evaluation-result-3366529-1305406441/solver-3366529-1305406441 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366529-1305406441.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.12 7.62 7.86 4/348 3452
/proc/meminfo: memFree=26249952/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 652246716 52396032 349 33554432000 4194304 4580107 140737124048736 18446744073709551615 47234634049458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 12792 349 299 95 0 7774 0
[pid=3452/tid=3456] ppid=3450 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652246716 52396032 349 33554432000 4194304 4580107 140737124048736 18446744073709551615 47234634049458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652246716 52396032 349 33554432000 4194304 4580107 140737124048736 18446744073709551615 47234634049452 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 652246716 52396032 349 33554432000 4194304 4580107 140737124048736 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0637179 s]
/proc/loadavg: 6.12 7.62 7.86 4/348 3452
/proc/meminfo: memFree=26249952/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=347948 CPUtime=0.23 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 1606 0 0 0 23 0 0 0 18 0 4 0 652246716 356298752 1487 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 86987 1487 376 95 0 81969 0
[pid=3452/tid=3456] ppid=3450 vsize=347948 CPUtime=0.05 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 290 0 0 0 5 0 0 0 18 0 4 0 652246716 356298752 1487 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=347948 CPUtime=0.05 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 326 0 0 0 5 0 0 0 18 0 4 0 652246716 356298752 1487 33554432000 4194304 4580107 140737124048736 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=347948 CPUtime=0.04 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 225 0 0 0 4 0 0 0 20 0 4 0 652246716 356298752 1488 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 347948

[startup+0.163701 s]
/proc/loadavg: 6.12 7.62 7.86 4/348 3452
/proc/meminfo: memFree=26249952/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=347948 CPUtime=0.63 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 2048 0 0 0 63 0 0 0 18 0 4 0 652246716 356298752 1929 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293927 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 86987 1929 377 95 0 81969 0
[pid=3452/tid=3456] ppid=3450 vsize=347948 CPUtime=0.15 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 392 0 0 0 15 0 0 0 18 0 4 0 652246716 356298752 1929 33554432000 4194304 4580107 140737124048736 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=347948 CPUtime=0.15 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 439 0 0 0 15 0 0 0 18 0 4 0 652246716 356298752 1929 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=347948 CPUtime=0.14 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 344 0 0 0 14 0 0 0 21 0 4 0 652246716 356298752 1930 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 347948

[startup+0.300678 s]
/proc/loadavg: 6.12 7.62 7.86 4/348 3452
/proc/meminfo: memFree=26249952/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=349388 CPUtime=1.17 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 2891 0 0 0 117 0 0 0 18 0 4 0 652246716 357773312 2138 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 87347 2138 377 95 0 82329 0
[pid=3452/tid=3456] ppid=3450 vsize=349388 CPUtime=0.29 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 590 0 0 0 29 0 0 0 18 0 4 0 652246716 357773312 2138 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=349388 CPUtime=0.29 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 647 0 0 0 29 0 0 0 18 0 4 0 652246716 357773312 2138 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=349388 CPUtime=0.28 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 571 0 0 0 28 0 0 0 21 0 4 0 652246716 357773312 2138 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349388

[startup+0.700608 s]
/proc/loadavg: 6.12 7.62 7.86 4/348 3452
/proc/meminfo: memFree=26249952/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=350352 CPUtime=2.77 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 4605 0 0 0 277 0 0 0 18 0 4 0 652246716 358760448 2888 33554432000 4194304 4580107 140737124048736 18446744073709551615 4320667 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 87588 2888 377 95 0 82570 0
[pid=3452/tid=3456] ppid=3450 vsize=350352 CPUtime=0.69 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1043 0 0 0 69 0 0 0 18 0 4 0 652246716 358760448 2888 33554432000 4194304 4580107 140737124048736 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=350352 CPUtime=0.69 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1076 0 0 0 69 0 0 0 18 0 4 0 652246716 358760448 2888 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=350352 CPUtime=0.68 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 977 0 0 0 68 0 0 0 22 0 4 0 652246716 358760448 2888 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350352

[startup+1.50047 s]
/proc/loadavg: 6.12 7.62 7.86 9/356 3461
/proc/meminfo: memFree=26228188/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=351812 CPUtime=5.96 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 9301 0 0 0 595 1 0 0 20 0 4 0 652246716 360255488 4781 33554432000 4194304 4580107 140737124048736 18446744073709551615 4295888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 87953 4781 379 95 0 82935 0
[pid=3452/tid=3456] ppid=3450 vsize=351812 CPUtime=1.49 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1882 0 0 0 149 0 0 0 20 0 4 0 652246716 360255488 4781 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=351812 CPUtime=1.49 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1873 0 0 0 149 0 0 0 20 0 4 0 652246716 360255488 4782 33554432000 4194304 4580107 140737124048736 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=351812 CPUtime=1.47 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 1784 0 0 0 147 0 0 0 25 0 4 0 652246716 360255488 4782 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 351812

[startup+3.10019 s]
/proc/loadavg: 6.27 7.63 7.86 9/356 3461
/proc/meminfo: memFree=26203536/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=347064 CPUtime=12.34 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 18282 0 0 0 1231 3 0 0 25 0 4 0 652246716 355393536 10462 33554432000 4194304 4580107 140737124048736 18446744073709551615 4305263 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 86766 10462 379 95 0 81748 0
[pid=3452/tid=3456] ppid=3450 vsize=347064 CPUtime=3.08 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 4046 0 0 0 308 0 0 0 25 0 4 0 652246716 355393536 10462 33554432000 4194304 4580107 140737124048736 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=347064 CPUtime=3.09 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 5136 0 0 0 308 1 0 0 25 0 4 0 652246716 355393536 10462 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=347064 CPUtime=3.05 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 4055 0 0 0 305 0 0 0 25 0 4 0 652246716 355393536 10462 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 347064

[startup+6.30063 s]
/proc/loadavg: 6.27 7.63 7.86 9/356 3461
/proc/meminfo: memFree=26149844/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=354836 CPUtime=25.11 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 28162 0 0 0 2506 5 0 0 25 0 4 0 652246716 363352064 15599 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 88709 15599 379 95 0 83691 0
[pid=3452/tid=3456] ppid=3450 vsize=354836 CPUtime=6.29 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 6969 0 0 0 628 1 0 0 25 0 4 0 652246716 363352064 15599 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=354836 CPUtime=6.28 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 8477 0 0 0 627 1 0 0 25 0 4 0 652246716 363352064 15599 33554432000 4194304 4580107 140737124048736 18446744073709551615 4502541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=354836 CPUtime=6.22 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 5594 0 0 0 621 1 0 0 25 0 4 0 652246716 363352064 15599 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 354836

[startup+12.7005 s]
/proc/loadavg: 6.54 7.64 7.86 9/356 3461
/proc/meminfo: memFree=26076472/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=345252 CPUtime=50.63 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 42478 0 0 0 5056 7 0 0 25 0 4 0 652246716 353538048 23143 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 86313 23143 379 95 0 81295 0
[pid=3452/tid=3456] ppid=3450 vsize=345252 CPUtime=12.68 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 10112 0 0 0 1267 1 0 0 25 0 4 0 652246716 353538048 23143 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=345252 CPUtime=12.68 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 11963 0 0 0 1266 2 0 0 25 0 4 0 652246716 353538048 23143 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=345252 CPUtime=12.54 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 9463 0 0 0 1253 1 0 0 25 0 4 0 652246716 353538048 23143 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 345252

[startup+25.5003 s]
/proc/loadavg: 6.76 7.65 7.86 9/356 3461
/proc/meminfo: memFree=26031976/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=364900 CPUtime=101.69 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 62286 0 0 0 10158 11 0 0 25 0 4 0 652246716 373657600 28978 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 91225 28978 379 95 0 86207 0
[pid=3452/tid=3456] ppid=3450 vsize=364900 CPUtime=25.49 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 16442 0 0 0 2546 3 0 0 25 0 4 0 652246716 373657600 28978 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=364900 CPUtime=25.48 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 18964 0 0 0 2545 3 0 0 25 0 4 0 652246716 373657600 28978 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=364900 CPUtime=25.2 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 12171 0 0 0 2518 2 0 0 25 0 4 0 652246716 373657600 28978 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 364900

[startup+51.1007 s]
/proc/loadavg: 7.18 7.68 7.87 9/356 3462
/proc/meminfo: memFree=25968524/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=364496 CPUtime=203.82 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 97980 0 0 0 20360 22 0 0 25 0 4 0 652246716 373243904 39403 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 91124 39403 379 95 0 86106 0
[pid=3452/tid=3456] ppid=3450 vsize=364496 CPUtime=51.08 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 24658 0 0 0 5102 6 0 0 25 0 4 0 652246716 373243904 39403 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=364496 CPUtime=51.08 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 29660 0 0 0 5102 6 0 0 25 0 4 0 652246716 373243904 39403 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=364496 CPUtime=50.53 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 19732 0 0 0 5049 4 0 0 25 0 4 0 652246716 373243904 39403 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 364496

[startup+102.314 s]
/proc/loadavg: 7.67 7.73 7.87 9/356 3463
/proc/meminfo: memFree=25865340/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=392524 CPUtime=408.11 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 146835 0 0 0 40774 37 0 0 25 0 4 0 652246716 401944576 50909 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 98131 50909 379 95 0 93113 0
[pid=3452/tid=3456] ppid=3450 vsize=392524 CPUtime=102.3 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 35092 0 0 0 10221 9 0 0 25 0 4 0 652246716 401944576 50909 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=392524 CPUtime=102.3 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 39961 0 0 0 10221 9 0 0 25 0 4 0 652246716 401944576 50909 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=392524 CPUtime=101.17 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 35586 0 0 0 10108 9 0 0 25 0 4 0 652246716 401944576 50909 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 392524

[startup+162.3 s]

################
# More data... #
################

[pid=3452] ppid=3450 vsize=673332 CPUtime=2562.17 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 485017 0 0 0 256042 175 0 0 25 0 4 0 652246716 689491968 102391 33554432000 4194304 4580107 140737124048736 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 168333 102391 379 95 0 163315 0
[pid=3452/tid=3456] ppid=3450 vsize=673332 CPUtime=642.3 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 112744 0 0 0 64190 40 0 0 25 0 4 0 652246716 689491968 102392 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=673332 CPUtime=642.31 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 120269 0 0 0 64189 42 0 0 25 0 4 0 652246716 689491968 102392 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=673332 CPUtime=635.24 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 123289 0 0 0 63476 48 0 0 25 0 4 0 652246716 689491968 102392 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.17
Current children cumulated vsize (KiB) 673332

[startup+702.301 s]
/proc/loadavg: 8.06 8.07 7.98 9/356 3493
/proc/meminfo: memFree=25409140/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=673540 CPUtime=2801.47 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 509263 0 0 0 279958 189 0 0 25 0 4 0 652246716 689704960 111177 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 168385 111177 379 95 0 163367 0
[pid=3452/tid=3456] ppid=3450 vsize=673540 CPUtime=702.29 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 119260 0 0 0 70185 44 0 0 25 0 4 0 652246716 689704960 111177 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=673540 CPUtime=702.3 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 126930 0 0 0 70185 45 0 0 25 0 4 0 652246716 689704960 111177 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=673540 CPUtime=694.55 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 129918 0 0 0 69403 52 0 0 25 0 4 0 652246716 689704960 111177 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.47
Current children cumulated vsize (KiB) 673540

[startup+762.314 s]
/proc/loadavg: 8.02 8.05 7.98 9/356 3495
/proc/meminfo: memFree=25438624/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=673852 CPUtime=3040.87 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 534457 0 0 0 303885 202 0 0 25 0 4 0 652246716 690024448 107665 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 168463 107665 379 95 0 163445 0
[pid=3452/tid=3456] ppid=3450 vsize=673852 CPUtime=762.31 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 125959 0 0 0 76183 48 0 0 25 0 4 0 652246716 690024448 107665 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=673852 CPUtime=762.31 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 132370 0 0 0 76184 47 0 0 25 0 4 0 652246716 690024448 107665 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=673852 CPUtime=753.9 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 137892 0 0 0 75334 56 0 0 25 0 4 0 652246716 690024448 107665 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.87
Current children cumulated vsize (KiB) 673852

[startup+822.301 s]
/proc/loadavg: 8.00 8.04 7.98 9/356 3497
/proc/meminfo: memFree=25385240/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=698008 CPUtime=3280.17 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 560768 0 0 0 327805 212 0 0 25 0 4 0 652246716 714760192 115101 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 174502 115101 379 95 0 169484 0
[pid=3452/tid=3456] ppid=3450 vsize=698008 CPUtime=822.3 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 135050 0 0 0 82178 52 0 0 25 0 4 0 652246716 714760192 115101 33554432000 4194304 4580107 140737124048736 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=698008 CPUtime=822.3 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 137224 0 0 0 82180 50 0 0 25 0 4 0 652246716 714760192 115101 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=698008 CPUtime=813.23 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 146501 0 0 0 81265 58 0 0 25 0 4 0 652246716 714760192 115101 33554432000 4194304 4580107 140737124048736 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.17
Current children cumulated vsize (KiB) 698008

[startup+882.301 s]
/proc/loadavg: 8.08 8.05 7.98 9/356 3498
/proc/meminfo: memFree=25320080/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=762520 CPUtime=3519.47 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 582542 0 0 0 351721 226 0 0 25 0 4 0 652246716 780820480 116605 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 190630 116605 379 95 0 185612 0
[pid=3452/tid=3456] ppid=3450 vsize=762520 CPUtime=882.29 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 139143 0 0 0 88175 54 0 0 25 0 4 0 652246716 780820480 116605 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=762520 CPUtime=882.3 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 143430 0 0 0 88175 55 0 0 25 0 4 0 652246716 780820480 116605 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=762520 CPUtime=872.53 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 150502 0 0 0 87193 60 0 0 25 0 4 0 652246716 780820480 116605 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.47
Current children cumulated vsize (KiB) 762520

[startup+942.301 s]
/proc/loadavg: 8.13 8.07 8.00 9/356 3500
/proc/meminfo: memFree=25270584/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=763008 CPUtime=3758.82 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 610061 0 0 0 375645 237 0 0 25 0 4 0 652246716 781320192 122574 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 190752 122574 379 95 0 185734 0
[pid=3452/tid=3456] ppid=3450 vsize=763008 CPUtime=942.3 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 144447 0 0 0 94174 56 0 0 25 0 4 0 652246716 781320192 122574 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=763008 CPUtime=942.31 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 151986 0 0 0 94173 58 0 0 25 0 4 0 652246716 781320192 122574 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=763008 CPUtime=931.88 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 157056 0 0 0 93125 63 0 0 25 0 4 0 652246716 781320192 122574 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.82
Current children cumulated vsize (KiB) 763008

[startup+1002.3 s]
/proc/loadavg: 8.23 8.10 8.01 9/356 3501
/proc/meminfo: memFree=25317656/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=698604 CPUtime=3998.16 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 635115 0 0 0 399568 248 0 0 25 0 4 0 652246716 715370496 116819 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 174651 116819 379 95 0 169633 0
[pid=3452/tid=3456] ppid=3450 vsize=698604 CPUtime=1002.3 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 152040 0 0 0 100170 60 0 0 25 0 4 0 652246716 715370496 116819 33554432000 4194304 4580107 140737124048736 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=698604 CPUtime=1002.3 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 155795 0 0 0 100171 59 0 0 25 0 4 0 652246716 715370496 116819 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=698604 CPUtime=991.22 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 163877 0 0 0 99056 66 0 0 25 0 4 0 652246716 715370496 116819 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.16
Current children cumulated vsize (KiB) 698604

[startup+1062.3 s]
/proc/loadavg: 8.29 8.13 8.02 9/356 3503
/proc/meminfo: memFree=25273092/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=710092 CPUtime=4237.5 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 657632 0 0 0 423491 259 0 0 25 0 4 0 652246716 727134208 123709 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 177523 123709 379 95 0 172505 0
[pid=3452/tid=3456] ppid=3450 vsize=710092 CPUtime=1062.3 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 158363 0 0 0 106168 62 0 0 25 0 4 0 652246716 727134208 123709 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=710092 CPUtime=1062.31 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 159791 0 0 0 106169 62 0 0 25 0 4 0 652246716 727134208 123709 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=710092 CPUtime=1050.55 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 171078 0 0 0 104987 68 0 0 25 0 4 0 652246716 727134208 123709 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.5
Current children cumulated vsize (KiB) 710092

[startup+1122.3 s]
/proc/loadavg: 8.23 8.13 8.02 9/356 3505
/proc/meminfo: memFree=25220860/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=775876 CPUtime=4476.82 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 685038 0 0 0 447408 274 0 0 25 0 4 0 652246716 794497024 134947 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 193969 134947 379 95 0 188951 0
[pid=3452/tid=3456] ppid=3450 vsize=775876 CPUtime=1122.31 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 165314 0 0 0 112163 68 0 0 25 0 4 0 652246716 794497024 134947 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=775876 CPUtime=1122.31 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 167099 0 0 0 112166 65 0 0 25 0 4 0 652246716 794497024 134947 33554432000 4194304 4580107 140737124048736 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=775876 CPUtime=1109.87 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 177832 0 0 0 110916 71 0 0 25 0 4 0 652246716 794497024 134947 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.82
Current children cumulated vsize (KiB) 775876

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.02 9/356 3506
/proc/meminfo: memFree=25239792/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=817220 CPUtime=4716.18 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 702957 0 0 0 471334 284 0 0 25 0 4 0 652246716 836833280 126838 33554432000 4194304 4580107 140737124048736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 204305 126838 379 95 0 199287 0
[pid=3452/tid=3456] ppid=3450 vsize=817220 CPUtime=1182.31 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 170968 0 0 0 118160 71 0 0 25 0 4 0 652246716 836833280 126838 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=817220 CPUtime=1182.31 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 169041 0 0 0 118165 66 0 0 25 0 4 0 652246716 836833280 126838 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=817220 CPUtime=1169.23 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 184752 0 0 0 116848 75 0 0 25 0 4 0 652246716 836833280 126838 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.18
Current children cumulated vsize (KiB) 817220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.06 8.10 8.02 10/356 3507
/proc/meminfo: memFree=25226512/32951124 swapFree=53501236/67111528
[pid=3452] ppid=3450 vsize=774388 CPUtime=4800.41 cores=1,3,5,7
/proc/3452/stat : 3452 (strangenight2-m) R 3450 3452 3413 0 -1 4202496 711750 0 0 0 479751 290 0 0 25 0 4 0 652246716 792973312 128042 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3452/statm: 193597 128042 379 95 0 188579 0
[pid=3452/tid=3456] ppid=3450 vsize=774388 CPUtime=1203.43 cores=1,3,5,7
/proc/3452/task/3456/stat : 3456 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 173963 0 0 0 120270 73 0 0 25 0 4 0 652246716 792973312 128044 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3452/tid=3457] ppid=3450 vsize=774388 CPUtime=1203.43 cores=1,3,5,7
/proc/3452/task/3457/stat : 3457 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 171368 0 0 0 120276 67 0 0 25 0 4 0 652246716 792973312 128044 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3452/tid=3458] ppid=3450 vsize=774388 CPUtime=1190.1 cores=1,3,5,7
/proc/3452/task/3458/stat : 3458 (strangenight2-m) R 3450 3452 3413 0 -1 4202560 186311 0 0 0 118934 76 0 0 25 0 4 0 652246716 792973312 128044 33554432000 4194304 4580107 140737124048736 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 774388

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.48
CPU user time (s): 4797.56
CPU system time (s): 2.92355
CPU usage (%): 398.892
Max. virtual memory (cumulated for all children) (KiB): 935384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.92355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 711753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 349
involuntary context switches= 32443

runsolver used 3.65244 second user time and 9.69853 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 22:54:01
IDJOB=3366529
IDBENCH=82938
IDSOLVER=1844
FILE ID=node103/3366529-1305406441
RUNJOBID= node103-1305406441-3434
PBS_JOBID= 13324513
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366529-1305406441/watcher-3366529-1305406441 -o /tmp/evaluation-result-3366529-1305406441/solver-3366529-1305406441 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366529-1305406441.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 91e4bda9499071fffccca1352d82691f
RANDOM SEED=1673695659

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26250256 kB
Buffers:        298784 kB
Cached:        3864932 kB
SwapCached:     340192 kB
Active:        1319812 kB
Inactive:      5109660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26250256 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           11068 kB
Writeback:           0 kB
AnonPages:     1935956 kB
Mapped:          10532 kB
Slab:           151440 kB
PageTables:      52748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78284056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72980 MiB
End job on node103 at 2011-05-14 23:14:06