Trace number 3366199

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.21 1203.48

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
MD5SUM33dd7efc1f63d9d3511c7a69c68ea88b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark112.671
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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-3366199-1305398535.cnf'
0.00/0.01	c -- header says num vars:          40000
0.00/0.01	c -- header says num clauses:      168000
0.41/0.15	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.41/0.15	c -- vars added      40000
0.41/0.15	c Parsing time:  0.12 s
0.41/0.15	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
1.16/0.31	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
1.16/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
1.58/0.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.58/0.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.58/0.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.58/0.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
1.58/0.55	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
5.21/1.35	c lits-rem:         0  cl-subs:        0  v-elim:   1043  v-fix:    0  time:  0.29 s
5.21/1.35	c Finding binary XORs  T:     0.01 s  found:       0
5.21/1.35	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
5.21/1.35	c calculated reachability. Time: 0.00
5.21/1.35	c Calc default polars -  time:   0.02 s pos:   17784 undec:    4375 neg:   17841
5.21/1.35	c =========================================================================================
5.21/1.35	c types(t): F = full restart, N = normal restart
5.21/1.35	c types(t): S = simplification begin/end, E = solution found
5.21/1.35	c restart types(rt): st = static, dy = dynamic
5.21/1.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.21/1.35	c  B st     0         0     38957    166841         0         0    506762         0   no data   no data
12.33/3.11	c  N dy    17      4074     38957    166841         0      4072    506762   1307511    183.81    197.80
21.12/5.31	c  N dy    44      8189     38957    166841         0      8187    506762   2443463    183.70    194.92
29.89/7.51	c  N dy    71     12271     38957    166841         0     12268    506762   3558244    183.07    194.70
38.26/9.66	c  N dy    90     16299     38957    166841         0     16296    506762   4630200    180.09    191.42
47.44/11.91	c  N dy   115     20354     38957    166841         0     10352    506762    770040    178.48    189.96
56.21/14.10	c  N dy   145     24462     38957    166841         0     14460    506762   1870092    178.65    190.23
57.01/14.39	c  F st   149     25002     38957    166841         0     15000    506762   2016764    178.95   no data
68.97/17.36	c  N dy   155     30000     38957    166841         0     19998    506762   3914808    178.95   no data
68.97/17.36	c  S st   155     30000     38957    166841         0     19998    506762   3914808    178.95   no data
70.17/17.65	c  S st   155     30501     38957    166841         0     20499    506762   4018277    178.95   no data
70.17/17.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
70.58/17.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
70.98/17.84	c blocked clauses removed:      744 vars:    120 tried:       38957 T: 0.02 s
70.98/17.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
70.98/17.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.98/17.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38837 time:  0.01 s
70.98/17.89	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
72.17/18.10	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.20 s
73.76/18.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.75/19.50	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.94 s
78.55/19.70	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.21
78.55/19.72	c calculated reachability. Time: 0.00
78.55/19.72	c  N dy   155     30501     38820    166081         0     20224    504593   3885507    178.95   no data
87.73/22.01	c  N dy   182     34550     38820    166081         0     24273    504593   4953209    178.68    190.38
97.29/24.49	c  N dy   211     38609     38820    166081         0     28332    504593   6052460    178.88    190.70
107.26/26.92	c  N dy   238     42822     38820    166081         0     17183    504593   1298287    178.30    193.53
113.64/28.55	c  S st   259     45751     38820    166081         0     20112    504593   2096678    178.42   no data
114.84/28.84	c  S st   259     46255     38820    166081         0     20616    504593   2201209    178.42   no data
114.84/28.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
115.24/28.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
115.65/29.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.65/29.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
115.65/29.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
115.65/29.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
115.65/29.07	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
116.46/29.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
117.23/29.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.43/29.74	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.30 s
118.43/29.77	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
118.83/29.81	c vivif2 --  cl tried    20615 cl shrink        0 lits rem          0 time: 0.04
119.63/30.02	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.21
119.63/30.03	c calculated reachability. Time: 0.00
119.63/30.03	c  N dy   259     46255     38820    166081         0     20615    504593   2200887    178.42   no data
128.81/32.31	c  N dy   286     50309     38820    166081         0     24668    504593   3277759    178.18    192.29
137.98/34.65	c  N dy   315     54326     38820    166081         0     28684    504593   4356552    178.39    188.54
147.59/37.05	c  N dy   343     58377     38820    166081         0     32735    504593   5470037    178.68    236.09
157.12/39.48	c  N dy   372     62380     38820    166081         0     36738    504593   6578237    178.84    196.81
166.69/41.81	c  N dy   401     66385     38820    166081         0     22062    504593   1717978    178.95    193.19
173.49/43.51	c  S st   421     69382     38820    166081         0     25059    504593   2482500    178.59    190.54
174.66/43.80	c  S st   421     69886     38820    166081         0     25563    504593   2583789    178.59   no data
174.66/43.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
175.06/43.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
175.06/43.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
175.06/43.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
175.46/44.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
175.46/44.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
175.46/44.03	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
175.87/44.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
176.67/44.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
178.65/44.82	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.41 s
178.65/44.84	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
178.65/44.89	c vivif2 --  cl tried    25561 cl shrink        0 lits rem          0 time: 0.05
179.85/45.11	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.21
179.85/45.12	c calculated reachability. Time: 0.00
179.85/45.12	c  N dy   421     69886     38820    166081         0     25561    504593   2582474    178.59   no data
190.24/47.77	c  N dy   452     74357     38820    166081         0     30032    504593   3792897    178.62    191.52
201.80/50.62	c  N dy   483     79157     38820    166081         0     34831    504593   5067933    178.27    196.92
213.76/53.68	c  N dy   518     84236     38820    166081         0     39909    504593   6439334    178.36    191.23
221.76/55.67	c  F st   541     87500     38820    166081         0     22334    504593   1145238    178.46   no data
230.54/57.81	c  N st   546     90794     38820    166081         0     25628    504593   2465136    178.46   no data
244.12/61.23	c  N dy   576     96615     38820    166081         0     31449    504593   4201506    178.58    189.38
259.23/65.07	c  N dy   624    103008     38820    166081         0     37842    504593   5942449    178.76    189.72
263.63/66.19	c  S st   639    104829     38820    166081         0     39663    504593   6447531    178.83   no data
265.22/66.52	c  S st   639    105332     38820    166081         0     40166    504593   6541084    178.83   no data
265.22/66.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
265.64/66.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
266.06/66.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.06/66.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
266.06/66.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
266.06/66.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
266.06/66.77	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
266.81/66.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
268.82/67.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
275.98/69.20	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.70 s
275.98/69.23	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
276.38/69.35	c vivif2 --  cl tried    40162 cl shrink        0 lits rem          0 time: 0.12
277.18/69.59	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.24
277.58/69.60	c calculated reachability. Time: 0.00
277.58/69.60	c  N dy   639    105332     38820    166081         0     40162    504593   6539766    178.83   no data
294.33/73.80	c  N dy   688    112127     38820    166081         0     24539    504593   1275313    178.96    193.45
311.48/78.12	c  N dy   737    119372     38820    166081         0     31784    504593   3217626    178.84    193.68
330.24/82.81	c  N dy   795    127082     38820    166081         0     39494    504593   5318000    179.11    192.19
350.97/88.01	c  N dy   850    135461     38820    166081         0     24167    504593    781654    179.04    192.06
370.94/93.09	c  N dy   910    144245     38820    166081         0     32950    504593   3121347    178.86    190.67
393.66/98.78	c  N dy   975    153583     38820    166081         0     42288    504593   5694875    179.06    190.44
404.83/101.53	c  S st  1005    157998     38820    166081         0     46702    504593   6886706    179.08    177.74
406.05/101.86	c  S st  1005    158499     38820    166081         0     47203    504593   6983768    179.08   no data
406.05/101.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
406.82/102.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
406.82/102.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
406.82/102.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
406.82/102.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
407.22/102.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
407.22/102.12	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
408.02/102.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
410.02/102.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
418.80/105.11	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.27 s
419.22/105.13	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
419.63/105.27	c vivif2 --  cl tried    47201 cl shrink        0 lits rem          0 time: 0.13
420.78/105.52	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.26
420.78/105.53	c calculated reachability. Time: 0.00
420.78/105.54	c  N dy  1005    158499     38820    166081         0     47201    504593   6983355    179.08   no data
445.96/111.82	c  N dy  1078    168826     38820    166081         0     32671    504593   2772147    179.26    194.84
472.28/118.49	c  N dy  1148    179744     38820    166081         0     43588    504593   5722937    179.14    188.82
500.96/125.65	c  N dy  1219    191261     38820    166081         0     29180    504593   1478143    179.02    193.48
530.48/133.08	c  N dy  1301    203570     38820    166081         0     41488    504593   4809007    178.98    188.42
563.59/141.30	c  N dy  1388    216588     38820    166081         0     27546    504593    719261    179.04    189.56
597.09/149.74	c  N dy  1480    230452     38820    166081         0     41410    504593   4469534    178.99    188.43
615.44/154.34	c  S st  1533    237749     38820    166081         0     48706    504593   6441582    178.97   no data
616.67/154.65	c  S st  1533    238253     38820    166081         0     49210    504593   6535322    178.97   no data
616.67/154.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
617.44/154.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
617.44/154.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.44/154.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
617.44/154.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
617.84/154.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
617.84/154.92	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
618.64/155.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
620.24/155.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
629.40/157.86	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.30 s
629.40/157.88	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
629.81/158.01	c vivif2 --  cl tried    49207 cl shrink        0 lits rem          0 time: 0.12
630.99/158.27	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.26
630.99/158.28	c calculated reachability. Time: 0.00
630.99/158.28	c  N dy  1533    238253     38820    166081         0     49207    504593   6533812    178.97   no data
668.89/167.71	c  N dy  1631    253492     38820    166081         0     36466    504593   2801064    178.86    192.14
709.57/177.90	c  N dy  1735    269682     38820    166081         0     52656    504593   7155233    178.71    190.77
753.10/188.86	c  N dy  1868    286968     38820    166081         0     40949    504593   3826543    179.11    190.41
800.13/200.67	c  N dy  1998    305437     38820    166081         0     59416    504593   8853926    179.19    191.46
802.52/201.27	c  F st  2005    306252     38820    166081         0     30241    504593    597557    179.24    278.06
850.37/213.25	c  N dy  2109    325164     38820    166081         0     49150    504593   6513494    179.37    189.67
901.45/226.06	c  N dy  2251    345239     38820    166081         0     38227    504593   2496170    179.46    206.11
932.17/233.71	c  S st  2337    357380     38820    166081         0     50367    504593   5859733    179.56    164.16
933.35/234.04	c  S st  2337    357881     38820    166081         0     50868    504593   5958526    179.56   no data
933.35/234.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
934.15/234.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
934.15/234.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
934.15/234.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
934.15/234.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
934.15/234.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
934.55/234.31	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
935.35/234.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
936.55/234.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
945.73/237.14	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.21 s
945.73/237.17	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
946.16/237.28	c vivif2 --  cl tried    50866 cl shrink        0 lits rem          0 time: 0.11
947.30/237.55	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.26
947.30/237.56	c calculated reachability. Time: 0.00
947.30/237.56	c  N dy  2337    357881     38820    166081         0     50866    504593   5958146    179.56   no data
999.15/250.53	c  N dy  2480    377985     38820    166081         0     38973    504593   2442768    179.67    216.23
1050.62/263.49	c  N dy  2615    398137     38820    166081         0     59125    504593   7889102    179.71    190.64
1102.48/276.46	c  N dy  2758    418218     38820    166081         0     46209    504593   4181205    179.85    189.48
1155.53/289.75	c  N dy  2900    438379     38820    166081         0     66368    504593   9762654    180.01    197.08
1206.18/302.46	c  N dy  3035    458470     38820    166081         0     52459    504593   5560500    180.03    196.62
1258.83/315.69	c  N dy  3175    478536     38820    166081         0     37527    504593   1199422    179.99    192.58
1309.92/328.48	c  N dy  3314    498680     38820    166081         0     57671    504593   6644441    180.00    196.53
1362.56/341.70	c  N dy  3453    518792     38820    166081         0     41785    504593   2097161    180.03    191.10
1409.21/353.35	c  S st  3575    536821     38820    166081         0     59814    504593   7025581    180.07    178.48
1410.42/353.70	c  S st  3575    537322     38820    166081         0     60315    504593   7135401    180.07   no data
1410.84/353.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1411.25/353.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.14
1411.61/353.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1411.61/353.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1411.61/353.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1411.61/353.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
1411.61/353.98	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1412.41/354.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
1414.40/354.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1426.76/357.79	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.12 s
1427.16/357.81	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
1427.56/357.95	c vivif2 --  cl tried    60312 cl shrink        0 lits rem          0 time: 0.14
1428.80/358.23	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.28
1428.80/358.25	c calculated reachability. Time: 0.00
1428.80/358.25	c  N dy  3575    537322     38820    166081         0     60312    504593   7133978    180.07   no data
1482.60/371.70	c  N dy  3714    557542     38820    166081         0     43530    504593   2297801    180.13    192.28
1535.65/385.00	c  N dy  3854    577744     38820    166081         0     63732    504593   7915841    180.21    192.17
1588.71/398.37	c  N dy  3999    597748     38820    166081         0     45737    504593   2651397    180.30    195.08
1641.76/411.68	c  N dy  4141    617905     38820    166081         0     65894    504593   8174282    180.35    191.52
1695.21/425.06	c  N dy  4273    637978     38820    166081         0     46970    504593   2842694    180.39    192.45
1747.87/438.21	c  N dy  4402    658009     38820    166081         0     67000    504593   8258099    180.36    190.13
1801.34/451.66	c  N dy  4538    678065     38820    166081         0     47054    504593   2422657    180.39    191.81
1854.76/465.07	c  N dy  4668    698170     38820    166081         0     67158    504593   7920988    180.36    190.24
1910.22/478.95	c  N dy  4812    718258     38820    166081         0     46245    504593   1979443    180.47    191.99
1962.86/492.13	c  N dy  4947    738260     38820    166081         0     66247    504593   7492804    180.43    223.24
2018.31/506.07	c  N dy  5086    758278     38820    166081         0     44270    504593   1156818    180.45    190.25
2070.96/519.20	c  N dy  5226    778334     38820    166081         0     64326    504593   6717925    180.53    211.28
2126.03/533.08	c  N dy  5358    798379     38820    166081         0     84369    504593  12112815    180.48    192.62
2146.35/538.14	c  S st  5415    805983     38820    166081         0     48973    504593   2178473    180.52   no data
2147.55/538.47	c  S st  5415    806486     38820    166081         0     49476    504593   2288167    180.52   no data
2147.55/538.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2148.38/538.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
2148.38/538.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2148.38/538.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2148.73/538.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2148.73/538.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
2148.73/538.73	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2149.53/538.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
2149.93/539.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2153.12/539.80	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.72 s
2153.12/539.83	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
2153.12/539.88	c vivif2 --  cl tried    49473 cl shrink        0 lits rem          0 time: 0.05
2154.33/540.14	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.26
2154.33/540.15	c calculated reachability. Time: 0.00
2154.33/540.15	c  N dy  5415    806486     38820    166081         0     49473    504593   2287293    180.52   no data
2207.78/553.55	c  N dy  5554    826543     38820    166081         0     69530    504593   7840162    180.62    196.37
2263.61/567.56	c  N dy  5684    846642     38820    166081         0     45626    504593    956090    180.59    194.33
2316.66/580.81	c  N dy  5823    866669     38820    166081         0     65653    504593   6433254    180.63    201.53
2372.90/594.98	c  N dy  5966    886681     38820    166081         0     85664    504593  12068553    180.74    208.29
2427.16/608.56	c  N dy  6107    906775     38820    166081         0     60756    504593   4927907    180.80    194.59
2483.00/622.50	c  N dy  6247    926910     38820    166081         0     80889    504593  10479265    180.84    197.46
2537.66/636.26	c  N dy  6376    946956     38820    166081         0     54942    504593   3008089    180.84    199.43
2592.70/650.02	c  N dy  6517    967152     38820    166081         0     75138    504593   8690612    180.91    194.44
2649.73/664.31	c  N dy  6644    987224     38820    166081         0     48209    504593    880969    180.87    192.32
2702.39/677.57	c  N dy  6781   1007294     38820    166081         0     68276    504593   6343216    180.87    191.85
2759.43/691.86	c  N dy  6923   1027371     38820    166081         0     88351    504593  11934320    180.92    191.14
2814.47/705.60	c  N dy  7054   1047458     38820    166081         0     60439    504593   3933639    180.92    200.07
2868.72/719.25	c  N dy  7180   1067465     38820    166081         0     80446    504593   9300277    180.86    230.25
2881.48/722.49	c  F st  7214   1071876     38820    166081         0     84856    504593  10537681    180.88   no data
2927.76/734.00	c  N dy  7298   1087660     38820    166081         0     51642    504593   1239103    180.90    197.37
2982.05/747.63	c  N dy  7440   1107932     38820    166081         0     71913    504593   6873110    180.91    190.70
3039.84/762.13	c  N dy  7580   1127972     38820    166081         0     91952    504593  12472061    180.96    191.65
3095.29/776.01	c  N dy  7720   1148054     38820    166081         0     62037    504593   3812586    180.97    191.55
3150.73/789.93	c  N dy  7859   1168101     38820    166081         0     82083    504593   9334523    180.99    267.81
3209.37/804.63	c  N dy  7990   1188122     38820    166081         0     51109    504593    573025    180.97    193.48
3263.62/818.29	c  N dy  8133   1208359     38820    166081         0     71345    504593   6123755    180.99    195.46
3268.00/819.33	c  S st  8143   1209729     38820    166081         0     72715    504593   6486426    180.99   no data
3269.60/819.74	c  S st  8143   1210233     38820    166081         0     73219    504593   6591628    180.99   no data
3269.60/819.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3270.40/819.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.16
3270.40/819.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3270.80/820.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3270.80/820.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3270.80/820.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
3270.80/820.05	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3271.64/820.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
3273.18/820.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3286.35/823.98	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.27 s
3286.75/824.01	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
3287.15/824.14	c vivif2 --  cl tried    73215 cl shrink        0 lits rem          0 time: 0.13
3288.35/824.44	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.30
3288.35/824.45	c calculated reachability. Time: 0.00
3288.35/824.45	c  N dy  8143   1210233     38820    166081         0     73215    504593   6590905    180.99   no data
3346.23/838.94	c  N dy  8283   1230353     38820    166081         0     93332    504593  12103290    181.00    193.48
3402.85/853.17	c  N dy  8422   1250366     38820    166081         0     61349    504593   3100373    181.04    220.30
3458.68/867.11	c  N dy  8560   1270398     38820    166081         0     81380    504593   8615621    181.06    192.53
3517.34/881.89	c  N dy  8698   1290455     38820    166081         0    101437    504593  14201259    181.09    247.76
3571.95/895.59	c  N dy  8829   1310527     38820    166081         0     68513    504593   4774232    181.08    229.52
3628.99/909.88	c  N dy  8960   1330612     38820    166081         0     88597    504593  10341208    181.10    197.76
3690.42/925.29	c  N dy  9102   1350991     38820    166081         0     54972    504593    829687    181.11    198.10
3745.09/939.01	c  N dy  9243   1371046     38820    166081         0     75027    504593   6372528    181.15    203.99
3802.91/953.46	c  N dy  9373   1391091     38820    166081         0     95071    504593  11864181    181.13    191.49
3861.93/968.26	c  N dy  9504   1411129     38820    166081         0     60112    504593   1984919    181.15    191.88
3916.97/982.02	c  N dy  9638   1431159     38820    166081         0     80142    504593   7475473    181.15    193.14
3976.02/996.80	c  N dy  9772   1451233     38820    166081         0    100215    504593  12978100    181.14    212.93
4035.45/1011.76	c  N dy  9923   1471353     38820    166081         0     64336    504593   2919402    181.21    199.64
4091.72/1025.83	c  N dy 10058   1491537     38820    166081         0     84519    504593   8477324    181.20    194.38
4151.92/1040.98	c  N dy 10201   1511660     38820    166081         0    104639    504593  14008880    181.21    191.56
4210.61/1055.66	c  N dy 10347   1531828     38820    166081         0     67807    504593   3551776    181.24    191.11
4267.64/1069.95	c  N dy 10488   1551916     38820    166081         0     87892    504593   9070956    181.25    195.80
4328.23/1085.18	c  N dy 10622   1572038     38820    166081         0    108013    504593  14519847    181.24    193.58
4385.69/1099.56	c  N dy 10754   1592120     38820    166081         0     70101    504593   3838610    181.22    197.30
4443.14/1114.00	c  N dy 10904   1612222     38820    166081         0     90202    504593   9491552    181.29    192.29
4503.72/1129.12	c  N dy 11034   1632233     38820    166081         0    110210    504593  14965609    181.27    192.63
4561.60/1143.66	c  N dy 11172   1652291     38820    166081         0     71272    504593   3986282    181.29    192.49
4619.39/1158.17	c  N dy 11317   1672371     38820    166081         0     91352    504593   9553023    181.30    191.86
4680.42/1173.49	c  N dy 11458   1692428     38820    166081         0    111409    504593  15103289    181.32    193.39
4733.47/1186.79	c  S st 11579   1710234     38820    166081         0     69217    504593   3112612    181.31   no data
4735.07/1187.16	c  S st 11579   1710737     38820    166081         0     69720    504593   3212109    181.31   no data
4735.07/1187.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4735.88/1187.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
4735.88/1187.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4735.88/1187.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4736.27/1187.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4736.27/1187.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38820 time:  0.01 s
4736.27/1187.44	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4737.11/1187.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4737.86/1187.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4745.47/1189.73	c lits-rem:         6  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.87 s
4745.47/1189.76	c vivif2 --  cl tried   166081 cl shrink        0 lits rem          0 time: 0.03
4745.89/1189.82	c vivif2 --  cl tried    69718 cl shrink        0 lits rem          0 time: 0.07
4747.04/1190.12	c asymm  cl-useful: 0/166081/166081 lits-rem:0 time: 0.29
4747.04/1190.13	c calculated reachability. Time: 0.00
4747.04/1190.13	c  N dy 11579   1710737     38820    166081         0     69718    504593   3211855    181.31   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-3366199-1305398535/watcher-3366199-1305398535 -o /tmp/evaluation-result-3366199-1305398535/solver-3366199-1305398535 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366199-1305398535.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.68 8.02 8.00 6/342 12485
/proc/meminfo: memFree=18138752/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651451481 52396032 351 33554432000 4194304 4580107 140734506719136 18446744073709551615 47164146927133 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 12792 351 302 95 0 7774 0
[pid=12485/tid=12486] ppid=12483 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651451481 52396032 351 33554432000 4194304 4580107 140734506719136 18446744073709551615 47164146927129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651451481 52396032 351 33554432000 4194304 4580107 140734506719136 18446744073709551615 47164146927536 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651451481 52396032 351 33554432000 4194304 4580107 140734506719136 18446744073709551615 47164146927129 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0911989 s]
/proc/loadavg: 7.68 8.02 8.00 6/342 12485
/proc/meminfo: memFree=18138752/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=319456 CPUtime=0.33 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) D 12483 12485 12350 0 -1 4202496 22353 0 0 0 29 4 0 0 25 0 4 0 651451481 327122944 18088 33554432000 4194304 4580107 140734506719136 18446744073709551615 228244010017 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 79864 18088 337 95 0 74846 0
[pid=12485/tid=12486] ppid=12483 vsize=319456 CPUtime=0.08 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) D 12483 12485 12350 0 -1 4202560 5491 0 0 0 7 1 0 0 18 0 4 0 651451481 327122944 18088 33554432000 4194304 4580107 140734506719136 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=319456 CPUtime=0.07 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 5487 0 0 0 7 0 0 0 25 0 4 0 651451481 327122944 18088 33554432000 4194304 4580107 140734506719136 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=319456 CPUtime=0.08 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) D 12483 12485 12350 0 -1 4202560 5476 0 0 0 7 1 0 0 25 0 4 0 651451481 327122944 18088 33554432000 4194304 4580107 140734506719136 18446744073709551615 228244009669 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 319456

[startup+0.11393 s]
/proc/loadavg: 7.68 8.02 8.00 6/342 12485
/proc/meminfo: memFree=18138752/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=321280 CPUtime=0.41 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 24559 0 0 0 37 4 0 0 25 0 4 0 651451481 328990720 20294 33554432000 4194304 4580107 140734506719136 18446744073709551615 228244017393 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 80320 20297 337 95 0 75302 0
[pid=12485/tid=12486] ppid=12483 vsize=321280 CPUtime=0.1 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 6045 0 0 0 9 1 0 0 18 0 4 0 651451481 328990720 20297 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=321280 CPUtime=0.09 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 6039 0 0 0 9 0 0 0 25 0 4 0 651451481 328990720 20297 33554432000 4194304 4580107 140734506719136 18446744073709551615 4298737 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=321280 CPUtime=0.1 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 6025 0 0 0 9 1 0 0 25 0 4 0 651451481 328990720 20297 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 321280

[startup+0.300899 s]
/proc/loadavg: 7.68 8.02 8.00 6/342 12485
/proc/meminfo: memFree=18138752/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=324308 CPUtime=1.16 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 28648 0 0 0 111 5 0 0 25 0 4 0 651451481 332091392 24382 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 81077 24382 358 95 0 76059 0
[pid=12485/tid=12486] ppid=12483 vsize=324308 CPUtime=0.29 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 7046 0 0 0 28 1 0 0 18 0 4 0 651451481 332091392 24382 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=324308 CPUtime=0.27 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 7037 0 0 0 27 0 0 0 25 0 4 0 651451481 332091392 24382 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=324308 CPUtime=0.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 7104 0 0 0 27 1 0 0 25 0 4 0 651451481 332091392 24382 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 324308

[startup+1.31372 s]
/proc/loadavg: 7.68 8.02 8.00 6/342 12485
/proc/meminfo: memFree=18138752/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=346020 CPUtime=5.21 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 55658 0 0 0 510 11 0 0 18 0 4 0 651451481 354324480 41251 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295838 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 86505 41251 377 95 0 81487 0
[pid=12485/tid=12486] ppid=12483 vsize=346020 CPUtime=1.3 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 15781 0 0 0 127 3 0 0 19 0 4 0 651451481 354324480 41251 33554432000 4194304 4580107 140734506719136 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=346020 CPUtime=1.29 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 15853 0 0 0 127 2 0 0 19 0 4 0 651451481 354324480 41251 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=346020 CPUtime=1.29 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 7724 0 0 0 128 1 0 0 25 0 4 0 651451481 354324480 41251 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 346020

[startup+1.50069 s]
/proc/loadavg: 7.68 8.02 8.00 6/342 12485
/proc/meminfo: memFree=18138752/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=346020 CPUtime=5.96 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 56115 0 0 0 585 11 0 0 19 0 4 0 651451481 354324480 41708 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 86505 41708 377 95 0 81487 0
[pid=12485/tid=12486] ppid=12483 vsize=346020 CPUtime=1.48 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 15901 0 0 0 145 3 0 0 19 0 4 0 651451481 354324480 41708 33554432000 4194304 4580107 140734506719136 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=346020 CPUtime=1.47 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 15980 0 0 0 145 2 0 0 19 0 4 0 651451481 354324480 41708 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=346020 CPUtime=1.48 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 7808 0 0 0 147 1 0 0 25 0 4 0 651451481 354324480 41708 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 346020

[startup+3.10041 s]
/proc/loadavg: 7.68 8.02 8.00 9/346 12489
/proc/meminfo: memFree=17921208/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=477284 CPUtime=12.33 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 59674 0 0 0 1221 12 0 0 22 0 4 0 651451481 488738816 45267 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 119321 45267 377 95 0 114303 0
[pid=12485/tid=12486] ppid=12483 vsize=477284 CPUtime=3.08 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 16784 0 0 0 305 3 0 0 22 0 4 0 651451481 488738816 45267 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=477284 CPUtime=3.05 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 16868 0 0 0 302 3 0 0 23 0 4 0 651451481 488738816 45267 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=477284 CPUtime=3.09 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 8650 0 0 0 307 2 0 0 25 0 4 0 651451481 488738816 45267 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295838 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) 477284

[startup+6.30085 s]
/proc/loadavg: 7.70 8.01 8.00 9/346 12489
/proc/meminfo: memFree=17826108/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=479712 CPUtime=25.1 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 66593 0 0 0 2496 14 0 0 25 0 4 0 651451481 491225088 52186 33554432000 4194304 4580107 140734506719136 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 119928 52186 377 95 0 114910 0
[pid=12485/tid=12486] ppid=12483 vsize=479712 CPUtime=6.28 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 18393 0 0 0 624 4 0 0 25 0 4 0 651451481 491225088 52186 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=479712 CPUtime=6.21 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 18417 0 0 0 618 3 0 0 25 0 4 0 651451481 491225088 52186 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=479712 CPUtime=6.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 10798 0 0 0 626 2 0 0 25 0 4 0 651451481 491225088 52186 33554432000 4194304 4580107 140734506719136 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 479712

[startup+12.7007 s]
/proc/loadavg: 7.73 8.01 8.00 9/346 12489
/proc/meminfo: memFree=17781096/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=382352 CPUtime=50.65 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 87112 0 0 0 5046 19 0 0 25 0 4 0 651451481 391528448 46740 33554432000 4194304 4580107 140734506719136 18446744073709551615 4318440 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 95588 46740 377 95 0 90570 0
[pid=12485/tid=12486] ppid=12483 vsize=382352 CPUtime=12.7 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 23573 0 0 0 1264 6 0 0 25 0 4 0 651451481 391528448 46750 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=382352 CPUtime=12.56 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 23492 0 0 0 1251 5 0 0 25 0 4 0 651451481 391528448 46750 33554432000 4194304 4580107 140734506719136 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=382352 CPUtime=12.69 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 15918 0 0 0 1266 3 0 0 25 0 4 0 651451481 391528448 46750 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 382352

[startup+25.5005 s]
/proc/loadavg: 7.79 8.01 8.00 9/346 12489
/proc/meminfo: memFree=17456704/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=712096 CPUtime=101.68 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 167728 0 0 0 10127 41 0 0 25 0 4 0 651451481 729186304 105118 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 178024 105118 379 95 0 173006 0
[pid=12485/tid=12486] ppid=12483 vsize=712096 CPUtime=25.48 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 58945 0 0 0 2533 15 0 0 25 0 4 0 651451481 729186304 105118 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=712096 CPUtime=25.21 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 31929 0 0 0 2514 7 0 0 25 0 4 0 651451481 729186304 105118 33554432000 4194304 4580107 140734506719136 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=712096 CPUtime=25.48 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 24397 0 0 0 2543 5 0 0 25 0 4 0 651451481 729186304 105118 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 712096

[startup+51.101 s]
/proc/loadavg: 7.92 8.03 8.00 9/346 12490
/proc/meminfo: memFree=17280092/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=940636 CPUtime=203.8 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 252622 0 0 0 20316 64 0 0 25 0 4 0 651451481 963211264 139020 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 235159 139020 379 95 0 230141 0
[pid=12485/tid=12486] ppid=12483 vsize=940636 CPUtime=51.08 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 75278 0 0 0 5088 20 0 0 25 0 4 0 651451481 963211264 139020 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=940636 CPUtime=50.52 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 55247 0 0 0 5040 12 0 0 25 0 4 0 651451481 963211264 139020 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=940636 CPUtime=51.08 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 47793 0 0 0 5098 10 0 0 25 0 4 0 651451481 963211264 139020 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 940636

[startup+102.301 s]
/proc/loadavg: 8.02 8.04 8.00 9/346 12491
/proc/meminfo: memFree=17014084/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=928952 CPUtime=408.02 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 393759 0 0 0 40700 102 0 0 25 0 4 0 651451481 951246848 184582 33554432000 4194304 4580107 140734506719136 18446744073709551615 4507871 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 232238 184582 379 95 0 227220 0
[pid=12485/tid=12486] ppid=12483 vsize=928952 CPUtime=102.28 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 100772 0 0 0 10202 26 0 0 25 0 4 0 651451481 951246848 184582 33554432000 4194304 4580107 140734506719136 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=928952 CPUtime=101.15 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 91060 0 0 0 10091 24 0 0 25 0 4 0 651451481 951246848 184582 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=928952 CPUtime=102.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 86962 0 0 0 10209 19 0 0 25 0 4 0 651451481 951246848 184582 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 928952

[startup+162.301 s]

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

[pid=12485] ppid=12483 vsize=1619564 CPUtime=2801.32 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1403781 0 0 0 279707 425 0 0 25 0 4 0 651451481 1658433536 321338 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 404891 321338 379 95 0 399873 0
[pid=12485/tid=12486] ppid=12483 vsize=1619564 CPUtime=702.27 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 357605 0 0 0 70122 105 0 0 25 0 4 0 651451481 1658433536 321338 33554432000 4194304 4580107 140734506719136 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1619564 CPUtime=694.49 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 357021 0 0 0 69340 109 0 0 25 0 4 0 651451481 1658433536 321338 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1619564 CPUtime=702.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 329427 0 0 0 70129 99 0 0 25 0 4 0 651451481 1658433536 321338 33554432000 4194304 4580107 140734506719136 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.32
Current children cumulated vsize (KiB) 1619564

[startup+762.301 s]
/proc/loadavg: 8.09 8.07 8.01 9/346 12509
/proc/meminfo: memFree=15942084/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1587688 CPUtime=3040.64 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1504788 0 0 0 303606 458 0 0 25 0 4 0 651451481 1625792512 343931 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293105 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 396922 343931 379 95 0 391904 0
[pid=12485/tid=12486] ppid=12483 vsize=1587688 CPUtime=762.26 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 380940 0 0 0 76113 113 0 0 25 0 4 0 651451481 1625792512 343931 33554432000 4194304 4580107 140734506719136 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1587688 CPUtime=753.82 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 382319 0 0 0 75265 117 0 0 25 0 4 0 651451481 1625792512 343931 33554432000 4194304 4580107 140734506719136 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1587688 CPUtime=762.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 356395 0 0 0 76121 107 0 0 25 0 4 0 651451481 1625792512 343931 33554432000 4194304 4580107 140734506719136 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.64
Current children cumulated vsize (KiB) 1587688

[startup+822.301 s]
/proc/loadavg: 8.07 8.07 8.01 9/346 12511
/proc/meminfo: memFree=15967160/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1717608 CPUtime=3280 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1591921 0 0 0 327513 487 0 0 25 0 4 0 651451481 1758830592 352394 33554432000 4194304 4580107 140734506719136 18446744073709551615 4416727 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 429402 352394 379 95 0 424384 0
[pid=12485/tid=12486] ppid=12483 vsize=1717608 CPUtime=822.28 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 409134 0 0 0 82105 123 0 0 25 0 4 0 651451481 1758830592 352396 33554432000 4194304 4580107 140734506719136 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1717608 CPUtime=813.16 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 404884 0 0 0 81192 124 0 0 25 0 4 0 651451481 1758830592 352396 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1717608 CPUtime=822.3 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 375030 0 0 0 82116 114 0 0 25 0 4 0 651451481 1758830592 352396 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280
Current children cumulated vsize (KiB) 1717608

[startup+882.3 s]
/proc/loadavg: 8.13 8.09 8.01 9/346 12512
/proc/meminfo: memFree=15901832/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1621300 CPUtime=3519.29 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1682134 0 0 0 351415 514 0 0 25 0 4 0 651451481 1660211200 350658 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 405325 350658 379 95 0 400307 0
[pid=12485/tid=12486] ppid=12483 vsize=1621300 CPUtime=882.26 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 431128 0 0 0 88095 131 0 0 25 0 4 0 651451481 1660211200 350658 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1621300 CPUtime=872.49 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 430985 0 0 0 87118 131 0 0 25 0 4 0 651451481 1660211200 350658 33554432000 4194304 4580107 140734506719136 18446744073709551615 4320667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1621300 CPUtime=882.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 393501 0 0 0 88109 119 0 0 25 0 4 0 651451481 1660211200 350658 33554432000 4194304 4580107 140734506719136 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.29
Current children cumulated vsize (KiB) 1621300

[startup+942.313 s]
/proc/loadavg: 8.23 8.11 8.02 9/346 12514
/proc/meminfo: memFree=15923444/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1719700 CPUtime=3758.67 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1768203 0 0 0 375323 544 0 0 25 0 4 0 651451481 1760972800 349572 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 429925 349572 379 95 0 424907 0
[pid=12485/tid=12486] ppid=12483 vsize=1719700 CPUtime=942.28 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 451879 0 0 0 94090 138 0 0 25 0 4 0 651451481 1760972800 349572 33554432000 4194304 4580107 140734506719136 18446744073709551615 4316807 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1719700 CPUtime=931.83 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 449387 0 0 0 93045 138 0 0 25 0 4 0 651451481 1760972800 349572 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1719700 CPUtime=942.29 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 417868 0 0 0 94102 127 0 0 25 0 4 0 651451481 1760972800 349572 33554432000 4194304 4580107 140734506719136 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.67
Current children cumulated vsize (KiB) 1719700

[startup+1002.3 s]
/proc/loadavg: 8.22 8.12 8.03 9/346 12515
/proc/meminfo: memFree=15658356/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1638980 CPUtime=3997.96 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1860978 0 0 0 399220 576 0 0 25 0 4 0 651451481 1678315520 352442 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 409745 352442 379 95 0 404727 0
[pid=12485/tid=12486] ppid=12483 vsize=1638980 CPUtime=1002.27 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 473936 0 0 0 100080 147 0 0 25 0 4 0 651451481 1678315520 352442 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1638980 CPUtime=991.16 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 473407 0 0 0 98971 145 0 0 25 0 4 0 651451481 1678315520 352442 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1638980 CPUtime=1002.28 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 440165 0 0 0 100092 136 0 0 25 0 4 0 651451481 1678315520 352442 33554432000 4194304 4580107 140734506719136 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.96
Current children cumulated vsize (KiB) 1638980

[startup+1062.3 s]
/proc/loadavg: 8.20 8.13 8.03 9/346 12517
/proc/meminfo: memFree=15582152/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1754648 CPUtime=4237.27 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 1957631 0 0 0 423122 605 0 0 25 0 4 0 651451481 1796759552 356332 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 438662 356332 379 95 0 433644 0
[pid=12485/tid=12486] ppid=12483 vsize=1754648 CPUtime=1062.26 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 498385 0 0 0 106071 155 0 0 25 0 4 0 651451481 1796759552 356332 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1754648 CPUtime=1050.48 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 495258 0 0 0 104896 152 0 0 25 0 4 0 651451481 1796759552 356332 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1754648 CPUtime=1062.27 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 464310 0 0 0 106085 142 0 0 25 0 4 0 651451481 1796759552 356332 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.27
Current children cumulated vsize (KiB) 1754648

[startup+1122.3 s]
/proc/loadavg: 8.26 8.15 8.04 9/346 12519
/proc/meminfo: memFree=15553808/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1722492 CPUtime=4476.61 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 2044928 0 0 0 447028 633 0 0 25 0 4 0 651451481 1763831808 372438 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295863 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 430623 372438 379 95 0 425605 0
[pid=12485/tid=12486] ppid=12483 vsize=1722492 CPUtime=1122.25 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 518145 0 0 0 112065 160 0 0 25 0 4 0 651451481 1763831808 372438 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1722492 CPUtime=1109.83 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 519220 0 0 0 110823 160 0 0 25 0 4 0 651451481 1763831808 372438 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1722492 CPUtime=1122.27 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 484007 0 0 0 112077 150 0 0 25 0 4 0 651451481 1763831808 372438 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.61
Current children cumulated vsize (KiB) 1722492

[startup+1182.3 s]
/proc/loadavg: 8.21 8.15 8.05 9/346 12529
/proc/meminfo: memFree=15702840/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1591916 CPUtime=4715.92 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 2136121 0 0 0 470929 663 0 0 25 0 4 0 651451481 1630121984 325913 33554432000 4194304 4580107 140734506719136 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 397979 325913 379 95 0 392961 0
[pid=12485/tid=12486] ppid=12483 vsize=1591916 CPUtime=1182.24 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 540014 0 0 0 118056 168 0 0 25 0 4 0 651451481 1630121984 325913 33554432000 4194304 4580107 140734506719136 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1591916 CPUtime=1169.17 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 542347 0 0 0 116748 169 0 0 25 0 4 0 651451481 1630121984 325913 33554432000 4194304 4580107 140734506719136 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1591916 CPUtime=1182.27 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 504739 0 0 0 118070 157 0 0 25 0 4 0 651451481 1630121984 325913 33554432000 4194304 4580107 140734506719136 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.92
Current children cumulated vsize (KiB) 1591916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.15 8.14 8.04 5/341 12531
/proc/meminfo: memFree=16753864/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1723772 CPUtime=4800.1 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 2163395 0 0 0 479337 673 0 0 25 0 4 0 651451481 1765142528 352097 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293700 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 430943 352097 379 95 0 425925 0
[pid=12485/tid=12486] ppid=12483 vsize=1723772 CPUtime=1203.35 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 546001 0 0 0 120164 171 0 0 25 0 4 0 651451481 1765142528 352104 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1723772 CPUtime=1190.04 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 548668 0 0 0 118832 172 0 0 25 0 4 0 651451481 1765142528 352104 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1723772 CPUtime=1203.38 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 511669 0 0 0 120179 159 0 0 25 0 4 0 651451481 1765142528 352104 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1723772

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

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

[startup+1203.4 s]
/proc/loadavg: 8.15 8.14 8.04 5/341 12531
/proc/meminfo: memFree=16753864/32951124 swapFree=67082152/67111528
[pid=12485] ppid=12483 vsize=1723772 CPUtime=4800.1 cores=0,2,4,6
/proc/12485/stat : 12485 (strangenight2-m) R 12483 12485 12350 0 -1 4202496 2163395 0 0 0 479337 673 0 0 25 0 4 0 651451481 1765142528 352097 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293700 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12485/statm: 430943 352097 379 95 0 425925 0
[pid=12485/tid=12486] ppid=12483 vsize=1723772 CPUtime=1203.35 cores=0,2,4,6
/proc/12485/task/12486/stat : 12486 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 546001 0 0 0 120164 171 0 0 25 0 4 0 651451481 1765142528 352104 33554432000 4194304 4580107 140734506719136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12485/tid=12487] ppid=12483 vsize=1723772 CPUtime=1190.04 cores=0,2,4,6
/proc/12485/task/12487/stat : 12487 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 548668 0 0 0 118832 172 0 0 25 0 4 0 651451481 1765142528 352104 33554432000 4194304 4580107 140734506719136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12485/tid=12488] ppid=12483 vsize=1723772 CPUtime=1203.38 cores=0,2,4,6
/proc/12485/task/12488/stat : 12488 (strangenight2-m) R 12483 12485 12350 0 -1 4202560 511669 0 0 0 120179 159 0 0 25 0 4 0 651451481 1765142528 352104 33554432000 4194304 4580107 140734506719136 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1723772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.48
CPU time (s): 4800.21
CPU user time (s): 4793.41
CPU system time (s): 6.80196
CPU usage (%): 398.86
Max. virtual memory (cumulated for all children) (KiB): 1755896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.41
system time used= 6.80197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2163409
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= 3317
involuntary context switches= 23568

runsolver used 3.55846 second user time and 9.59454 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 20:42:15
IDJOB=3366199
IDBENCH=82608
IDSOLVER=1844
FILE ID=node136/3366199-1305398535
RUNJOBID= node136-1305397329-12368
PBS_JOBID= 13324455
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366199-1305398535/watcher-3366199-1305398535 -o /tmp/evaluation-result-3366199-1305398535/solver-3366199-1305398535 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366199-1305398535.cnf

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

MD5SUM BENCH= 33dd7efc1f63d9d3511c7a69c68ea88b
RANDOM SEED=1016898418

node136.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.809
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.61
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.809
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.809
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.809
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.76
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.809
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.809
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.83
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18138908 kB
Buffers:        292568 kB
Cached:        5034964 kB
SwapCached:       2740 kB
Active:       10583436 kB
Inactive:      3886964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18138908 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           14792 kB
Writeback:          76 kB
AnonPages:     9140700 kB
Mapped:          27456 kB
Slab:           237032 kB
PageTables:      39184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69965680 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= 72984 MiB
End job on node136 at 2011-05-14 21:02:21