Trace number 3173747

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.17 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf
MD5SUM3b06c2c5c22c8501e021c8b11d20bcd0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1042.77
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.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-3173747-1304030351.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
1.63/0.42	c -- clauses added:            0 learnts,       168000 normals,            0 xors
1.63/0.42	c -- vars added      40000
1.63/0.42	c Parsing time:  0.12 s
1.63/0.42	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
1.63/0.42	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.15
1.63/0.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
1.95/0.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.95/0.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.95/0.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.95/0.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
5.16/1.33	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
5.16/1.33	c lits-rem:         0  cl-subs:        0  v-elim:   1025  v-fix:    0  time:  0.30 s
5.16/1.33	c Finding binary XORs  T:     0.01 s  found:       0
5.16/1.33	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
5.16/1.33	c calculated reachability. Time: 0.00
5.16/1.33	c Calc default polars -  time:   0.02 s pos:   17730 undec:    4423 neg:   17847
5.16/1.33	c =========================================================================================
5.16/1.33	c types(t): F = full restart, N = normal restart
5.16/1.33	c types(t): S = simplification begin/end, E = solution found
5.16/1.33	c restart types(rt): st = static, dy = dynamic
5.16/1.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.16/1.33	c  B st     0         0     38975    166810         0         0    506839         0   no data   no data
12.32/3.15	c  N dy    19      4112     38975    166810         0      4112    506839   1269761    192.38    207.36
21.11/5.32	c  N dy    45      8247     38975    166810         0      8247    506839   2408952    183.70    195.55
29.50/7.48	c  N dy    74     12358     38975    166810         0     12357    506839   3510136    182.07    195.94
38.29/9.69	c  N dy   104     16385     38975    166810         0     16382    506839   4624933    183.11    197.44
47.47/11.95	c  N dy   130     20420     38975    166810         0     10420    506839    797048    181.74    196.96
56.26/14.10	c  N dy   155     24441     38975    166810         0     14440    506839   1874230    180.95    191.95
57.46/14.40	c  F st   159     25002     38975    166810         0     15001    506839   2013816    180.46    145.07
69.44/17.45	c  N dy   165     30000     38975    166810         0     19998    506839   4098895    180.46   no data
69.44/17.45	c  S st   165     30000     38975    166810         0     19998    506839   4098895    180.46   no data
70.65/17.72	c  S st   165     30501     38975    166810         0     20499    506839   4199194    180.46   no data
70.65/17.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
71.46/17.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
71.84/18.04	c blocked clauses removed:      644 vars:    113 tried:       38975 T: 0.02 s
71.84/18.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
71.84/18.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.84/18.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38862 time:  0.01 s
71.84/18.09	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
73.04/18.33	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.23 s
74.64/18.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.83/19.59	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.83 s
78.63/19.79	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.20
79.03/19.80	c calculated reachability. Time: 0.00
79.03/19.80	c  N dy   165     30501     38839    166144         0     19517    505010   3530441    180.46   no data
88.63/22.23	c  N dy   193     34749     38839    166144         0     23765    505010   4671250    180.05    200.19
98.20/24.61	c  N dy   220     38753     38839    166144         0     27769    505010   5796642    180.16    197.91
107.38/26.90	c  N dy   244     42774     38839    166144         0     16780    505010   1257380    179.61    189.79
113.78/28.55	c  S st   265     45751     38839    166144         0     19757    505010   2044941    179.51    124.45
115.00/28.84	c  S st   265     46253     38839    166144         0     20259    505010   2125111    179.51   no data
115.00/28.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
115.78/29.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
116.18/29.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.18/29.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
116.18/29.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
116.18/29.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
116.18/29.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
116.97/29.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
117.77/29.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.98/29.89	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.32 s
119.39/29.92	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
119.39/29.96	c vivif2 --  cl tried    20256 cl shrink        0 lits rem          0 time: 0.04
120.17/30.16	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.20
120.17/30.17	c calculated reachability. Time: 0.00
120.17/30.17	c  N dy   265     46253     38839    166144         0     20256    505010   2123849    179.51   no data
129.35/32.47	c  N dy   294     50271     38839    166144         0     24273    505010   3262652    180.02    196.38
138.55/34.79	c  N dy   318     54348     38839    166144         0     28349    505010   4328610    179.54    190.78
148.13/37.19	c  N dy   348     58427     38839    166144         0     32428    505010   5451273    179.75    190.72
158.52/39.71	c  N dy   376     62720     38839    166144         0     36720    505010   6592403    179.43    194.62
167.72/42.03	c  N dy   403     66763     38839    166144         0     22263    505010   1781754    179.14    189.90
173.69/43.55	c  S st   423     69382     38839    166144         0     24882    505010   2499420    179.40   no data
174.89/43.83	c  S st   423     69885     38839    166144         0     25385    505010   2601856    179.40   no data
174.89/43.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
175.69/44.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
176.09/44.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.09/44.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
176.09/44.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
176.09/44.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
176.09/44.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
176.91/44.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
177.69/44.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
179.69/45.06	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.47 s
179.69/45.09	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
180.09/45.14	c vivif2 --  cl tried    25383 cl shrink        0 lits rem          0 time: 0.05
180.91/45.35	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.21
180.91/45.36	c calculated reachability. Time: 0.00
180.91/45.36	c  N dy   423     69885     38839    166144         0     25383    505010   2600446    179.40   no data
191.68/48.05	c  N dy   456     74531     38839    166144         0     30029    505010   3867242    179.68    196.39
202.46/50.78	c  N dy   479     79358     38839    166144         0     34856    505010   5128729    179.14    192.06
214.44/53.79	c  N dy   511     84482     38839    166144         0     39979    505010   6486746    178.98    222.42
222.03/55.60	c  F st   532     87500     38839    166144         0     22245    505010   1119629    179.05    151.29
230.01/57.67	c  N st   537     90798     38839    166144         0     25543    505010   2340782    179.05   no data
243.99/61.13	c  N dy   564     96651     38839    166144         0     31396    505010   4297164    179.22    189.21
259.18/64.93	c  N dy   606    103027     38839    166144         0     37772    505010   6024813    179.14    191.52
263.57/66.02	c  S st   617    104828     38839    166144         0     39573    505010   6500082    179.08   no data
264.79/66.33	c  S st   617    105334     38839    166144         0     40079    505010   6596257    179.08   no data
264.79/66.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
265.97/66.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
265.97/66.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
265.97/66.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
265.97/66.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
265.97/66.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
266.37/66.71	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
267.17/66.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
269.18/67.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
275.96/69.19	c lits-rem:        17  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.73 s
276.36/69.21	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
276.76/69.34	c vivif2 --  cl tried    40073 cl shrink        0 lits rem          0 time: 0.13
277.57/69.58	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.24
277.57/69.59	c calculated reachability. Time: 0.00
277.57/69.59	c  N dy   617    105334     38839    166144         0     40073    505010   6590421    179.08   no data
294.32/73.78	c  N dy   666    112089     38839    166144         0     24451    505010   1285124    179.36    195.09
311.10/77.99	c  N dy   714    119326     38839    166144         0     31688    505010   3232109    179.35    196.39
329.88/82.61	c  N dy   764    127002     38839    166144         0     39363    505010   5322143    179.37    231.39
349.85/87.63	c  N dy   816    135146     38839    166144         0     23826    505010    691127    179.28    199.03
369.84/92.69	c  N dy   876    143881     38839    166144         0     32561    505010   3071953    179.35    192.32
392.59/98.33	c  N dy   947    153132     38839    166144         0     41811    505010   5603123    179.63    199.28
404.58/101.35	c  S st   982    158001     38839    166144         0     46680    505010   6881832    179.51   no data
405.77/101.67	c  S st   982    158503     38839    166144         0     47182    505010   6998244    179.51   no data
406.17/101.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
406.97/101.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
407.37/102.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
407.37/102.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
407.37/102.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
407.37/102.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
407.37/102.07	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
408.57/102.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
410.57/102.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
420.16/105.23	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.38 s
420.16/105.26	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
420.56/105.40	c vivif2 --  cl tried    47178 cl shrink        0 lits rem          0 time: 0.14
421.75/105.65	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.25
421.75/105.66	c calculated reachability. Time: 0.00
421.75/105.66	c  N dy   982    158503     38839    166144         0     47178    505010   6995273    179.51   no data
446.12/111.71	c  N dy  1045    168714     38839    166144         0     32546    505010   2717508    179.36    189.13
472.48/118.35	c  N dy  1120    179578     38839    166144         0     43410    505010   5660751    179.45    195.07
500.85/125.46	c  N dy  1195    191105     38839    166144         0     29017    505010   1423840    179.31    197.34
530.40/132.85	c  N dy  1276    203353     38839    166144         0     41264    505010   4776583    179.48    208.14
562.77/140.92	c  N dy  1365    216348     38839    166144         0     27296    505010    648436    179.49    189.42
595.91/149.30	c  N dy  1466    230285     38839    166144         0     41232    505010   4422962    179.54    197.11
614.69/153.97	c  S st  1516    237754     38839    166144         0     48701    505010   6466725    179.54    181.51
615.91/154.29	c  S st  1516    238259     38839    166144         0     49206    505010   6577776    179.54   no data
616.31/154.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
617.09/154.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
617.49/154.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.49/154.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
617.49/154.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
617.49/154.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
617.49/154.69	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
618.69/154.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
620.30/155.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
629.86/157.73	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.36 s
629.86/157.76	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
630.26/157.89	c vivif2 --  cl tried    49202 cl shrink        0 lits rem          0 time: 0.13
631.46/158.14	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.25
631.46/158.15	c calculated reachability. Time: 0.00
631.46/158.15	c  N dy  1516    238259     38839    166144         0     49202    505010   6576861    179.54   no data
669.42/167.64	c  N dy  1622    253502     38839    166144         0     36465    505010   2900972    179.68    255.17
709.76/177.80	c  N dy  1729    269824     38839    166144         0     52786    505010   7347372    179.63    189.58
752.91/188.55	c  N dy  1854    287135     38839    166144         0     41108    505010   3861402    179.75    199.50
800.04/200.34	c  N dy  1984    305561     38839    166144         0     59533    505010   8909609    179.78    189.60
802.04/200.84	c  F st  1990    306251     38839    166144         0     30230    505010    574260    179.76   no data
849.19/212.63	c  N dy  2093    325177     38839    166144         0     49156    505010   6199549    179.87    195.65
900.30/225.49	c  N dy  2235    345329     38839    166144         0     38310    505010   2520649    179.97    191.27
930.67/233.08	c  S st  2324    357389     38839    166144         0     50369    505010   5837471    180.04    171.80
932.28/233.41	c  S st  2324    357894     38839    166144         0     50874    505010   5936472    180.04   no data
932.28/233.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
933.06/233.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
933.46/233.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
933.46/233.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
933.46/233.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
933.46/233.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
933.86/233.81	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
934.66/234.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
936.26/234.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
945.04/236.68	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.24 s
945.46/236.71	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
945.86/236.82	c vivif2 --  cl tried    50871 cl shrink        0 lits rem          0 time: 0.12
946.63/237.08	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.26
946.63/237.09	c calculated reachability. Time: 0.00
947.03/237.10	c  N dy  2324    357894     38839    166144         0     50871    505010   5935949    180.04   no data
998.18/249.95	c  N dy  2466    377987     38839    166144         0     38965    505010   2433372    180.15    197.26
1049.29/262.74	c  N dy  2600    398085     38839    166144         0     59062    505010   7924901    180.28    192.14
1100.42/275.51	c  N dy  2735    418236     38839    166144         0     46219    505010   4091836    180.30    193.28
1152.37/288.59	c  N dy  2879    438323     38839    166144         0     66305    505010   9612444    180.43    191.78
1203.08/301.28	c  N dy  3013    458491     38839    166144         0     52473    505010   5497906    180.35    198.22
1256.21/314.53	c  N dy  3149    478681     38839    166144         0     37661    505010   1236856    180.34    191.18
1306.54/327.16	c  N dy  3286    498690     38839    166144         0     57670    505010   6715657    180.34    194.14
1359.66/340.40	c  N dy  3424    518740     38839    166144         0     41722    505010   2079904    180.46    228.27
1405.61/351.97	c  S st  3547    536841     38839    166144         0     59823    505010   6990547    180.47   no data
1407.22/352.32	c  S st  3547    537345     38839    166144         0     60327    505010   7091376    180.47   no data
1407.22/352.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1408.40/352.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
1408.40/352.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1408.40/352.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1408.40/352.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1408.80/352.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
1408.80/352.73	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1409.60/352.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
1411.61/353.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1423.98/356.54	c lits-rem:         7  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.09 s
1423.98/356.57	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
1424.80/356.71	c vivif2 --  cl tried    60321 cl shrink        0 lits rem          0 time: 0.14
1425.57/356.99	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.27
1425.97/357.00	c calculated reachability. Time: 0.00
1425.97/357.00	c  N dy  3547    537345     38839    166144         0     60321    505010   7088290    180.47   no data
1478.70/370.29	c  N dy  3693    557371     38839    166144         0     43344    505010   2279057    180.56    198.19
1530.63/383.23	c  N dy  3832    577408     38839    166144         0     63380    505010   7829592    180.66    200.19
1583.35/396.48	c  N dy  3963    597503     38839    166144         0     45476    505010   2605725    180.66    192.19
1635.71/409.58	c  N dy  4101    617674     38839    166144         0     65645    505010   8092098    180.64    190.94
1689.21/422.90	c  N dy  4240    637757     38839    166144         0     46728    505010   2574982    180.62    236.23
1741.53/436.02	c  N dy  4379    657944     38839    166144         0     66913    505010   8095069    180.64    193.71
1795.46/449.54	c  N dy  4526    677946     38839    166144         0     46917    505010   2401683    180.69    193.46
1848.19/462.78	c  N dy  4656    698136     38839    166144         0     67107    505010   7836573    180.61    191.16
1903.32/476.57	c  N dy  4797    718360     38839    166144         0     46335    505010   1963595    180.60    194.12
1955.64/489.66	c  N dy  4939    738407     38839    166144         0     66382    505010   7552175    180.65    214.42
2010.76/503.49	c  N dy  5077    758422     38839    166144         0     44395    505010   1171492    180.67    190.50
2063.48/516.63	c  N dy  5216    778614     38839    166144         0     64585    505010   6786290    180.69    193.24
2119.40/530.65	c  N dy  5355    798623     38839    166144         0     84594    505010  12308722    180.76    209.11
2138.97/535.50	c  S st  5406    806018     38839    166144         0     48994    505010   2143236    180.76    171.47
2140.17/535.83	c  S st  5406    806518     38839    166144         0     49494    505010   2242389    180.76   no data
2140.17/535.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2141.37/536.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2141.37/536.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2141.37/536.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2141.37/536.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2141.77/536.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
2141.77/536.22	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2142.57/536.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2142.97/536.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2146.16/537.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.73 s
2146.16/537.35	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
2146.56/537.40	c vivif2 --  cl tried    49494 cl shrink        0 lits rem          0 time: 0.05
2147.36/537.65	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.25
2147.36/537.66	c calculated reachability. Time: 0.00
2147.36/537.67	c  N dy  5406    806518     38839    166144         0     49494    505010   2242389    180.76   no data
2200.10/550.89	c  N dy  5538    826686     38839    166144         0     69661    505010   7779169    180.74    192.25
2257.21/565.12	c  N dy  5683    846870     38839    166144         0     45857    505010   1027435    180.81    195.14
2309.94/578.30	c  N dy  5815    867062     38839    166144         0     66046    505010   6598058    180.82    197.84
2365.08/592.15	c  N dy  5949    887115     38839    166144         0     86098    505010  12138714    180.83    190.39
2418.19/605.48	c  N dy  6080    907183     38839    166144         0     61164    505010   4987744    180.84    235.41
2473.32/619.27	c  N dy  6215    927209     38839    166144         0     81190    505010  10521342    180.81    193.39
2528.43/633.02	c  N dy  6351    947359     38839    166144         0     55339    505010   3065073    180.81    192.16
2582.76/646.69	c  N dy  6485    967451     38839    166144         0     75429    505010   8708736    180.86    193.32
2640.28/661.05	c  N dy  6627    987528     38839    166144         0     48509    505010    907525    180.89    194.28
2693.41/674.34	c  N dy  6769   1007692     38839    166144         0     68670    505010   6515499    180.95    192.82
2749.73/688.49	c  N dy  6912   1027777     38839    166144         0     88753    505010  12042789    180.99    211.91
2804.85/702.28	c  N dy  7056   1047878     38839    166144         0     60857    505010   4053927    181.06    191.86
2860.78/716.21	c  N dy  7197   1068145     38839    166144         0     81122    505010   9704135    181.10    191.09
2871.16/718.89	c  F st  7225   1071875     38839    166144         0     84852    505010  10761676    181.12    164.19
2918.31/730.70	c  N dy  7302   1088233     38839    166144         0     52209    505010   1390800    181.10    203.08
2972.22/744.13	c  N dy  7445   1108336     38839    166144         0     72312    505010   7004072    181.16    196.47
3029.74/758.59	c  N dy  7578   1128635     38839    166144         0     92610    505010  12544957    181.15    194.48
3084.86/772.34	c  N dy  7717   1148651     38839    166144         0     62625    505010   4036901    181.16    192.41
3139.98/786.19	c  N dy  7856   1168714     38839    166144         0     82688    505010   9543063    181.18    255.89
3199.51/801.06	c  N dy  7997   1188732     38839    166144         0     51710    505010    750974    181.20    203.60
3253.01/814.46	c  N dy  8132   1208988     38839    166144         0     71964    505010   6335655    181.17    193.71
3255.42/815.02	c  S st  8140   1209778     38839    166144         0     72754    505010   6565028    181.18   no data
3256.63/815.37	c  S st  8140   1210279     38839    166144         0     73255    505010   6658897    181.18   no data
3257.04/815.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3257.81/815.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3258.21/815.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3258.21/815.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3258.21/815.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3258.21/815.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
3258.21/815.79	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3259.41/816.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
3261.02/816.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3275.39/820.00	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.47 s
3275.39/820.03	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
3275.79/820.17	c vivif2 --  cl tried    73252 cl shrink        0 lits rem          0 time: 0.14
3276.99/820.47	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.31
3276.99/820.49	c calculated reachability. Time: 0.00
3276.99/820.49	c  N dy  8140   1210279     38839    166144         0     73252    505010   6657706    181.18   no data
3334.51/834.84	c  N dy  8282   1230372     38839    166144         0     93344    505010  12247509    181.22    196.64
3390.82/848.95	c  N dy  8418   1250582     38839    166144         0     61557    505010   3117899    181.21    192.60
3445.57/862.62	c  N dy  8555   1270632     38839    166144         0     81606    505010   8550902    181.22    196.35
3505.07/877.55	c  N dy  8696   1290923     38839    166144         0    101897    505010  14185624    181.25    197.92
3559.81/891.25	c  N dy  8833   1310948     38839    166144         0     68924    505010   5045593    181.27    199.38
3615.72/905.22	c  N dy  8968   1330950     38839    166144         0     88925    505010  10605480    181.28    193.09
3674.83/920.09	c  N dy  9098   1351168     38839    166144         0     55145    505010    870802    181.25    194.31
3729.56/933.71	c  N dy  9236   1371366     38839    166144         0     75342    505010   6370471    181.24    191.71
3787.88/948.34	c  N dy  9377   1391754     38839    166144         0     95728    505010  12060745    181.30    193.94
3846.19/962.92	c  N dy  9509   1411758     38839    166144         0     60732    505010   2133623    181.25    191.88
3900.92/976.65	c  N dy  9645   1431790     38839    166144         0     80762    505010   7673916    181.25    191.70
3960.06/991.45	c  N dy  9780   1452042     38839    166144         0    101013    505010  13282549    181.25    202.05
4017.55/1005.82	c  N dy  9914   1472052     38839    166144         0     65026    505010   3007391    181.26    191.81
4073.47/1019.88	c  N dy 10048   1492264     38839    166144         0     85236    505010   8600003    181.26    202.14
4132.59/1034.69	c  N dy 10190   1512295     38839    166144         0    105264    505010  14087561    181.28    193.26
4190.11/1049.02	c  N dy 10330   1532337     38839    166144         0     68306    505010   3692950    181.29    194.01
4246.04/1063.09	c  N dy 10468   1552364     38839    166144         0     88332    505010   9220280    181.30    201.64
4306.35/1078.12	c  N dy 10609   1572378     38839    166144         0    108345    505010  14700347    181.32    196.35
4363.07/1092.35	c  N dy 10738   1592398     38839    166144         0     70368    505010   3939278    181.31    192.82
4420.20/1106.64	c  N dy 10881   1612533     38839    166144         0     90503    505010   9564398    181.35    195.24
4480.51/1121.72	c  N dy 11021   1632563     38839    166144         0    110533    505010  15074028    181.36    191.42
4537.63/1136.09	c  N dy 11153   1652699     38839    166144         0     71674    505010   4032913    181.35    196.05
4594.75/1150.32	c  N dy 11291   1672784     38839    166144         0     91757    505010   9553636    181.36    191.71
4655.47/1165.55	c  N dy 11434   1693019     38839    166144         0    111991    505010  15193922    181.38    197.81
4705.80/1178.12	c  S st 11548   1710279     38839    166144         0     69248    505010   3106320    181.36    139.21
4707.01/1178.46	c  S st 11548   1710784     38839    166144         0     69753    505010   3201524    181.36   no data
4707.01/1178.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4708.19/1178.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4708.59/1178.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4708.59/1178.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4708.59/1178.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4708.59/1178.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38839 time:  0.01 s
4708.59/1178.88	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4709.39/1179.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4710.58/1179.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4717.78/1181.17	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.83 s
4717.78/1181.20	c vivif2 --  cl tried   166144 cl shrink        0 lits rem          0 time: 0.03
4718.18/1181.26	c vivif2 --  cl tried    69753 cl shrink        0 lits rem          0 time: 0.07
4719.37/1181.55	c asymm  cl-useful: 0/166144/166144 lits-rem:0 time: 0.29
4719.37/1181.56	c calculated reachability. Time: 0.00
4719.37/1181.57	c  N dy 11548   1710784     38839    166144         0     69753    505010   3201521    181.36   no data
4776.50/1195.87	c  N dy 11684   1730876     38839    166144         0     89844    505010   8725311    181.37    207.71

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

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

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


[startup+0 s]
/proc/loadavg: 7.80 7.96 6.62 6/180 12190
/proc/meminfo: memFree=17498256/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 514637719 52441088 347 33554432000 4194304 4627427 140734838678976 18446744073709551615 47439310288818 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 12803 347 299 106 0 7774 0
[pid=12190/tid=12191] ppid=12188 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514637719 52441088 347 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514637719 52441088 347 33554432000 4194304 4627427 140734838678976 18446744073709551615 47439310288818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514637719 52441088 347 33554432000 4194304 4627427 140734838678976 18446744073709551615 47439310288808 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0513659 s]
/proc/loadavg: 7.80 7.96 6.62 6/180 12190
/proc/meminfo: memFree=17498256/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=319372 CPUtime=0.23 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 20573 0 0 0 19 4 0 0 18 0 4 0 514637719 327036928 16291 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634558647 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 80334 18581 339 106 0 75305 0
[pid=12190/tid=12191] ppid=12188 vsize=321732 CPUtime=0.11 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 6326 0 0 0 10 1 0 0 18 0 4 0 514637719 329453568 21432 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=324356 CPUtime=0.13 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7030 0 0 0 12 1 0 0 18 0 4 0 514637719 332140544 24287 33554432000 4194304 4627427 140734838678976 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=324356 CPUtime=0.13 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7052 0 0 0 12 1 0 0 18 0 4 0 514637719 332140544 24287 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634558599 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 319372

[startup+0.417515 s]
/proc/loadavg: 7.80 7.96 6.62 6/180 12190
/proc/meminfo: memFree=17498256/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=333300 CPUtime=1.63 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 29398 0 0 0 157 6 0 0 18 0 4 0 514637719 341299200 25031 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 83325 25036 371 106 0 78296 0
[pid=12190/tid=12191] ppid=12188 vsize=333300 CPUtime=0.4 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7189 0 0 0 39 1 0 0 18 0 4 0 514637719 341299200 25038 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=333300 CPUtime=0.4 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7300 0 0 0 39 1 0 0 18 0 4 0 514637719 341299200 25040 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634176197 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=333300 CPUtime=0.4 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7300 0 0 0 39 1 0 0 18 0 4 0 514637719 341299200 25043 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 333300

[startup+0.501174 s]
/proc/loadavg: 7.80 7.96 6.62 6/180 12190
/proc/meminfo: memFree=17498256/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=346908 CPUtime=1.95 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 38062 0 0 0 187 8 0 0 18 0 4 0 514637719 355233792 33695 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634176545 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 86727 33698 371 106 0 81698 0
[pid=12190/tid=12191] ppid=12188 vsize=347040 CPUtime=0.48 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 10331 0 0 0 46 2 0 0 18 0 4 0 514637719 355368960 33699 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634180472 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=347040 CPUtime=0.47 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 10052 0 0 0 46 1 0 0 18 0 4 0 514637719 355368960 33699 33554432000 4194304 4627427 140734838678976 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=347040 CPUtime=0.48 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7347 0 0 0 47 1 0 0 18 0 4 0 514637719 355368960 33702 33554432000 4194304 4627427 140734838678976 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 346908

[startup+0.702146 s]
/proc/loadavg: 7.80 7.96 6.62 6/180 12190
/proc/meminfo: memFree=17498256/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=365760 CPUtime=2.74 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 51941 0 0 0 263 11 0 0 18 0 4 0 514637719 374538240 45032 33554432000 4194304 4627427 140734838678976 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 91440 45032 379 106 0 86411 0
[pid=12190/tid=12191] ppid=12188 vsize=365760 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 14822 0 0 0 65 3 0 0 18 0 4 0 514637719 374538240 45032 33554432000 4194304 4627427 140734838678976 18446744073709551615 4429447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=365760 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 14777 0 0 0 65 3 0 0 18 0 4 0 514637719 374538240 45032 33554432000 4194304 4627427 140734838678976 18446744073709551615 4427838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=365760 CPUtime=0.68 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7456 0 0 0 67 1 0 0 18 0 4 0 514637719 374538240 45032 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 365760

[startup+1.501 s]
/proc/loadavg: 7.80 7.96 6.62 10/184 12194
/proc/meminfo: memFree=17321276/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=362068 CPUtime=5.93 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 57184 0 0 0 581 12 0 0 19 0 4 0 514637719 370757632 42295 33554432000 4194304 4627427 140734838678976 18446744073709551615 4322335 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 90517 42295 385 106 0 85488 0
[pid=12190/tid=12191] ppid=12188 vsize=362068 CPUtime=1.47 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 15959 0 0 0 144 3 0 0 19 0 4 0 514637719 370757632 42295 33554432000 4194304 4627427 140734838678976 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=362068 CPUtime=1.48 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 16604 0 0 0 145 3 0 0 19 0 4 0 514637719 370757632 42295 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=362068 CPUtime=1.48 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 7984 0 0 0 147 1 0 0 19 0 4 0 514637719 370757632 42295 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 362068

[startup+3.10072 s]
/proc/loadavg: 7.80 7.96 6.62 9/184 12194
/proc/meminfo: memFree=17301188/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=493332 CPUtime=12.32 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 60846 0 0 0 1219 13 0 0 22 0 4 0 514637719 505171968 45860 33554432000 4194304 4627427 140734838678976 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 123333 45861 385 106 0 118304 0
[pid=12190/tid=12191] ppid=12188 vsize=493332 CPUtime=3.06 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 16890 0 0 0 303 3 0 0 22 0 4 0 514637719 505171968 45861 33554432000 4194304 4627427 140734838678976 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=493332 CPUtime=3.07 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 17504 0 0 0 304 3 0 0 22 0 4 0 514637719 505171968 45861 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=493332 CPUtime=3.09 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 8779 0 0 0 307 2 0 0 22 0 4 0 514637719 505171968 45861 33554432000 4194304 4627427 140734838678976 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 493332

[startup+6.30116 s]
/proc/loadavg: 7.90 7.97 6.64 9/184 12194
/proc/meminfo: memFree=17274424/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=493332 CPUtime=25.11 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 67503 0 0 0 2496 15 0 0 25 0 4 0 514637719 505171968 52517 33554432000 4194304 4627427 140734838678976 18446744073709551615 4290550 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 123333 52517 385 106 0 118304 0
[pid=12190/tid=12191] ppid=12188 vsize=493332 CPUtime=6.24 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 18459 0 0 0 620 4 0 0 25 0 4 0 514637719 505171968 52517 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=493332 CPUtime=6.27 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 19130 0 0 0 623 4 0 0 25 0 4 0 514637719 505171968 52517 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=493332 CPUtime=6.28 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 10433 0 0 0 626 2 0 0 25 0 4 0 514637719 505171968 52517 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 493332

[startup+12.701 s]
/proc/loadavg: 7.99 7.99 6.65 9/184 12195
/proc/meminfo: memFree=17242444/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=395188 CPUtime=50.66 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 87726 0 0 0 5047 19 0 0 25 0 4 0 514637719 404672512 46850 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 98797 46850 386 106 0 93768 0
[pid=12190/tid=12191] ppid=12188 vsize=395188 CPUtime=12.61 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 23616 0 0 0 1256 5 0 0 25 0 4 0 514637719 404672512 46850 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=395188 CPUtime=12.67 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 24123 0 0 0 1262 5 0 0 25 0 4 0 514637719 404672512 46850 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=395188 CPUtime=12.68 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 15321 0 0 0 1265 3 0 0 25 0 4 0 514637719 404672512 46850 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 395188

[startup+25.5008 s]
/proc/loadavg: 7.99 7.99 6.67 9/184 12195
/proc/meminfo: memFree=17005860/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=724216 CPUtime=101.81 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 168022 0 0 0 10138 43 0 0 25 0 4 0 514637719 741597184 104895 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 181054 104895 390 106 0 176025 0
[pid=12190/tid=12191] ppid=12188 vsize=724216 CPUtime=25.34 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 59187 0 0 0 2517 17 0 0 25 0 4 0 514637719 741597184 104916 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=724216 CPUtime=25.48 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 33639 0 0 0 2540 8 0 0 25 0 4 0 514637719 741597184 104916 33554432000 4194304 4627427 140734838678976 18446744073709551615 4429527 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=724216 CPUtime=25.49 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 23775 0 0 0 2543 6 0 0 25 0 4 0 514637719 741597184 104916 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 724216

[startup+51.1003 s]
/proc/loadavg: 7.99 7.99 6.70 9/184 12196
/proc/meminfo: memFree=16865544/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=811504 CPUtime=204.05 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 253747 0 0 0 20341 64 0 0 25 0 4 0 514637719 830980096 131450 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 202876 131450 390 106 0 197847 0
[pid=12190/tid=12191] ppid=12188 vsize=811504 CPUtime=50.8 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 75873 0 0 0 5058 22 0 0 25 0 4 0 514637719 830980096 131450 33554432000 4194304 4627427 140734838678976 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=811504 CPUtime=51.07 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 57273 0 0 0 5094 13 0 0 25 0 4 0 514637719 830980096 131450 33554432000 4194304 4627427 140734838678976 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=811504 CPUtime=51.09 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 47005 0 0 0 5097 12 0 0 25 0 4 0 514637719 830980096 131450 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 811504

[startup+102.3 s]
/proc/loadavg: 8.08 8.02 6.78 9/184 12197
/proc/meminfo: memFree=16674524/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=951560 CPUtime=408.57 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 374940 0 0 0 40757 100 0 0 25 0 4 0 514637719 974397440 189664 33554432000 4194304 4627427 140734838678976 18446744073709551615 4527363 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 237890 189664 390 106 0 232861 0
[pid=12190/tid=12191] ppid=12188 vsize=951560 CPUtime=101.72 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 102219 0 0 0 10142 30 0 0 25 0 4 0 514637719 974397440 189664 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=951560 CPUtime=102.26 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 85738 0 0 0 10205 21 0 0 25 0 4 0 514637719 974397440 189664 33554432000 4194304 4627427 140734838678976 18446744073709551615 4310569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=951560 CPUtime=102.28 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 79697 0 0 0 10208 20 0 0 25 0 4 0 514637719 974397440 189664 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 951560

[startup+162.301 s]

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

[pid=12190] ppid=12188 vsize=1599688 CPUtime=2565.58 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1290934 0 0 0 256127 431 0 0 25 0 4 0 514637719 1638080512 324353 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 399922 324353 390 106 0 394893 0
[pid=12190/tid=12191] ppid=12188 vsize=1599688 CPUtime=640.14 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 330234 0 0 0 63900 114 0 0 25 0 4 0 514637719 1638080512 324353 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1599688 CPUtime=642.25 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 311042 0 0 0 64121 104 0 0 25 0 4 0 514637719 1638080512 324353 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1599688 CPUtime=640.9 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 308485 0 0 0 63993 97 0 0 25 0 4 0 514637719 1638080512 324353 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.58
Current children cumulated vsize (KiB) 1599688

[startup+702.3 s]
/proc/loadavg: 8.12 8.09 7.39 9/184 12213
/proc/meminfo: memFree=15815252/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1664840 CPUtime=2805.25 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1381623 0 0 0 280060 465 0 0 25 0 4 0 514637719 1704796160 325839 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 416210 325839 390 106 0 411181 0
[pid=12190/tid=12191] ppid=12188 vsize=1664840 CPUtime=700.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 353288 0 0 0 69890 123 0 0 25 0 4 0 514637719 1704796160 325839 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1664840 CPUtime=702.25 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 333149 0 0 0 70112 113 0 0 25 0 4 0 514637719 1704796160 325839 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1664840 CPUtime=700.57 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 327134 0 0 0 69953 104 0 0 25 0 4 0 514637719 1704796160 325839 33554432000 4194304 4627427 140734838678976 18446744073709551615 4324768 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.25
Current children cumulated vsize (KiB) 1664840

[startup+762.301 s]
/proc/loadavg: 8.04 8.07 7.42 9/184 12214
/proc/meminfo: memFree=15775900/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1536520 CPUtime=3044.91 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1474686 0 0 0 303990 501 0 0 25 0 4 0 514637719 1573396480 325323 33554432000 4194304 4627427 140734838678976 18446744073709551615 4321614 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 384130 325323 390 106 0 379101 0
[pid=12190/tid=12191] ppid=12188 vsize=1536520 CPUtime=760.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 380427 0 0 0 75879 134 0 0 25 0 4 0 514637719 1573396480 325323 33554432000 4194304 4627427 140734838678976 18446744073709551615 4329777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1536520 CPUtime=762.25 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 356450 0 0 0 76102 123 0 0 25 0 4 0 514637719 1573396480 325323 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1536520 CPUtime=760.24 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 348052 0 0 0 75911 113 0 0 25 0 4 0 514637719 1573396480 325323 33554432000 4194304 4627427 140734838678976 18446744073709551615 4327492 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.91
Current children cumulated vsize (KiB) 1536520

[startup+822.3 s]
/proc/loadavg: 8.01 8.06 7.46 9/184 12216
/proc/meminfo: memFree=15700328/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1682400 CPUtime=3284.58 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1575983 0 0 0 327923 535 0 0 25 0 4 0 514637719 1722777600 347673 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 420600 347673 390 106 0 415571 0
[pid=12190/tid=12191] ppid=12188 vsize=1682400 CPUtime=820.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 410044 0 0 0 81871 142 0 0 25 0 4 0 514637719 1722777600 347673 33554432000 4194304 4627427 140734838678976 18446744073709551615 4427670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1682400 CPUtime=822.25 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 383383 0 0 0 82092 133 0 0 25 0 4 0 514637719 1722777600 347673 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1682400 CPUtime=819.91 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 367968 0 0 0 81869 122 0 0 25 0 4 0 514637719 1722777600 347673 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.58
Current children cumulated vsize (KiB) 1682400

[startup+882.301 s]
/proc/loadavg: 8.00 8.04 7.49 9/184 12218
/proc/meminfo: memFree=15507952/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1585560 CPUtime=3524.24 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1667059 0 0 0 351854 570 0 0 25 0 4 0 514637719 1623613440 344300 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 396390 344300 390 106 0 391361 0
[pid=12190/tid=12191] ppid=12188 vsize=1585560 CPUtime=880.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 427903 0 0 0 87865 148 0 0 25 0 4 0 514637719 1623613440 344300 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1585560 CPUtime=882.24 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 408536 0 0 0 88079 145 0 0 25 0 4 0 514637719 1623613440 344300 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1585560 CPUtime=879.59 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 393756 0 0 0 87828 131 0 0 25 0 4 0 514637719 1623613440 344300 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 1585560

[startup+942.301 s]
/proc/loadavg: 8.04 8.05 7.52 9/184 12219
/proc/meminfo: memFree=15474552/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1732348 CPUtime=3763.91 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1758147 0 0 0 375790 601 0 0 25 0 4 0 514637719 1773924352 364232 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 433087 364232 390 106 0 428058 0
[pid=12190/tid=12191] ppid=12188 vsize=1732348 CPUtime=940.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 448691 0 0 0 93857 156 0 0 25 0 4 0 514637719 1773924352 364232 33554432000 4194304 4627427 140734838678976 18446744073709551615 4332298 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1732348 CPUtime=942.24 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 429240 0 0 0 94073 151 0 0 25 0 4 0 514637719 1773924352 364232 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1732348 CPUtime=939.25 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 418275 0 0 0 93787 138 0 0 25 0 4 0 514637719 1773924352 364232 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 1732348

[startup+1002.3 s]
/proc/loadavg: 8.06 8.05 7.56 9/184 12252
/proc/meminfo: memFree=16352092/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1749328 CPUtime=4003.59 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1846642 0 0 0 399723 636 0 0 25 0 4 0 514637719 1791311872 366382 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 437332 366382 390 106 0 432303 0
[pid=12190/tid=12191] ppid=12188 vsize=1749328 CPUtime=1000.14 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 466663 0 0 0 99852 162 0 0 25 0 4 0 514637719 1791311872 366383 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1749328 CPUtime=1002.24 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 453848 0 0 0 100064 160 0 0 25 0 4 0 514637719 1791311872 366383 33554432000 4194304 4627427 140734838678976 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1749328 CPUtime=998.93 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 442232 0 0 0 99743 150 0 0 25 0 4 0 514637719 1791311872 366383 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 1749328

[startup+1062.3 s]
/proc/loadavg: 8.02 8.04 7.58 9/184 12254
/proc/meminfo: memFree=16116364/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1739592 CPUtime=4243.24 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 1941926 0 0 0 423656 668 0 0 25 0 4 0 514637719 1781342208 362038 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 434898 362038 390 106 0 429869 0
[pid=12190/tid=12191] ppid=12188 vsize=1739592 CPUtime=1060.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 491481 0 0 0 105843 170 0 0 25 0 4 0 514637719 1781342208 362038 33554432000 4194304 4627427 140734838678976 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1739592 CPUtime=1062.23 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 477677 0 0 0 106055 168 0 0 25 0 4 0 514637719 1781342208 362038 33554432000 4194304 4627427 140734838678976 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1739592 CPUtime=1058.6 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 464188 0 0 0 105703 157 0 0 25 0 4 0 514637719 1781342208 362038 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 1739592

[startup+1122.31 s]
/proc/loadavg: 8.15 8.08 7.62 9/184 12255
/proc/meminfo: memFree=15997812/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1805692 CPUtime=4482.94 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 2024508 0 0 0 447595 699 0 0 25 0 4 0 514637719 1849028608 381487 33554432000 4194304 4627427 140734838678976 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 451423 381487 390 106 0 446394 0
[pid=12190/tid=12191] ppid=12188 vsize=1805692 CPUtime=1120.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 511249 0 0 0 111837 176 0 0 25 0 4 0 514637719 1849028608 381487 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1805692 CPUtime=1122.23 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 500899 0 0 0 112047 176 0 0 25 0 4 0 514637719 1849028608 381487 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1805692 CPUtime=1118.28 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 483890 0 0 0 111663 165 0 0 25 0 4 0 514637719 1849028608 381487 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1805692

[startup+1182.3 s]
/proc/loadavg: 8.16 8.09 7.65 9/184 12257
/proc/meminfo: memFree=15995316/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1740804 CPUtime=4722.57 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 2110529 0 0 0 471526 731 0 0 25 0 4 0 514637719 1782583296 368350 33554432000 4194304 4627427 140734838678976 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 435201 368350 390 106 0 430172 0
[pid=12190/tid=12191] ppid=12188 vsize=1740804 CPUtime=1180.13 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 529436 0 0 0 117830 183 0 0 25 0 4 0 514637719 1782583296 368350 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1740804 CPUtime=1182.22 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 525241 0 0 0 118038 184 0 0 25 0 4 0 514637719 1782583296 368350 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308123 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1740804 CPUtime=1177.94 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 502623 0 0 0 117621 173 0 0 25 0 4 0 514637719 1782583296 368350 33554432000 4194304 4627427 140734838678976 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.57
Current children cumulated vsize (KiB) 1740804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.10 7.66 9/184 12257
/proc/meminfo: memFree=15925996/32951124 swapFree=67111528/67111528
[pid=12190] ppid=12188 vsize=1806964 CPUtime=4800.08 cores=1,3,5,7
/proc/12190/stat : 12190 (strangenight2-m) R 12188 12190 11833 0 -1 4202496 2131563 0 0 0 479269 739 0 0 25 0 4 0 514637719 1850331136 366697 33554432000 4194304 4627427 140734838678976 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12190/statm: 451741 366698 390 106 0 446712 0
[pid=12190/tid=12191] ppid=12188 vsize=1806964 CPUtime=1199.53 cores=1,3,5,7
/proc/12190/task/12191/stat : 12191 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 534533 0 0 0 119768 185 0 0 25 0 4 0 514637719 1850331136 366698 33554432000 4194304 4627427 140734838678976 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12190/tid=12192] ppid=12188 vsize=1806964 CPUtime=1201.64 cores=1,3,5,7
/proc/12190/task/12192/stat : 12192 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 530197 0 0 0 119978 186 0 0 25 0 4 0 514637719 1850331136 366698 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12190/tid=12193] ppid=12188 vsize=1806964 CPUtime=1197.23 cores=1,3,5,7
/proc/12190/task/12193/stat : 12193 (strangenight2-m) R 12188 12190 11833 0 -1 4202560 506246 0 0 0 119548 175 0 0 25 0 4 0 514637719 1850331136 366698 33554432000 4194304 4627427 140734838678976 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1806964

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.78
CPU time (s): 4800.17
CPU user time (s): 4792.71
CPU system time (s): 7.45987
CPU usage (%): 399.423
Max. virtual memory (cumulated for all children) (KiB): 1814440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.71
system time used= 7.45986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2131571
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= 4956
involuntary context switches= 31752

runsolver used 1.88371 second user time and 4.69029 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 00:39:11
IDJOB=3173747
IDBENCH=82565
IDSOLVER=1586
FILE ID=node103/3173747-1304030351
RUNJOBID= node103-1304028687-11852
PBS_JOBID= 13170349
Free space on /tmp= 71508 MiB

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

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

MD5SUM BENCH= 3b06c2c5c22c8501e021c8b11d20bcd0
RANDOM SEED=684445584

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17498412 kB
Buffers:       2144020 kB
Cached:       12190892 kB
SwapCached:          0 kB
Active:        5982680 kB
Inactive:      8886880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17498412 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8952 kB
Writeback:           0 kB
AnonPages:      533500 kB
Mapped:          15464 kB
Slab:           517680 kB
PageTables:       5608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   818156 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= 71504 MiB
End job on node103 at 2011-04-29 00:59:15