Trace number 3173700

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? (TO) 4800.49 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
MD5SUM839440d6b1cc9d3b4faa8d33a4dd7359
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.1582
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173700-1304030002.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.11/0.21	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.11/0.21	c -- vars added      20000
0.11/0.21	c Parsing time:  0.06 s
0.11/0.21	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.11/0.21	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.11/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.78/0.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.78/0.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.78/0.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.78/0.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.78/0.34	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
4.38/1.11	c lits-rem:         0  cl-subs:        0  v-elim:    531  v-fix:    0  time:  0.12 s
4.38/1.11	c Finding binary XORs  T:     0.00 s  found:       0
4.38/1.11	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
4.38/1.11	c calculated reachability. Time: 0.00
4.38/1.11	c Calc default polars -  time:   0.01 s pos:    8968 undec:    2233 neg:    8799
4.38/1.11	c =========================================================================================
4.38/1.11	c types(t): F = full restart, N = normal restart
4.38/1.11	c types(t): S = simplification begin/end, E = solution found
4.38/1.11	c restart types(rt): st = static, dy = dynamic
4.38/1.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.38/1.11	c  B st     0         0     19469     83386         0         0    253452         0   no data   no data
6.34/1.62	c  N dy    20      4142     19469     83386         0      4142    253452    930754    120.69    133.47
11.14/2.83	c  N dy    47      8319     19469     83386         0      8319    253452   1747418    121.25    127.76
15.95/4.05	c  N dy    79     12339     19469     83386         0     12339    253452   2567577    124.42    136.34
21.11/5.30	c  N dy   107     16383     19469     83386         0     16383    253452   3371053    124.72    135.92
26.30/6.64	c  N dy   136     20487     19469     83386         0     10487    253452    644952    125.15    131.76
31.10/7.89	c  N dy   163     24549     19469     83386         0     14548    253452   1467995    125.85    133.44
31.90/8.03	c  F st   166     25000     19469     83386         0     14999    253452   1559453    125.97    121.96
38.69/9.71	c  N dy   172     30000     19469     83386         0     19999    253452   2926464    125.97   no data
38.69/9.71	c  S st   172     30000     19469     83386         0     19999    253452   2926464    125.97   no data
39.09/9.86	c  S st   172     30502     19469     83386         0     20501    253452   2996633    125.97   no data
39.09/9.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.49/9.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
39.49/9.98	c blocked clauses removed:      359 vars:     55 tried:       19469 T: 0.01 s
39.49/9.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.89/10.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.89/10.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19414 time:  0.01 s
39.89/10.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
40.29/10.10	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.09 s
41.10/10.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.28/11.13	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.77 s
44.68/11.23	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.10
44.68/11.24	c calculated reachability. Time: 0.00
44.68/11.24	c  N dy   172     30502     19403     83017         0     20204    252428   2883503    125.97   no data
50.28/12.67	c  N dy   203     34676     19403     83017         0     24378    252428   3730554    126.73    136.69
56.26/14.11	c  N dy   231     38757     19403     83017         0     28459    252428   4540825    126.86    141.38
61.84/15.54	c  N dy   258     42933     19403     83017         0     17283    252428   1042944    127.19    134.93
65.44/16.48	c  S st   278     45753     19403     83017         0     20103    252428   1623824    127.10   no data
66.24/16.65	c  S st   278     46259     19403     83017         0     20609    252428   1695544    127.10   no data
66.24/16.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.63/16.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
66.63/16.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.63/16.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
66.63/16.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.63/16.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
67.03/16.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
67.03/16.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
67.43/16.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.66/17.21	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.23 s
68.66/17.22	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
68.66/17.25	c vivif2 --  cl tried    20608 cl shrink        0 lits rem          0 time: 0.03
69.03/17.35	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.10
69.03/17.35	c calculated reachability. Time: 0.00
69.03/17.35	c  N dy   278     46259     19403     83017         0     20608    252428   1694614    127.10   no data
74.63/18.73	c  N dy   308     50355     19403     83017         0     24704    252428   2548515    127.97    151.31
80.22/20.15	c  N dy   339     54540     19403     83017         0     28888    252428   3395807    128.15    137.31
85.84/21.57	c  N dy   366     58581     19403     83017         0     32928    252428   4220604    128.34    145.04
91.81/23.06	c  N dy   397     62706     19403     83017         0     37053    252428   5069328    128.77    136.02
97.40/24.41	c  N dy   424     66723     19403     83017         0     22394    252428   1414651    128.73    137.92
101.01/25.34	c  S st   445     69388     19403     83017         0     25059    252428   1967906    128.84   no data
101.81/25.52	c  S st   445     69888     19403     83017         0     25559    252428   2053524    128.84   no data
101.81/25.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
102.21/25.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
102.21/25.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.21/25.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
102.21/25.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
102.21/25.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
102.21/25.66	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
102.61/25.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
103.01/25.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.60/26.24	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.37 s
104.60/26.25	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
104.60/26.28	c vivif2 --  cl tried    25557 cl shrink        0 lits rem          0 time: 0.03
105.00/26.39	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.11
105.40/26.40	c calculated reachability. Time: 0.00
105.40/26.40	c  N dy   445     69888     19403     83017         0     25557    252428   2052944    128.84   no data
111.78/28.01	c  N dy   480     74443     19403     83017         0     30112    252428   3051654    129.38    163.98
118.58/29.74	c  N dy   513     79287     19403     83017         0     34956    252428   4032963    129.41    154.03
125.79/31.60	c  N dy   549     84353     19403     83017         0     40022    252428   5084483    129.71    137.76
130.57/32.76	c  F st   571     87501     19403     83017         0     22334    252428    923050    129.76   no data
135.36/33.90	c  N st   576     90800     19403     83017         0     25633    252428   1745504    129.76   no data
143.37/35.96	c  N dy   602     96735     19403     83017         0     31568    252428   3096828    129.70    137.62
152.53/38.25	c  N dy   646    103068     19403     83017         0     37901    252428   4373848    129.64    138.61
154.94/38.89	c  S st   658    104835     19403     83017         0     39667    252428   4716952    129.56    117.95
155.74/39.09	c  S st   658    105339     19403     83017         0     40171    252428   4784538    129.56   no data
156.15/39.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.56/39.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
156.56/39.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.56/39.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
156.56/39.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
156.56/39.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
156.56/39.25	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
156.93/39.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
158.13/39.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
164.13/41.10	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.46 s
164.13/41.11	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
164.13/41.18	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.08
164.94/41.31	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.13
164.94/41.32	c calculated reachability. Time: 0.00
164.94/41.32	c  N dy   658    105339     19403     83017         0     40168    252428   4782946    129.56   no data
175.31/43.90	c  N dy   705    112146     19403     83017         0     24557    252428   1036351    129.56    142.33
185.30/46.43	c  N dy   747    119384     19403     83017         0     31794    252428   2524375    129.45    138.08
196.48/49.23	c  N dy   794    127115     19403     83017         0     39524    252428   4085466    129.34    141.03
208.88/52.32	c  N dy   848    135264     19403     83017         0     23972    252428    605787    129.24    159.75
220.86/55.36	c  N dy   910    144028     19403     83017         0     32736    252428   2431784    129.58    144.65
234.44/58.73	c  N dy   968    153264     19403     83017         0     41972    252428   4347332    129.44    139.76
241.63/60.53	c  S st  1002    158008     19403     83017         0     46716    252428   5323795    129.57   no data
242.43/60.74	c  S st  1002    158509     19403     83017         0     47217    252428   5400212    129.57   no data
242.43/60.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.83/60.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
242.83/60.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.83/60.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.83/60.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
243.23/60.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
243.23/60.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
243.63/61.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
244.82/61.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
253.24/63.43	c lits-rem:        21  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.10 s
253.24/63.44	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
253.61/63.52	c vivif2 --  cl tried    47213 cl shrink        0 lits rem          0 time: 0.09
254.01/63.66	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
254.01/63.67	c calculated reachability. Time: 0.00
254.01/63.67	c  N dy  1002    158509     19403     83017         0     47213    252428   5399565    129.57   no data
268.79/67.38	c  N dy  1079    168636     19403     83017         0     32485    252428   2097705    129.85    158.00
284.78/71.38	c  N dy  1155    179397     19403     83017         0     43245    252428   4324533    129.97    157.51
302.76/75.85	c  N dy  1229    191057     19403     83017         0     28974    252428   1137477    129.84    137.12
320.33/80.29	c  N dy  1309    203357     19403     83017         0     41274    252428   3630795    129.79    137.49
341.13/85.44	c  N dy  1402    216443     19403     83017         0     27396    252428    566582    129.94    136.80
361.48/90.51	c  N dy  1496    230377     19403     83017         0     41329    252428   3435259    129.91    139.91
372.67/93.31	c  S st  1544    237763     19403     83017         0     48714    252428   4925786    129.93    121.16
373.47/93.52	c  S st  1544    238265     19403     83017         0     49216    252428   4997879    129.93   no data
373.47/93.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
373.86/93.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
373.86/93.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
373.86/93.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
373.86/93.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
373.86/93.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
373.86/93.69	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
374.67/93.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
375.47/94.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
383.85/96.12	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.05 s
383.85/96.13	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
384.25/96.21	c vivif2 --  cl tried    49213 cl shrink        0 lits rem          0 time: 0.08
384.66/96.36	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
384.66/96.36	c calculated reachability. Time: 0.00
384.66/96.36	c  N dy  1544    238265     19403     83017         0     49213    252428   4996865    129.93   no data
407.82/102.14	c  N dy  1646    253497     19403     83017         0     36467    252428   2235839    129.98    142.14
432.60/108.38	c  N dy  1761    269733     19403     83017         0     52702    252428   5601195    130.15    137.57
459.38/115.00	c  N dy  1870    286955     19403     83017         0     40935    252428   2907507    130.16    143.66
487.72/122.16	c  N dy  1988    305357     19403     83017         0     59335    252428   6737636    130.26    142.49
489.32/122.57	c  F st  1995    306252     19403     83017         0     30236    252428    497170    130.26     93.79
517.68/129.67	c  N dy  2092    324928     19403     83017         0     48911    252428   4764527    130.33    138.50
549.25/137.53	c  N dy  2234    344955     19403     83017         0     37939    252428   1864529    130.44    138.33
568.42/142.30	c  S st  2317    357397     19403     83017         0     50380    252428   4395792    130.40   no data
569.24/142.50	c  S st  2317    357900     19403     83017         0     50883    252428   4476715    130.40   no data
569.24/142.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
569.64/142.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
569.64/142.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
569.64/142.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
569.64/142.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
569.64/142.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
569.64/142.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
570.42/142.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
571.22/143.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
582.82/145.92	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.90 s
582.82/145.93	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
583.20/146.00	c vivif2 --  cl tried    50882 cl shrink        0 lits rem          0 time: 0.07
583.60/146.15	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
583.60/146.15	c calculated reachability. Time: 0.00
583.60/146.15	c  N dy  2317    357900     19403     83017         0     50882    252428   4476030    130.40   no data
615.56/154.15	c  N dy  2456    378000     19403     83017         0     38981    252428   1881798    130.45    160.35
647.53/162.17	c  N dy  2593    398035     19403     83017         0     59014    252428   6013855    130.51    141.17
679.51/170.10	c  N dy  2727    418063     19403     83017         0     46045    252428   3115524    130.53    142.27
711.43/178.19	c  N dy  2860    438078     19403     83017         0     66059    252428   7167237    130.56    144.98
743.00/186.01	c  N dy  2990    458229     19403     83017         0     52212    252428   4267860    130.53    141.63
776.56/194.40	c  N dy  3130    478294     19403     83017         0     37277    252428    922141    130.67    142.50
807.32/202.11	c  N dy  3257    498383     19403     83017         0     57365    252428   5061569    130.62    138.37
840.07/210.31	c  N dy  3387    518440     19403     83017         0     41420    252428   1582315    130.60    141.19
869.23/217.68	c  S st  3516    536850     19403     83017         0     59825    252428   5456790    130.70   no data
870.44/217.92	c  S st  3516    537354     19403     83017         0     60329    252428   5540675    130.70   no data
870.44/217.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
870.84/218.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
870.84/218.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
870.84/218.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
870.84/218.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
870.84/218.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
871.24/218.10	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
871.64/218.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
872.45/218.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
884.41/221.41	c lits-rem:         4  cl-subs:       10  v-elim:      0  v-fix:    0  time:  2.90 s
884.41/221.42	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
884.81/221.51	c vivif2 --  cl tried    60319 cl shrink        0 lits rem          0 time: 0.09
885.21/221.66	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.16
885.21/221.67	c calculated reachability. Time: 0.00
885.21/221.67	c  N dy  3516    537354     19403     83017         0     60319    252428   5535823    130.70   no data
918.78/230.02	c  N dy  3645    557390     19403     83017         0     43365    252428   1736059    130.68    181.87
950.73/238.06	c  N dy  3782    577474     19403     83017         0     63448    252428   5913867    130.71    137.95
984.69/246.54	c  N dy  3922    597528     19403     83017         0     45506    252428   2043092    130.79    141.03
1017.04/254.67	c  N dy  4053    617654     19403     83017         0     65630    252428   6214439    130.82    137.79
1051.00/263.15	c  N dy  4185    637773     19403     83017         0     46756    252428   2049144    130.85    139.33
1083.79/271.35	c  N dy  4318    657830     19403     83017         0     66811    252428   6186535    130.85    145.98
1117.73/279.83	c  N dy  4447    677864     19403     83017         0     46842    252428   1899881    130.83    142.46
1151.67/288.39	c  N dy  4581    698024     19403     83017         0     66998    252428   6075218    130.84    141.29
1186.83/297.17	c  N dy  4719    718122     19403     83017         0     46102    252428   1506729    130.91    150.83
1220.01/305.44	c  N dy  4858    738236     19403     83017         0     66215    252428   5671126    130.94    149.37
1255.54/314.39	c  N dy  4999    758364     19403     83017         0     44343    252428    964242    131.00    139.00
1287.90/322.49	c  N dy  5127    778462     19403     83017         0     64439    252428   5174623    131.00    186.90
1323.86/331.50	c  N dy  5267    798467     19403     83017         0     84438    252428   9400914    131.07    138.47
1336.24/334.59	c  S st  5319    806031     19403     83017         0     49005    252428   1712597    131.07   no data
1337.44/334.81	c  S st  5319    806536     19403     83017         0     49510    252428   1791753    131.07   no data
1337.44/334.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1337.83/334.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1337.83/334.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1337.83/334.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1337.83/334.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1337.83/334.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
1337.83/334.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1338.25/335.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1338.65/335.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1341.43/335.82	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.66 s
1341.43/335.83	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
1341.43/335.86	c vivif2 --  cl tried    49509 cl shrink        0 lits rem          0 time: 0.03
1342.23/336.01	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.14
1342.23/336.01	c calculated reachability. Time: 0.00
1342.23/336.01	c  N dy  5319    806536     19403     83017         0     49509    252428   1791455    131.07   no data
1375.79/344.47	c  N dy  5460    826743     19403     83017         0     69715    252428   6023224    131.15    139.78
1412.95/353.72	c  N dy  5595    846762     19403     83017         0     45733    252428    825819    131.21    145.67
1446.10/362.00	c  N dy  5734    866795     19403     83017         0     65766    252428   5032636    131.25    139.52
1482.05/371.00	c  N dy  5867    886948     19403     83017         0     85918    252428   9205214    131.27    149.70
1516.40/379.60	c  N dy  6006    907150     19403     83017         0     61129    252428   3847466    131.29    141.61
1551.95/388.50	c  N dy  6149    927185     19403     83017         0     81162    252428   8026050    131.34    140.17
1587.11/397.38	c  N dy  6286    947267     19403     83017         0     55245    252428   2384869    131.39    146.48
1621.86/406.02	c  N dy  6416    967314     19403     83017         0     75291    252428   6491080    131.38    164.93
1659.43/415.45	c  N dy  6546    987501     19403     83017         0     48481    252428    796633    131.38    143.66
1692.57/423.75	c  N dy  6671   1007518     19403     83017         0     68497    252428   4886043    131.34    139.49
1729.34/432.91	c  N dy  6808   1027532     19403     83017         0     88510    252428   9077428    131.35    193.25
1764.49/441.71	c  N dy  6941   1047765     19403     83017         0     60746    252428   3081790    131.35    138.99
1800.04/450.63	c  N dy  7085   1067850     19403     83017         0     80830    252428   7294335    131.40    138.88
1807.61/452.52	c  F st  7115   1071875     19403     83017         0     84855    252428   8129705    131.42    104.28
1837.17/459.98	c  N dy  7196   1087924     19403     83017         0     51900    252428   1087619    131.43    152.66
1871.13/468.48	c  N dy  7329   1107951     19403     83017         0     71926    252428   5244153    131.45    141.05
1908.27/477.74	c  N dy  7467   1128028     19403     83017         0     92002    252428   9380869    131.44    147.03
1943.83/486.67	c  N dy  7606   1148076     19403     83017         0     62050    252428   3000073    131.47    151.82
1979.39/495.60	c  N dy  7735   1168146     19403     83017         0     82118    252428   7169741    131.46    138.67
2018.53/505.30	c  N dy  7864   1188228     19403     83017         0     51202    252428    534629    131.47    139.55
2053.28/514.01	c  N dy  8002   1208290     19403     83017         0     71262    252428   4786253    131.51    162.73
2056.07/514.74	c  S st  8016   1209804     19403     83017         0     72776    252428   5110931    131.52   no data
2056.87/514.98	c  S st  8016   1210309     19403     83017         0     73281    252428   5184203    131.52   no data
2057.27/515.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2057.67/515.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
2057.67/515.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2057.67/515.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2057.67/515.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2057.67/515.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
2057.67/515.18	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2058.47/515.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
2059.30/515.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2071.66/518.67	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.09 s
2071.66/518.68	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
2072.07/518.77	c vivif2 --  cl tried    73277 cl shrink        0 lits rem          0 time: 0.09
2072.85/518.95	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.18
2072.85/518.96	c calculated reachability. Time: 0.00
2072.85/518.96	c  N dy  8016   1210309     19403     83017         0     73277    252428   5181949    131.52   no data
2110.41/528.40	c  N dy  8156   1230402     19403     83017         0     93369    252428   9375987    131.53    153.46
2147.56/537.62	c  N dy  8287   1250496     19403     83017         0     61470    252428   2490407    131.54    138.58
2183.51/546.60	c  N dy  8430   1270629     19403     83017         0     81601    252428   6719126    131.58    140.89
2223.06/556.56	c  N dy  8567   1290915     19403     83017         0    101887    252428  10953394    131.58    144.72
2259.02/565.50	c  N dy  8706   1310976     19403     83017         0     68946    252428   3906583    131.63    140.70
2295.76/574.72	c  N dy  8835   1331042     19403     83017         0     89011    252428   8149443    131.65    139.53
2336.50/584.93	c  N dy  8973   1351124     19403     83017         0     55093    252428    748013    131.70    179.96
2370.89/593.51	c  N dy  9114   1371180     19403     83017         0     75147    252428   4899221    131.71    153.32
2408.82/603.01	c  N dy  9246   1391185     19403     83017         0     95152    252428   9043182    131.71    139.48
2447.56/612.78	c  N dy  9385   1411248     19403     83017         0     60221    252428   1635158    131.73    140.64
2483.13/621.66	c  N dy  9522   1431368     19403     83017         0     80338    252428   5846218    131.78    139.35
2521.87/631.39	c  N dy  9657   1451395     19403     83017         0    100363    252428   9997591    131.80    146.56
2560.61/641.01	c  N dy  9794   1471451     19403     83017         0     64427    252428   2316260    131.82    141.48
2596.17/649.92	c  N dy  9914   1491468     19403     83017         0     84444    252428   6493319    131.82    139.96
2635.71/659.81	c  N dy 10050   1511554     19403     83017         0    104528    252428  10656344    131.81    142.77
2673.27/669.23	c  N dy 10182   1531652     19403     83017         0     67628    252428   2758368    131.82    143.80
2710.02/678.45	c  N dy 10323   1551696     19403     83017         0     87672    252428   6963251    131.83    143.15
2750.37/688.50	c  N dy 10460   1571725     19403     83017         0    107697    252428  11162662    131.84    168.52
2787.92/697.98	c  N dy 10593   1591824     19403     83017         0     69796    252428   3042676    131.87    171.06
2825.48/707.32	c  N dy 10729   1612179     19403     83017         0     90149    252428   7283076    131.87    139.76
2865.81/717.48	c  N dy 10861   1632348     19403     83017         0    110312    252428  11532686    131.90    138.98
2904.16/727.06	c  N dy 11000   1652597     19403     83017         0     71561    252428   3177576    131.92    145.53
2942.13/736.51	c  N dy 11142   1672683     19403     83017         0     91646    252428   7443536    131.95    156.97
2983.25/746.81	c  N dy 11282   1692789     19403     83017         0    111751    252428  11644511    131.97    139.30
3017.23/755.37	c  S st 11398   1710310     19403     83017         0     69282    252428   2504104    132.00   no data
3018.40/755.64	c  S st 11398   1710812     19403     83017         0     69784    252428   2576196    132.00   no data
3018.40/755.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3018.80/755.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
3019.21/755.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3019.21/755.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3019.21/755.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3019.21/755.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
3019.21/755.83	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3019.61/755.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3020.01/756.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3026.79/757.71	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.63 s
3026.79/757.72	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
3026.79/757.77	c vivif2 --  cl tried    69784 cl shrink        0 lits rem          0 time: 0.05
3027.59/757.94	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.17
3027.59/757.95	c calculated reachability. Time: 0.00
3027.59/757.95	c  N dy 11398   1710812     19403     83017         0     69784    252428   2576192    132.00   no data
3064.34/767.19	c  N dy 11524   1730897     19403     83017         0     89868    252428   6822624    131.99    145.04
3104.70/777.28	c  N dy 11654   1750934     19403     83017         0    109901    252428  11010465    132.00    141.15
3144.24/787.19	c  N dy 11789   1770976     19403     83017         0     68945    252428   2235455    132.01    139.43
3180.98/796.32	c  N dy 11920   1791008     19403     83017         0     88976    252428   6400979    132.00    139.30
3221.33/806.47	c  N dy 12052   1811108     19403     83017         0    109074    252428  10583090    132.01    141.90
3262.47/816.79	c  N dy 12181   1831169     19403     83017         0     67142    252428   1640302    132.02    186.68
3298.82/825.88	c  N dy 12314   1851449     19403     83017         0     87422    252428   5862351    132.01    141.21
3341.17/836.44	c  N dy 12455   1871548     19403     83017         0    107521    252428  10097575    132.03    139.38
3383.91/847.10	c  N dy 12586   1891591     19403     83017         0     64575    252428    882042    132.03    142.37
3419.46/856.10	c  N dy 12727   1911665     19403     83017         0     84648    252428   5125666    132.05    142.55
3460.21/866.26	c  N dy 12861   1932131     19403     83017         0    105114    252428   9427250    132.07    139.03
3504.14/877.22	c  N dy 12996   1952205     19403     83017         0    125187    252428  13644404    132.07    139.33
3541.30/886.51	c  N dy 13140   1972226     19403     83017         0     81205    252428   4213370    132.09    139.33
3580.05/896.21	c  N dy 13270   1992268     19403     83017         0    101245    252428   8407633    132.09    139.59
3623.21/907.09	c  N dy 13416   2012329     19403     83017         0    121305    252428  12686956    132.13    141.86
3662.75/916.94	c  N dy 13552   2032354     19403     83017         0     76327    252428   2909113    132.13    144.91
3700.69/926.46	c  N dy 13684   2052547     19403     83017         0     96517    252428   7227577    132.16    155.94
3743.03/937.03	c  N dy 13821   2072606     19403     83017         0    116575    252428  11443740    132.17    139.42
3785.78/947.78	c  N dy 13953   2092669     19403     83017         0     70641    252428   1566790    132.19    158.69
3822.92/957.02	c  N dy 14091   2112720     19403     83017         0     90690    252428   5767200    132.20    139.35
3863.66/967.30	c  N dy 14230   2132778     19403     83017         0    110748    252428   9946244    132.21    141.18
3908.00/978.30	c  N dy 14363   2152794     19403     83017         0    130763    252428  14088527    132.22    142.80
3945.95/987.81	c  N dy 14499   2173045     19403     83017         0     84018    252428   4117555    132.23    142.15
3985.49/997.72	c  N dy 14631   2193162     19403     83017         0    104133    252428   8337021    132.24    140.90
4024.64/1007.55	c  S st 14762   2210812     19403     83017         0    121782    252428  12087098    132.27    121.84
4026.24/1007.92	c  S st 14762   2211316     19403     83017         0    122286    252428  12157378    132.27   no data
4026.24/1007.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4027.05/1008.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.18
4027.05/1008.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4027.05/1008.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4027.05/1008.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4027.05/1008.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19403 time:  0.01 s
4027.05/1008.19	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4028.24/1008.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
4031.43/1009.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4059.80/1016.35	c lits-rem:         3  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.09 s
4059.80/1016.36	c vivif2 --  cl tried    83017 cl shrink        0 lits rem          0 time: 0.01
4060.60/1016.56	c vivif2 --  cl tried   122277 cl shrink        0 lits rem          0 time: 0.20
4061.80/1016.82	c asymm  cl-useful: 0/83017/83017 lits-rem:0 time: 0.26
4061.80/1016.83	c calculated reachability. Time: 0.00
4061.80/1016.83	c  N dy 14762   2211316     19403     83017         0    122277    252428  12153584    132.27   no data
4104.13/1027.50	c  N dy 14897   2231330     19403     83017         0     74291    252428   1900937    132.28    139.40
4141.71/1036.90	c  N dy 15033   2251523     19403     83017         0     94482    252428   6135250    132.29    141.23
4183.63/1047.31	c  N dy 15174   2271544     19403     83017         0    114502    252428  10336344    132.30    140.52
4227.97/1058.45	c  N dy 15296   2291584     19403     83017         0    134541    252428  14546920    132.30    158.87
4266.71/1068.19	c  N dy 15442   2311662     19403     83017         0     85623    252428   4129766    132.33    143.61
4307.06/1078.28	c  N dy 15588   2331730     19403     83017         0    105689    252428   8399483    132.36    141.26
4351.40/1089.35	c  N dy 15731   2351934     19403     83017         0    125889    252428  12660547    132.38    141.20
4394.92/1100.23	c  N dy 15856   2372028     19403     83017         0     75989    252428   1840133    132.37    141.29
4432.87/1109.71	c  N dy 15986   2392205     19403     83017         0     96166    252428   6008116    132.36    140.39
4474.42/1120.11	c  N dy 16118   2412330     19403     83017         0    116289    252428  10237585    132.37    140.47
4519.97/1131.51	c  N dy 16251   2432475     19403     83017         0    136434    252428  14432968    132.36    143.11
4559.89/1141.52	c  N dy 16383   2452608     19403     83017         0     85570    252428   3644213    132.37    140.09
4599.43/1151.42	c  N dy 16519   2472694     19403     83017         0    105656    252428   7856269    132.37    139.65
4642.60/1162.25	c  N dy 16651   2492797     19403     83017         0    125758    252428  12049703    132.38    139.48
4689.32/1173.95	c  N dy 16793   2512928     19403     83017         0     73891    252428    996592    132.39    143.26
4727.27/1183.40	c  N dy 16924   2533147     19403     83017         0     94109    252428   5273953    132.40    143.74
4768.81/1193.84	c  N dy 17063   2553220     19403     83017         0    114180    252428   9536760    132.43    141.49

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: 935)

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-3173700-1304030002/watcher-3173700-1304030002 -o /tmp/evaluation-result-3173700-1304030002/solver-3173700-1304030002 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173700-1304030002.cnf 

running on 4 cores: 0,2,4,6

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: 7.62 7.83 5.95 5/180 11853
/proc/meminfo: memFree=29466472/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=116748 CPUtime=0 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) S 11851 11853 11656 0 -1 4202496 436 0 0 0 0 0 0 0 25 0 4 0 514600564 119549952 369 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 29187 369 313 106 0 24158 0
[pid=11853/tid=11854] ppid=11851 vsize=182292 CPUtime=0 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 24 0 0 0 0 0 0 0 25 0 4 0 514600564 186667008 403 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640859451 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=182292 CPUtime=0 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) D 11851 11853 11656 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 514600564 186667008 404 33554432000 4194304 4627427 140736063787104 18446744073709551615 4534112 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 4 0 514600564 187654144 419 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640556299 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0338939 s]
/proc/loadavg: 7.62 7.83 5.95 5/180 11853
/proc/meminfo: memFree=29466472/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=303272 CPUtime=0.11 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) D 11851 11853 11656 0 -1 4202496 11067 0 0 0 9 2 0 0 18 0 4 0 514600564 310550528 9251 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640902839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 75818 9256 339 106 0 70789 0
[pid=11853/tid=11854] ppid=11851 vsize=303272 CPUtime=0.02 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 2816 0 0 0 2 0 0 0 18 0 4 0 514600564 310550528 9256 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=303272 CPUtime=0.01 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) S 11851 11853 11656 0 -1 4202560 2544 0 0 0 1 0 0 0 18 0 4 0 514600564 310550528 9256 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640964590 0 0 4096 2 18446604453909527424 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=303272 CPUtime=0.02 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) S 11851 11853 11656 0 -1 4202560 2799 0 0 0 2 0 0 0 25 0 4 0 514600564 310550528 9256 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640964590 0 0 4096 2 18446604453909527424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 303272

[startup+0.210844 s]
/proc/loadavg: 7.62 7.83 5.95 5/180 11853
/proc/meminfo: memFree=29466472/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=377984 CPUtime=0.78 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 17311 0 0 0 71 7 0 0 18 0 4 0 514600564 387055616 15495 33554432000 4194304 4627427 140736063787104 18446744073709551615 4449454 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 94496 15497 371 106 0 89467 0
[pid=11853/tid=11854] ppid=11851 vsize=377984 CPUtime=0.2 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) D 11851 11853 11656 0 -1 4202560 5670 0 0 0 19 1 0 0 18 0 4 0 514600564 387055616 15497 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=377984 CPUtime=0.18 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 3809 0 0 0 16 2 0 0 18 0 4 0 514600564 387055616 15498 33554432000 4194304 4627427 140736063787104 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=377984 CPUtime=0.19 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 3845 0 0 0 18 1 0 0 18 0 4 0 514600564 387055616 15499 33554432000 4194304 4627427 140736063787104 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 377984

[startup+0.911624 s]
/proc/loadavg: 7.62 7.83 5.95 5/180 11853
/proc/meminfo: memFree=29466472/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=387480 CPUtime=3.58 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 31821 0 0 0 348 10 0 0 18 0 4 0 514600564 396779520 24249 33554432000 4194304 4627427 140736063787104 18446744073709551615 4327616 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 96870 24249 385 106 0 91841 0
[pid=11853/tid=11854] ppid=11851 vsize=387480 CPUtime=0.9 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 9079 0 0 0 88 2 0 0 19 0 4 0 514600564 396779520 24249 33554432000 4194304 4627427 140736063787104 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=387480 CPUtime=0.88 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 8766 0 0 0 85 3 0 0 18 0 4 0 514600564 396779520 24249 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=387480 CPUtime=0.89 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 4423 0 0 0 88 1 0 0 19 0 4 0 514600564 396779520 24249 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 387480

[startup+1.01161 s]
/proc/loadavg: 7.62 7.83 5.95 5/180 11853
/proc/meminfo: memFree=29466472/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=387480 CPUtime=3.98 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 32178 0 0 0 388 10 0 0 18 0 4 0 514600564 396779520 24606 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 96870 24606 385 106 0 91841 0
[pid=11853/tid=11854] ppid=11851 vsize=387480 CPUtime=1 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 9158 0 0 0 98 2 0 0 19 0 4 0 514600564 396779520 24606 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=387480 CPUtime=0.98 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 8858 0 0 0 95 3 0 0 18 0 4 0 514600564 396779520 24606 33554432000 4194304 4627427 140736063787104 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=387480 CPUtime=0.99 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 4503 0 0 0 98 1 0 0 19 0 4 0 514600564 396779520 24606 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 387480

[startup+1.50052 s]
/proc/loadavg: 7.62 7.83 5.95 5/180 11853
/proc/meminfo: memFree=29466472/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=387480 CPUtime=5.94 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 33543 0 0 0 583 11 0 0 19 0 4 0 514600564 396779520 25971 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308127 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 96870 25972 385 106 0 91841 0
[pid=11853/tid=11854] ppid=11851 vsize=387480 CPUtime=1.49 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 9497 0 0 0 147 2 0 0 20 0 4 0 514600564 396779520 25972 33554432000 4194304 4627427 140736063787104 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=387480 CPUtime=1.47 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 9211 0 0 0 144 3 0 0 19 0 4 0 514600564 396779520 25972 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=387480 CPUtime=1.48 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 4842 0 0 0 147 1 0 0 19 0 4 0 514600564 396779520 25972 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 387480

[startup+3.10023 s]
/proc/loadavg: 7.57 7.82 5.96 9/184 11858
/proc/meminfo: memFree=29331148/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=518744 CPUtime=12.33 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 38392 0 0 0 1221 12 0 0 23 0 4 0 514600564 531193856 30820 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 129686 30820 385 106 0 124657 0
[pid=11853/tid=11854] ppid=11851 vsize=518744 CPUtime=3.07 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 10698 0 0 0 305 2 0 0 25 0 4 0 514600564 531193856 30820 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=518744 CPUtime=3.07 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 10341 0 0 0 304 3 0 0 23 0 4 0 514600564 531193856 30820 33554432000 4194304 4627427 140736063787104 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=518744 CPUtime=3.08 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 6277 0 0 0 307 1 0 0 25 0 4 0 514600564 531193856 30820 33554432000 4194304 4627427 140736063787104 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 518744

[startup+6.30065 s]
/proc/loadavg: 7.60 7.82 5.97 9/184 11858
/proc/meminfo: memFree=29333168/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=491004 CPUtime=25.11 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 48321 0 0 0 2496 15 0 0 25 0 4 0 514600564 502788096 36121 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 122751 36121 386 106 0 117722 0
[pid=11853/tid=11854] ppid=11851 vsize=491004 CPUtime=6.25 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 12951 0 0 0 623 2 0 0 25 0 4 0 514600564 502788096 36121 33554432000 4194304 4627427 140736063787104 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=491004 CPUtime=6.27 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 12551 0 0 0 623 4 0 0 25 0 4 0 514600564 502788096 36121 33554432000 4194304 4627427 140736063787104 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=491004 CPUtime=6.28 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 9672 0 0 0 626 2 0 0 25 0 4 0 514600564 502788096 36121 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 491004

[startup+12.7005 s]
/proc/loadavg: 7.63 7.83 5.98 9/184 11858
/proc/meminfo: memFree=29138256/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=703444 CPUtime=50.69 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 104730 0 0 0 5043 26 0 0 25 0 4 0 514600564 720326656 78099 33554432000 4194304 4627427 140736063787104 18446744073709551615 4302923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 175861 78099 390 106 0 170832 0
[pid=11853/tid=11854] ppid=11851 vsize=703444 CPUtime=12.62 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 39931 0 0 0 1254 8 0 0 25 0 4 0 514600564 720326656 78099 33554432000 4194304 4627427 140736063787104 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=703444 CPUtime=12.68 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 18238 0 0 0 1263 5 0 0 25 0 4 0 514600564 720326656 78099 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=703444 CPUtime=12.69 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 13950 0 0 0 1266 3 0 0 25 0 4 0 514600564 720326656 78099 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 703444

[startup+25.5012 s]
/proc/loadavg: 7.39 7.77 5.98 9/184 11889
/proc/meminfo: memFree=30012832/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=573748 CPUtime=101.81 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 160369 0 0 0 10131 50 0 0 25 0 4 0 514600564 587517952 86235 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 143437 86235 390 106 0 138408 0
[pid=11853/tid=11854] ppid=11851 vsize=573748 CPUtime=25.36 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 48619 0 0 0 2526 10 0 0 25 0 4 0 514600564 587517952 86235 33554432000 4194304 4627427 140736063787104 18446744073709551615 4408492 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=573748 CPUtime=25.47 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 33931 0 0 0 2528 19 0 0 25 0 4 0 514600564 587517952 86235 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=573748 CPUtime=25.48 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 33202 0 0 0 2541 7 0 0 25 0 4 0 514600564 587517952 86235 33554432000 4194304 4627427 140736063787104 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 573748

[startup+51.1005 s]
/proc/loadavg: 7.70 7.80 6.05 9/184 11890
/proc/meminfo: memFree=29657436/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=872656 CPUtime=204.08 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 244496 0 0 0 20339 69 0 0 25 0 4 0 514600564 893599744 132298 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 218164 132298 390 106 0 213135 0
[pid=11853/tid=11854] ppid=11851 vsize=872656 CPUtime=50.83 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 65480 0 0 0 5068 15 0 0 25 0 4 0 514600564 893599744 132298 33554432000 4194304 4627427 140736063787104 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=872656 CPUtime=51.07 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 54447 0 0 0 5084 23 0 0 25 0 4 0 514600564 893599744 132298 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=872656 CPUtime=51.08 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 60510 0 0 0 5095 13 0 0 25 0 4 0 514600564 893599744 132298 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 872656

[startup+102.3 s]
/proc/loadavg: 7.98 7.86 6.16 9/184 11891
/proc/meminfo: memFree=29468764/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=934668 CPUtime=408.62 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 350220 0 0 0 40764 98 0 0 25 0 4 0 514600564 957100032 160598 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 233667 160598 390 106 0 228638 0
[pid=11853/tid=11854] ppid=11851 vsize=934668 CPUtime=101.78 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 92799 0 0 0 10156 22 0 0 25 0 4 0 514600564 957100032 160598 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=934668 CPUtime=102.26 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 80595 0 0 0 10197 29 0 0 25 0 4 0 514600564 957100032 160598 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=934668 CPUtime=102.29 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 90458 0 0 0 10207 22 0 0 25 0 4 0 514600564 957100032 160598 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 934668

[startup+162.3 s]

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

[pid=11853] ppid=11851 vsize=1340432 CPUtime=2565.81 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 1368350 0 0 0 256191 390 0 0 25 0 4 0 514600564 1372602368 254733 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 335108 254733 390 106 0 330079 0
[pid=11853/tid=11854] ppid=11851 vsize=1340432 CPUtime=638.99 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 350303 0 0 0 63807 92 0 0 25 0 4 0 514600564 1372602368 254733 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1340432 CPUtime=642.25 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 334631 0 0 0 64121 104 0 0 25 0 4 0 514600564 1372602368 254733 33554432000 4194304 4627427 140736063787104 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1340432 CPUtime=642.28 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 357951 0 0 0 64124 104 0 0 25 0 4 0 514600564 1372602368 254733 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.81
Current children cumulated vsize (KiB) 1340432

[startup+702.301 s]
/proc/loadavg: 8.13 8.09 7.08 9/184 11907
/proc/meminfo: memFree=28645516/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1342852 CPUtime=2805.5 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 1472395 0 0 0 280129 421 0 0 25 0 4 0 514600564 1375080448 248651 33554432000 4194304 4627427 140736063787104 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 335713 248651 390 106 0 330684 0
[pid=11853/tid=11854] ppid=11851 vsize=1342852 CPUtime=698.68 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 375494 0 0 0 69769 99 0 0 25 0 4 0 514600564 1375080448 248651 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1342852 CPUtime=702.26 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 359719 0 0 0 70114 112 0 0 25 0 4 0 514600564 1375080448 248651 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1342852 CPUtime=702.27 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 382966 0 0 0 70114 113 0 0 25 0 4 0 514600564 1375080448 248652 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.5
Current children cumulated vsize (KiB) 1342852

[startup+762.301 s]
/proc/loadavg: 8.13 8.10 7.15 9/184 11909
/proc/meminfo: memFree=28571176/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1382840 CPUtime=3045.17 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 1577324 0 0 0 304063 454 0 0 25 0 4 0 514600564 1416028160 260869 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 345710 260869 390 106 0 340681 0
[pid=11853/tid=11854] ppid=11851 vsize=1382840 CPUtime=758.36 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 398447 0 0 0 75730 106 0 0 25 0 4 0 514600564 1416028160 260869 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1382840 CPUtime=762.26 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 387651 0 0 0 76105 121 0 0 25 0 4 0 514600564 1416028160 260869 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1382840 CPUtime=762.27 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 409343 0 0 0 76104 123 0 0 25 0 4 0 514600564 1416028160 260869 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.17
Current children cumulated vsize (KiB) 1382840

[startup+822.3 s]
/proc/loadavg: 8.12 8.11 7.21 9/184 11910
/proc/meminfo: memFree=28621228/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1374604 CPUtime=3284.85 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 1685766 0 0 0 327999 486 0 0 25 0 4 0 514600564 1407594496 253505 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 343651 253505 390 106 0 338622 0
[pid=11853/tid=11854] ppid=11851 vsize=1374604 CPUtime=818.24 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 426501 0 0 0 81711 113 0 0 25 0 4 0 514600564 1407594496 253505 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1374604 CPUtime=822.06 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 415376 0 0 0 82077 129 0 0 25 0 4 0 514600564 1407594496 253505 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1374604 CPUtime=822.27 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 433870 0 0 0 82095 132 0 0 25 0 4 0 514600564 1407594496 253505 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.85
Current children cumulated vsize (KiB) 1374604

[startup+882.3 s]
/proc/loadavg: 8.12 8.11 7.27 9/184 11912
/proc/meminfo: memFree=28599116/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1371932 CPUtime=3524.51 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 1808103 0 0 0 351929 522 0 0 25 0 4 0 514600564 1404858368 257958 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 342983 257958 390 106 0 337954 0
[pid=11853/tid=11854] ppid=11851 vsize=1371932 CPUtime=878.23 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 454024 0 0 0 87703 120 0 0 25 0 4 0 514600564 1404858368 257958 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1371932 CPUtime=881.74 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 458475 0 0 0 88034 140 0 0 25 0 4 0 514600564 1404858368 257959 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1371932 CPUtime=882.27 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 461050 0 0 0 88087 140 0 0 25 0 4 0 514600564 1404858368 257960 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 1371932

[startup+942.306 s]
/proc/loadavg: 8.04 8.09 7.31 9/184 11913
/proc/meminfo: memFree=28484504/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1330296 CPUtime=3764.23 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 1913570 0 0 0 375866 557 0 0 25 0 4 0 514600564 1362223104 276814 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 332574 276814 390 106 0 327545 0
[pid=11853/tid=11854] ppid=11851 vsize=1330296 CPUtime=938.23 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 481240 0 0 0 93694 129 0 0 25 0 4 0 514600564 1362223104 276814 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1330296 CPUtime=941.43 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 484160 0 0 0 93994 149 0 0 25 0 4 0 514600564 1362223104 276814 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1330296 CPUtime=942.27 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 488107 0 0 0 94078 149 0 0 25 0 4 0 514600564 1362223104 276814 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.23
Current children cumulated vsize (KiB) 1330296

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 7.35 9/184 11915
/proc/meminfo: memFree=28470452/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1444960 CPUtime=4003.88 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 2020893 0 0 0 399800 588 0 0 25 0 4 0 514600564 1479639040 292313 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 361240 292313 390 106 0 356211 0
[pid=11853/tid=11854] ppid=11851 vsize=1444960 CPUtime=998.22 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 507504 0 0 0 99684 138 0 0 25 0 4 0 514600564 1479639040 292313 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1444960 CPUtime=1001.12 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 511618 0 0 0 99955 157 0 0 25 0 4 0 514600564 1479639040 292313 33554432000 4194304 4627427 140736063787104 18446744073709551615 4322566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1444960 CPUtime=1002.26 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 514286 0 0 0 100070 156 0 0 25 0 4 0 514600564 1479639040 292313 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 1444960

[startup+1062.3 s]
/proc/loadavg: 8.22 8.13 7.41 9/184 11917
/proc/meminfo: memFree=28009228/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1668720 CPUtime=4243.54 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 2188049 0 0 0 423725 629 0 0 25 0 4 0 514600564 1708769280 331609 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 417180 331609 390 106 0 412151 0
[pid=11853/tid=11854] ppid=11851 vsize=1668720 CPUtime=1058.22 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 559529 0 0 0 105670 152 0 0 25 0 4 0 514600564 1708769280 331609 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1668720 CPUtime=1060.78 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 537956 0 0 0 105914 164 0 0 25 0 4 0 514600564 1708769280 331609 33554432000 4194304 4627427 140736063787104 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1668720 CPUtime=1062.26 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 561705 0 0 0 106060 166 0 0 25 0 4 0 514600564 1708769280 331609 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.54
Current children cumulated vsize (KiB) 1668720

[startup+1122.3 s]
/proc/loadavg: 8.23 8.15 7.46 9/184 11918
/proc/meminfo: memFree=27732540/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1728192 CPUtime=4483.2 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 2289147 0 0 0 447658 662 0 0 25 0 4 0 514600564 1769668608 368338 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 432048 368338 390 106 0 427019 0
[pid=11853/tid=11854] ppid=11851 vsize=1728192 CPUtime=1118.22 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 585051 0 0 0 111662 160 0 0 25 0 4 0 514600564 1769668608 368338 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1728192 CPUtime=1120.46 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 562141 0 0 0 111873 173 0 0 25 0 4 0 514600564 1769668608 368338 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1728192 CPUtime=1122.26 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 587129 0 0 0 112052 174 0 0 25 0 4 0 514600564 1769668608 368338 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.2
Current children cumulated vsize (KiB) 1728192

[startup+1182.3 s]
/proc/loadavg: 8.25 8.16 7.51 9/184 11920
/proc/meminfo: memFree=27879444/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1795300 CPUtime=4722.88 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 2396171 0 0 0 471589 699 0 0 25 0 4 0 514600564 1838387200 344396 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 448825 344397 390 106 0 443796 0
[pid=11853/tid=11854] ppid=11851 vsize=1795300 CPUtime=1178.21 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 612271 0 0 0 117651 170 0 0 25 0 4 0 514600564 1838387200 344397 33554432000 4194304 4627427 140736063787104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1795300 CPUtime=1180.14 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 588879 0 0 0 117832 182 0 0 25 0 4 0 514600564 1838387200 344397 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1795300 CPUtime=1182.26 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 613767 0 0 0 118043 183 0 0 25 0 4 0 514600564 1838387200 344397 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.88
Current children cumulated vsize (KiB) 1795300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.24 8.17 7.52 9/184 11921
/proc/meminfo: memFree=27678272/32951124 swapFree=67111364/67111528
[pid=11853] ppid=11851 vsize=1795300 CPUtime=4800.39 cores=0,2,4,6
/proc/11853/stat : 11853 (strangenight2-m) R 11851 11853 11656 0 -1 4202496 2425757 0 0 0 479331 708 0 0 25 0 4 0 514600564 1838387200 373982 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11853/statm: 448825 373982 390 106 0 443796 0
[pid=11853/tid=11854] ppid=11851 vsize=1795300 CPUtime=1197.62 cores=0,2,4,6
/proc/11853/task/11854/stat : 11854 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 619604 0 0 0 119590 172 0 0 25 0 4 0 514600564 1838387200 373983 33554432000 4194304 4627427 140736063787104 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11853/tid=11855] ppid=11851 vsize=1795300 CPUtime=1199.44 cores=0,2,4,6
/proc/11853/task/11855/stat : 11855 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 596156 0 0 0 119760 184 0 0 25 0 4 0 514600564 1838387200 373983 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11853/tid=11856] ppid=11851 vsize=1795300 CPUtime=1201.66 cores=0,2,4,6
/proc/11853/task/11856/stat : 11856 (strangenight2-m) R 11851 11853 11656 0 -1 4202560 621113 0 0 0 119981 185 0 0 25 0 4 0 514600564 1838387200 373983 33554432000 4194304 4627427 140736063787104 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 1795300

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): 1201.77
CPU time (s): 4800.49
CPU user time (s): 4793.34
CPU system time (s): 7.14591
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 1795300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.34
system time used= 7.14591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2425763
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= 6692
involuntary context switches= 21096

runsolver used 1.90371 second user time and 4.24735 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 00:33:22
IDJOB=3173700
IDBENCH=82518
IDSOLVER=1586
FILE ID=node106/3173700-1304030002
RUNJOBID= node106-1304028687-11674
PBS_JOBID= 13170346
Free space on /tmp= 72148 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173700-1304030002/watcher-3173700-1304030002 -o /tmp/evaluation-result-3173700-1304030002/solver-3173700-1304030002 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173700-1304030002.cnf

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

MD5SUM BENCH= 839440d6b1cc9d3b4faa8d33a4dd7359
RANDOM SEED=576726802

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.830
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.82
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.830
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.74
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.830
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.830
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.75
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29466636 kB
Buffers:        207344 kB
Cached:        1964848 kB
SwapCached:         88 kB
Active:        1727664 kB
Inactive:      1546164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29466636 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7220 kB
Writeback:           0 kB
AnonPages:     1101420 kB
Mapped:          15476 kB
Slab:           144508 kB
PageTables:       6688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1520768 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= 72148 MiB
End job on node106 at 2011-04-29 00:53:25