Trace number 3368647

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-1-mt (fixed)? (TO) 4800.5 1203.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
MD5SUM3d91d29f74f04e1ffeedae8425f55746
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.5211
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368647-1305399534.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.31/0.15	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.31/0.15	c -- vars added      25000
0.31/0.15	c Parsing time:  0.28 s
0.31/0.15	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.31/0.23	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.29
0.31/0.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.21
1.81/0.49	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.81/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.81/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
1.81/0.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
1.81/1.08	c lits-rem:         0  cl-subs:        0  v-elim:    696  v-fix:    0  time:  0.99 s
1.81/1.08	c Finding binary XORs  T:     0.02 s  found:       0
1.81/1.08	c Finding non-binary XORs:     0.21 s (found:       0, avg size: nan)
1.81/1.08	c calculated reachability. Time: 0.00
1.81/1.08	c Calc default polars -  time:   0.04 s pos:   11035 undec:    2879 neg:   11086
1.81/1.08	c =========================================================================================
1.81/1.08	c types(t): F = full restart, N = normal restart
1.81/1.08	c types(t): S = simplification begin/end, E = solution found
1.81/1.08	c restart types(rt): st = static, dy = dynamic
1.81/1.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.81/1.08	c  B st     0         0     24304    103866         0         0    315427         0   no data   no data  --
7.03/1.87	c  N dy    20      4024     24304    103866         0      4023    315427    963700    124.41    136.81  --
11.82/3.07	c  N dy    52      8048     24304    103866         0      8047    315427   1854283    135.58    143.34  --
17.01/4.31	c  N dy    81     12088     24304    103866         0     12086    315427   2740072    137.87    147.79  --
21.80/5.58	c  N dy   109     16219     24304    103866         0     16217    315427   3593806    137.14    145.02  --
27.38/6.91	c  N dy   139     20278     24304    103866         0     10279    315427    644447    138.34    147.92  --
32.16/8.15	c  N dy   168     24344     24304    103866         0     14345    315427   1516051    138.53    146.18  --
33.00/8.37	c  F st   174     25000     24304    103866         0     15001    315427   1678015    138.94    133.26  --
40.14/10.12	c  N dy   180     30000     24304    103866         0     20000    315427   3238054    138.94   no data  --
40.14/10.12	c  S st   180     30000     24304    103866         0     20000    315427   3238054    138.94   no data  --
40.54/10.28	c  S st   180     30504     24304    103866         0     20504    315427   3323352    138.94   no data  --
40.54/10.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
40.54/10.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.38/10.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
42.93/10.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
42.93/10.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
42.93/10.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.04 s
42.93/10.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
72.83/18.37	c lits-rem:        41  cl-subs:     2089  v-elim:    151  v-fix:    0  time: 29.90 s
73.63/18.51	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.53
73.63/18.51	c calculated reachability. Time: 0.00
73.63/18.51	c  N dy   180     30504     24153    104017         0     18415    316819   2258776    138.94   no data  --
79.61/20.01	c  N dy   215     34560     24153    104017         0     22471    316819   3163044    140.29    148.77  --
85.64/21.57	c  N dy   245     38649     24153    104017         0     26560    316819   4099495    141.09    168.82  --
92.38/23.22	c  N dy   275     42787     24153    104017         0     30698    316819   5022791    141.26    150.26  --
96.77/24.32	c  S st   294     45758     24153    104017         0     18171    316819   1260495    141.25    123.89  --
97.57/24.50	c  S st   294     46262     24153    104017         0     18675    316819   1354476    141.25   no data  --
97.57/24.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
97.57/24.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.97/24.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.52
98.41/24.76	c bin-w-bin subsume rem            0 bins  time:  0.03 s
98.41/24.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
98.41/24.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
98.41/24.79	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
110.73/27.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.13 s
110.73/27.84	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
110.73/27.86	c vivif2 --  cl tried    18675 cl shrink        0 lits rem          0 time: 0.08
111.13/27.99	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.50
111.13/28.00	c calculated reachability. Time: 0.00
111.13/28.00	c  N dy   294     46262     24153    104017         0     18675    316819   1354476    141.25   no data  --
117.10/29.42	c  N dy   321     50381     24153    104017         0     22793    316819   2253220    141.25    148.86  --
122.69/30.85	c  N dy   348     54460     24153    104017         0     26872    316819   3095251    140.91    151.50  --
128.68/32.35	c  N dy   379     58505     24153    104017         0     30916    316819   4007608    141.42    149.28  --
134.64/33.88	c  N dy   403     62647     24153    104017         0     35058    316819   4901355    141.09    152.65  --
141.03/35.45	c  N dy   430     66839     24153    104017         0     20506    316819   1060342    141.05    149.47  --
144.62/36.36	c  S st   447     69393     24153    104017         0     23060    316819   1631932    140.98   no data  --
145.42/36.52	c  S st   447     69895     24153    104017         0     23562    316819   1712194    140.98   no data  --
145.42/36.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
145.42/36.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.82/36.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.54
146.22/36.81	c bin-w-bin subsume rem            0 bins  time:  0.02 s
146.66/36.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
146.66/36.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
146.66/36.83	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
161.36/40.54	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.72 s
161.36/40.55	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
161.36/40.58	c vivif2 --  cl tried    23562 cl shrink        0 lits rem          0 time: 0.10
162.16/40.72	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.55
162.16/40.72	c calculated reachability. Time: 0.01
162.16/40.72	c  N dy   447     69895     24153    104017         0     23562    316819   1712193    140.98   no data  --
168.14/42.31	c  N dy   480     74456     24153    104017         0     28123    316819   2715617    141.26    152.94  --
175.32/44.04	c  N dy   516     79275     24153    104017         0     32942    316819   3806824    141.38    150.80  --
182.89/45.91	c  N dy   552     84432     24153    104017         0     38097    316819   4938215    141.60    173.26  --
187.69/47.10	c  F st   577     87500     24153    104017         0     41165    316819   5686468    142.13   no data  --
192.47/48.36	c  N st   582     90800     24153    104017         0     23596    316819   1423754    142.13   no data  --
201.25/50.51	c  N dy   611     96680     24153    104017         0     29476    316819   2947783    142.17    152.96  --
210.42/52.83	c  N dy   654    102959     24153    104017         0     35754    316819   4379186    142.39    150.56  --
213.20/53.52	c  S st   667    104843     24153    104017         0     37638    316819   4772990    142.27   no data  --
214.00/53.73	c  S st   667    105350     24153    104017         0     38144    316819   4855794    142.27   no data  --
214.00/53.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
214.00/53.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
214.81/53.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.60
216.01/54.27	c bin-w-bin subsume rem            0 bins  time:  0.03 s
216.01/54.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
216.01/54.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
216.40/54.30	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
405.49/101.79	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 189.05 s
405.49/101.80	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
405.89/101.88	c vivif2 --  cl tried    38140 cl shrink        0 lits rem          0 time: 0.29
406.64/102.04	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.66
406.64/102.05	c calculated reachability. Time: 0.01
406.64/102.05	c  N dy   667    105350     24153    104017         0     38140    316819   4853151    142.27   no data  --
417.01/104.65	c  N dy   720    112074     24153    104017         0     44863    316819   6388722    142.56    160.90  --
427.43/107.23	c  N dy   773    119298     24153    104017         0     29647    316819   2199970    142.77    156.47  --
438.54/110.04	c  N dy   828    126935     24153    104017         0     37283    316819   3944435    143.04    152.95  --
450.91/113.16	c  N dy   881    135092     24153    104017         0     45440    316819   5763714    143.01    153.99  --
463.67/116.33	c  N dy   944    143767     24153    104017         0     30395    316819   2023754    143.19    150.89  --
477.63/119.81	c  N dy  1008    153039     24153    104017         0     39666    316819   4111649    143.32    152.99  --
485.20/121.73	c  S st  1042    158025     24153    104017         0     44652    316819   5213167    143.34   no data  --
486.00/121.94	c  S st  1042    158535     24153    104017         0     45162    316819   5299640    143.34   no data  --
486.00/121.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
486.00/121.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
486.80/122.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.62
488.00/122.48	c bin-w-bin subsume rem            0 bins  time:  0.03 s
488.00/122.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
488.00/122.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.03 s
488.40/122.51	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
736.05/184.63	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 247.37 s
736.05/184.64	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
736.45/184.72	c vivif2 --  cl tried    45158 cl shrink        0 lits rem          0 time: 0.31
737.25/184.90	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.72
737.25/184.91	c calculated reachability. Time: 0.00
737.25/184.91	c  N dy  1042    158535     24153    104017         0     45158    316819   5295997    143.34   no data  --
752.45/188.72	c  N dy  1110    168831     24153    104017         0     30600    316819   1796764    143.13    152.73  --
768.77/192.83	c  N dy  1182    179794     24153    104017         0     41562    316819   4239298    143.14    153.96  --
787.90/197.64	c  N dy  1265    191395     24153    104017         0     27234    316819    821354    143.45    152.23  --
806.64/202.35	c  N dy  1354    203624     24153    104017         0     39462    316819   3596077    143.64    151.45  --
828.58/207.80	c  N dy  1449    216707     24153    104017         0     52545    316819   6604683    143.85    151.98  --
850.12/213.20	c  N dy  1539    230624     24153    104017         0     39500    316819   3304362    143.80    158.84  --
861.29/216.11	c  S st  1587    237802     24153    104017         0     46678    316819   4910457    143.81   no data  --
862.48/216.32	c  S st  1587    238305     24153    104017         0     47181    316819   4996512    143.81   no data  --
862.48/216.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
862.48/216.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
863.28/216.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
864.48/216.83	c bin-w-bin subsume rem            0 bins  time:  0.03 s
864.48/216.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
864.48/216.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
864.48/216.86	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1090.25/273.47	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 225.12 s
1090.25/273.48	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
1090.60/273.56	c vivif2 --  cl tried    47177 cl shrink        0 lits rem          0 time: 0.31
1091.40/273.75	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.78
1091.40/273.76	c calculated reachability. Time: 0.00
1091.40/273.76	c  N dy  1587    238305     24153    104017         0     47177    316819   4995477    143.81   no data  --
1116.17/279.92	c  N dy  1683    253573     24153    104017         0     34463    316819   1939524    143.78    158.42  --
1142.49/286.60	c  N dy  1796    269837     24153    104017         0     50727    316819   5655711    143.86    182.89  --
1169.97/293.44	c  N dy  1918    287127     24153    104017         0     39021    316819   2741684    143.89    156.78  --
1199.52/300.84	c  N dy  2050    305480     24153    104017         0     57373    316819   6936466    144.04    152.75  --
1200.68/301.17	c  F st  2056    306251     24153    104017         0     58144    316819   7111346    144.05    145.81  --
1229.80/308.48	c  N dy  2154    325118     24153    104017         0     47015    316819   4574793    144.05    151.70  --
1262.09/316.53	c  N dy  2288    345130     24153    104017         0     36028    316819   1589933    144.13    160.07  --
1282.44/321.62	c  S st  2377    357458     24153    104017         0     48355    316819   4399994    144.26    144.30  --
1283.29/321.84	c  S st  2377    357958     24153    104017         0     48855    316819   4482026    144.26   no data  --
1283.29/321.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1283.29/321.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1284.03/322.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.64
1285.23/322.32	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1285.23/322.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1285.23/322.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
1285.23/322.35	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1451.94/364.16	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 166.55 s
1451.94/364.18	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
1452.34/364.25	c vivif2 --  cl tried    48853 cl shrink        0 lits rem          0 time: 0.28
1453.14/364.45	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.79
1453.14/364.45	c calculated reachability. Time: 0.00
1453.14/364.45	c  N dy  2377    357958     24153    104017         0     48853    316819   4481815    144.26   no data  --
1487.43/373.00	c  N dy  2509    378001     24153    104017         0     36902    316819   1598252    144.32    159.20  --
1520.53/381.32	c  N dy  2646    398083     24153    104017         0     56983    316819   6155986    144.39    153.33  --
1555.28/390.07	c  N dy  2782    418160     24153    104017         0     44066    316819   2934025    144.35    152.50  --
1591.12/399.06	c  N dy  2914    438192     24153    104017         0     64094    316819   7467150    144.40    155.72  --
1625.81/407.72	c  N dy  3043    458271     24153    104017         0     50169    316819   4072559    144.34    173.03  --
1662.92/417.03	c  N dy  3165    478358     24153    104017         0     35263    316819    513209    144.29    153.92  --
1697.21/425.68	c  N dy  3311    498475     24153    104017         0     55378    316819   5052201    144.34    162.58  --
1735.49/435.21	c  N dy  3454    518542     24153    104017         0     39446    316819   1261338    144.45    154.19  --
1767.81/443.39	c  S st  3580    536939     24153    104017         0     57842    316819   5439705    144.46   no data  --
1769.01/443.64	c  S st  3580    537442     24153    104017         0     58345    316819   5526525    144.46   no data  --
1769.01/443.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1769.01/443.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1769.84/443.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1771.00/444.19	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1771.39/444.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1771.39/444.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
1771.39/444.22	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2057.75/516.04	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 285.82 s
2057.75/516.05	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
2058.15/516.14	c vivif2 --  cl tried    58342 cl shrink        0 lits rem          0 time: 0.33
2058.95/516.35	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.85
2058.95/516.36	c calculated reachability. Time: 0.01
2058.95/516.36	c  N dy  3580    537442     24153    104017         0     58342    316819   5525231    144.46   no data  --
2092.84/524.86	c  N dy  3712    557456     24153    104017         0     41361    316819   1458734    144.44    167.12  --
2125.60/533.09	c  N dy  3852    577680     24153    104017         0     61584    316819   6037214    144.45    153.58  --
2160.28/541.72	c  N dy  3993    597812     24153    104017         0     43714    316819   1762003    144.48    163.78  --
2193.34/550.01	c  N dy  4137    617930     24153    104017         0     63831    316819   6319604    144.54    153.71  --
2227.64/558.67	c  N dy  4270    638001     24153    104017         0     44899    316819   1791988    144.56    164.19  --
2261.18/567.08	c  N dy  4413    658143     24153    104017         0     65040    316819   6408619    144.67    152.45  --
2296.28/575.91	c  N dy  4541    678352     24153    104017         0     45250    316819   1676016    144.68    153.03  --
2329.33/584.17	c  N dy  4674    698411     24153    104017         0     65309    316819   6247070    144.70    154.55  --
2365.23/593.13	c  N dy  4819    718419     24153    104017         0     44322    316819   1217942    144.81    162.96  --
2397.92/601.33	c  N dy  4956    738511     24153    104017         0     64413    316819   5684279    144.76    160.94  --
2434.62/610.53	c  N dy  5098    758573     24153    104017         0     42473    316819    568829    144.90    153.78  --
2467.36/618.71	c  N dy  5234    778677     24153    104017         0     62577    316819   5069050    144.93    153.79  --
2503.60/627.80	c  N dy  5379    798727     24153    104017         0     82626    316819   9645748    144.98    161.98  --
2516.36/631.04	c  S st  5431    806163     24153    104017         0     47069    316819   1390926    144.97   no data  --
2517.16/631.24	c  S st  5431    806665     24153    104017         0     47571    316819   1479412    144.97   no data  --
2517.16/631.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2517.16/631.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2517.96/631.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.62
2518.36/631.53	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2518.36/631.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2518.36/631.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
2518.36/631.56	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2533.56/635.32	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 14.96 s
2533.56/635.33	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
2533.56/635.36	c vivif2 --  cl tried    47570 cl shrink        0 lits rem          0 time: 0.10
2534.31/635.54	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.72
2534.31/635.55	c calculated reachability. Time: 0.00
2534.31/635.55	c  N dy  5431    806665     24153    104017         0     47570    316819   1479364    144.97   no data  --
2567.82/643.91	c  N dy  5566    826783     24153    104017         0     67686    316819   6041210    144.98    163.92  --
2604.49/653.18	c  N dy  5696    846950     24153    104017         0     87853    316819  10683281    145.01    155.65  --
2638.01/661.57	c  N dy  5838    867058     24153    104017         0     63965    316819   5121894    145.11    154.01  --
2675.88/671.05	c  N dy  5973    887155     24153    104017         0     84062    316819   9687246    145.12    155.63  --
2713.42/680.48	c  N dy  6111    907244     24153    104017         0     59148    316819   3676832    145.16    154.40  --
2752.91/690.32	c  N dy  6252    927259     24153    104017         0     79160    316819   8236946    145.16    157.95  --
2792.74/700.31	c  N dy  6392    947323     24153    104017         0     53223    316819   2104542    145.18    154.90  --
2830.64/709.87	c  N dy  6531    967535     24153    104017         0     73435    316819   6772012    145.24    156.56  --
2873.71/720.69	c  N dy  6673    987752     24153    104017         0     93651    316819  11420996    145.29    153.29  --
2910.85/729.98	c  N dy  6813   1007760     24153    104017         0     66654    316819   5004874    145.33    157.66  --
2951.07/740.04	c  N dy  6949   1027774     24153    104017         0     86666    316819   9595052    145.34    164.10  --
2990.56/749.97	c  N dy  7078   1047811     24153    104017         0     58710    316819   2970743    145.35    160.87  --
3029.64/759.76	c  N dy  7215   1067912     24153    104017         0     78810    316819   7641918    145.38    153.88  --
3038.07/761.83	c  F st  7243   1071876     24153    104017         0     82774    316819   8539568    145.38    133.94  --
3072.32/770.48	c  N dy  7321   1088012     24153    104017         0     49915    316819    701247    145.39    158.49  --
3109.41/779.77	c  N dy  7459   1108014     24153    104017         0     69916    316819   5246649    145.42    156.43  --
3149.29/789.77	c  N dy  7590   1128084     24153    104017         0     89985    316819   9793281    145.42    153.51  --
3188.38/799.54	c  N dy  7724   1148237     24153    104017         0     60138    316819   2827053    145.42    154.72  --
3224.66/808.65	c  N dy  7864   1168421     24153    104017         0     80320    316819   7480140    145.46    164.95  --
3263.74/818.47	c  N dy  7996   1188497     24153    104017         0    100393    316819  12022445    145.42    154.39  --
3298.84/827.23	c  N dy  8136   1208654     24153    104017         0     69551    316819   4721350    145.44    154.11  --
3301.27/827.84	c  S st  8146   1209999     24153    104017         0     70896    316819   5024029    145.44   no data  --
3302.02/828.09	c  S st  8146   1210506     24153    104017         0     71403    316819   5113061    145.44   no data  --
3302.43/828.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3302.43/828.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3302.83/828.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.71
3304.42/828.62	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3304.42/828.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3304.42/828.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
3304.42/828.65	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
3563.25/893.56	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 258.08 s
3563.25/893.57	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
3563.65/893.65	c vivif2 --  cl tried    71398 cl shrink        0 lits rem          0 time: 0.32
3564.49/893.89	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.93
3564.84/893.90	c calculated reachability. Time: 0.00
3564.84/893.90	c  N dy  8146   1210506     24153    104017         0     71398    316819   5111530    145.44   no data  --
3601.94/903.24	c  N dy  8279   1230533     24153    104017         0     91423    316819   9712308    145.45    154.51  --
3639.82/912.74	c  N dy  8410   1250703     24153    104017         0     59595    316819   2207555    145.44    154.72  --
3675.31/921.62	c  N dy  8547   1270716     24153    104017         0     79607    316819   6819543    145.47    153.56  --
3714.80/931.57	c  N dy  8692   1290827     24153    104017         0     99717    316819  11481461    145.54    156.98  --
3751.09/940.64	c  N dy  8827   1310903     24153    104017         0     66796    316819   3703910    145.56    179.36  --
3787.82/949.83	c  N dy  8964   1331002     24153    104017         0     86894    316819   8402621    145.61    157.13  --
3828.05/959.97	c  N dy  9099   1351176     24153    104017         0    107068    316819  12951422    145.60    156.05  --
3863.55/968.87	c  N dy  9240   1371342     24153    104017         0     73234    316819   4935498    145.62    154.32  --
3901.87/978.47	c  N dy  9376   1391430     24153    104017         0     93321    316819   9527442    145.64    155.72  --
3942.11/988.52	c  N dy  9516   1411473     24153    104017         0     58372    316819   1314474    145.66    153.80  --
3977.60/997.45	c  N dy  9657   1431602     24153    104017         0     78501    316819   6013700    145.70    153.67  --
4015.93/1007.08	c  N dy  9782   1451613     24153    104017         0     98511    316819  10519981    145.67    157.70  --
4054.98/1016.80	c  N dy  9910   1471633     24153    104017         0     62532    316819   1990527    145.66    158.32  --
4090.91/1025.83	c  N dy 10046   1491733     24153    104017         0     82631    316819   6524412    145.67    153.41  --
4132.34/1036.24	c  N dy 10175   1512087     24153    104017         0    102985    316819  11129001    145.65    154.94  --
4173.86/1046.70	c  N dy 10310   1532175     24153    104017         0     66072    316819   2575818    145.65    154.75  --
4214.49/1056.83	c  N dy 10445   1552184     24153    104017         0     86080    316819   7114565    145.63    153.88  --
4259.57/1068.15	c  N dy 10583   1572404     24153    104017         0    106297    316819  11706365    145.65    154.61  --
4302.63/1078.90	c  N dy 10709   1592518     24153    104017         0     68411    316819   2885349    145.64    156.25  --
4343.33/1089.16	c  N dy 10839   1612638     24153    104017         0     88529    316819   7501865    145.64    153.61  --
4388.84/1100.52	c  N dy 10974   1632757     24153    104017         0    108647    316819  12185101    145.67    161.12  --
4432.27/1111.49	c  N dy 11108   1653003     24153    104017         0     69897    316819   3048530    145.68    153.59  --
4472.18/1121.47	c  N dy 11237   1673132     24153    104017         0     90025    316819   7706066    145.68    155.12  --
4516.06/1132.46	c  N dy 11383   1693165     24153    104017         0    110057    316819  12303071    145.70    161.13  --
4553.10/1141.72	c  S st 11502   1710509     24153    104017         0     67404    316819   2257938    145.71   no data  --
4553.90/1141.96	c  S st 11502   1711010     24153    104017         0     67905    316819   2327296    145.71   no data  --
4553.90/1141.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4553.90/1141.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4554.70/1142.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.72
4555.54/1142.33	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4555.54/1142.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4555.54/1142.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
4555.54/1142.36	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4583.82/1149.49	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 28.41 s
4584.22/1149.50	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.06
4584.22/1149.55	c vivif2 --  cl tried    67903 cl shrink        0 lits rem          0 time: 0.16
4585.01/1149.78	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.94
4585.01/1149.79	c calculated reachability. Time: 0.01
4585.01/1149.79	c  N dy 11502   1711010     24153    104017         0     67903    316819   2326129    145.71   no data  --
4624.50/1159.68	c  N dy 11635   1731261     24153    104017         0     88152    316819   7095468    145.73    165.00  --
4667.97/1170.56	c  N dy 11776   1751365     24153    104017         0    108254    316819  11741801    145.77    155.66  --
4711.83/1181.53	c  N dy 11915   1771618     24153    104017         0     67506    316819   2055926    145.77    159.40  --
4750.52/1191.24	c  N dy 12043   1791650     24153    104017         0     87534    316819   6593273    145.77    164.67  --
4793.18/1201.95	c  N dy 12174   1811662     24153    104017         0    107545    316819  11189221    145.79    153.99  --

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-3368647-1305399534/watcher-3368647-1305399534 -o /tmp/evaluation-result-3368647-1305399534/solver-3368647-1305399534 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368647-1305399534.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.50 8.01 8.03 3/360 32696
/proc/meminfo: memFree=25735964/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 411 0 0 0 2 0 0 0 18 0 4 0 632369019 52465664 352 33554432000 4194304 4650419 140735280294880 18446744073709551615 46937324382128 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 12809 352 303 112 0 7774 0
[pid=32696/tid=32697] ppid=32694 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 632369019 52465664 352 33554432000 4194304 4650419 140735280294880 18446744073709551615 46937324382124 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 632369019 52465664 352 33554432000 4194304 4650419 140735280294880 18446744073709551615 46937324382130 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 632369019 52465664 352 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0169231 s]
/proc/loadavg: 7.50 8.01 8.03 3/360 32696
/proc/meminfo: memFree=25735964/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=252436 CPUtime=0.03 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 2975 0 0 0 3 0 0 0 18 0 4 0 632369019 258494464 2745 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726101771 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 63109 2793 340 112 0 58074 0
[pid=32696/tid=32697] ppid=32694 vsize=252692 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 4 0 632369019 258756608 2870 33554432000 4194304 4650419 140735280294880 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=253264 CPUtime=0.01 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) D 32694 32696 32471 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 4 0 632369019 259342336 2990 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726462890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=253100 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) D 32694 32696 32471 0 -1 4202560 671 0 0 0 0 0 0 0 18 0 4 0 632369019 259174400 3091 33554432000 4194304 4650419 140735280294880 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 252436

[startup+0.101948 s]
/proc/loadavg: 7.50 8.01 8.03 3/360 32696
/proc/meminfo: memFree=25735964/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=372852 CPUtime=0.31 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 15051 0 0 0 21 10 0 0 17 0 4 0 632369019 381800448 12993 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 93213 13010 344 112 0 88178 0
[pid=32696/tid=32697] ppid=32694 vsize=372852 CPUtime=0.07 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 3779 0 0 0 5 2 0 0 17 0 4 0 632369019 381800448 13020 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=372852 CPUtime=0.07 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 3829 0 0 0 5 2 0 0 17 0 4 0 632369019 381800448 13028 33554432000 4194304 4650419 140735280294880 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=372852 CPUtime=0.06 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) S 32694 32696 32471 0 -1 4202560 3507 0 0 0 4 2 0 0 17 0 4 0 632369019 381800448 13043 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726510062 0 0 4096 2 18446604463312701440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 372852

[startup+0.317276 s]
/proc/loadavg: 7.50 8.01 8.03 3/360 32696
/proc/meminfo: memFree=25735964/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=392140 CPUtime=1.12 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) D 32694 32696 32471 0 -1 4202496 23679 0 0 0 93 19 0 0 18 0 4 0 632369019 401551360 19698 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 98035 19718 377 112 0 93000 0
[pid=32696/tid=32697] ppid=32694 vsize=392140 CPUtime=0.27 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 6070 0 0 0 23 4 0 0 18 0 4 0 632369019 401551360 19727 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726102119 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=392140 CPUtime=0.27 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 6568 0 0 0 23 4 0 0 18 0 4 0 632369019 401551360 19739 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726073585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=392140 CPUtime=0.26 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) S 32694 32696 32471 0 -1 4202560 4223 0 0 0 22 4 0 0 18 0 4 0 632369019 401551360 19751 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726510062 0 0 4096 2 18446604463312701440 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 392140

[startup+1.10171 s]
/proc/loadavg: 7.50 8.01 8.03 3/360 32696
/proc/meminfo: memFree=25735964/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=400804 CPUtime=4.25 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 38121 0 0 0 403 22 0 0 19 0 4 0 632369019 410423296 30346 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 100201 30346 391 112 0 95166 0
[pid=32696/tid=32697] ppid=32694 vsize=400804 CPUtime=1.06 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 11146 0 0 0 100 6 0 0 19 0 4 0 632369019 410423296 30346 33554432000 4194304 4650419 140735280294880 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=400804 CPUtime=1.06 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 10630 0 0 0 100 6 0 0 18 0 4 0 632369019 410423296 30346 33554432000 4194304 4650419 140735280294880 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=400804 CPUtime=1.04 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 4792 0 0 0 100 4 0 0 19 0 4 0 632369019 410423296 30346 33554432000 4194304 4650419 140735280294880 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 400804

[startup+1.50064 s]
/proc/loadavg: 7.50 8.01 8.03 3/360 32696
/proc/meminfo: memFree=25735964/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=400804 CPUtime=5.84 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 39518 0 0 0 562 22 0 0 19 0 4 0 632369019 410423296 31743 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 100201 31743 391 112 0 95166 0
[pid=32696/tid=32697] ppid=32694 vsize=400804 CPUtime=1.46 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 11539 0 0 0 140 6 0 0 19 0 4 0 632369019 410423296 31743 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=400804 CPUtime=1.46 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 10988 0 0 0 140 6 0 0 19 0 4 0 632369019 410423296 31744 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=400804 CPUtime=1.44 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 5096 0 0 0 140 4 0 0 19 0 4 0 632369019 410423296 31744 33554432000 4194304 4650419 140735280294880 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 400804

[startup+3.10034 s]
/proc/loadavg: 7.50 8.01 8.03 9/371 32708
/proc/meminfo: memFree=25424592/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=433624 CPUtime=12.22 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 44274 0 0 0 1198 24 0 0 25 0 4 0 632369019 444030976 36499 33554432000 4194304 4650419 140735280294880 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 108406 36499 391 112 0 103371 0
[pid=32696/tid=32697] ppid=32694 vsize=433624 CPUtime=3.06 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 12778 0 0 0 300 6 0 0 23 0 4 0 632369019 444030976 36499 33554432000 4194304 4650419 140735280294880 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=433624 CPUtime=3.06 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 12226 0 0 0 299 7 0 0 23 0 4 0 632369019 444030976 36499 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=433624 CPUtime=3.01 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 6215 0 0 0 297 4 0 0 23 0 4 0 632369019 444030976 36499 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 433624

[startup+6.30074 s]
/proc/loadavg: 7.54 8.01 8.03 9/371 32708
/proc/meminfo: memFree=25349456/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=567520 CPUtime=24.98 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 53350 0 0 0 2471 27 0 0 25 0 4 0 632369019 581140480 45575 33554432000 4194304 4650419 140735280294880 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 141880 45575 391 112 0 136845 0
[pid=32696/tid=32697] ppid=32694 vsize=567520 CPUtime=6.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 15100 0 0 0 620 6 0 0 25 0 4 0 632369019 581140480 45575 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=567520 CPUtime=6.26 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 14496 0 0 0 618 8 0 0 25 0 4 0 632369019 581140480 45575 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=567520 CPUtime=6.18 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 8500 0 0 0 613 5 0 0 25 0 4 0 632369019 581140480 45575 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 567520

[startup+12.7145 s]
/proc/loadavg: 7.58 8.01 8.03 9/371 32708
/proc/meminfo: memFree=25189532/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=706272 CPUtime=50.55 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 95545 0 0 0 5015 40 0 0 21 0 4 0 632369019 723222528 66470 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 176568 66470 395 112 0 171533 0
[pid=32696/tid=32697] ppid=32694 vsize=706272 CPUtime=12.67 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 21148 0 0 0 1259 8 0 0 21 0 4 0 632369019 723222528 66470 33554432000 4194304 4650419 140735280294880 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=706272 CPUtime=12.67 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 20729 0 0 0 1257 10 0 0 20 0 4 0 632369019 723222528 66470 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=706272 CPUtime=12.5 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 14972 0 0 0 1244 6 0 0 25 0 4 0 632369019 723222528 66470 33554432000 4194304 4650419 140735280294880 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 706272

[startup+25.5011 s]
/proc/loadavg: 7.74 8.02 8.04 9/371 32708
/proc/meminfo: memFree=24772808/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=815540 CPUtime=101.55 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 180364 0 0 0 10093 62 0 0 25 0 4 0 632369019 835112960 112554 33554432000 4194304 4650419 140735280294880 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 203885 112554 395 112 0 198850 0
[pid=32696/tid=32697] ppid=32694 vsize=815540 CPUtime=25.46 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 59485 0 0 0 2531 15 0 0 25 0 4 0 632369019 835112960 112554 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=815540 CPUtime=25.46 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 35064 0 0 0 2531 15 0 0 25 0 4 0 632369019 835112960 112554 33554432000 4194304 4650419 140735280294880 18446744073709551615 4331107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=815540 CPUtime=25.15 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 40458 0 0 0 2501 14 0 0 25 0 4 0 632369019 835112960 112554 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 815540

[startup+51.1003 s]
/proc/loadavg: 7.83 8.02 8.03 9/371 32709
/proc/meminfo: memFree=24617088/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=816416 CPUtime=203.69 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 259575 0 0 0 20282 87 0 0 25 0 4 0 632369019 836009984 133929 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 204104 133929 395 112 0 199069 0
[pid=32696/tid=32697] ppid=32694 vsize=816416 CPUtime=51.07 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 73395 0 0 0 5088 19 0 0 25 0 4 0 632369019 836009984 133931 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=816416 CPUtime=51.07 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 60985 0 0 0 5085 22 0 0 25 0 4 0 632369019 836009984 133931 33554432000 4194304 4650419 140735280294880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=816416 CPUtime=50.45 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 60024 0 0 0 5024 21 0 0 25 0 4 0 632369019 836009984 133931 33554432000 4194304 4650419 140735280294880 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.69
Current children cumulated vsize (KiB) 816416

[startup+102.301 s]
/proc/loadavg: 7.92 8.02 8.03 9/371 32710
/proc/meminfo: memFree=24429308/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=967688 CPUtime=407.84 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 403424 0 0 0 40658 126 0 0 25 0 4 0 632369019 990912512 152832 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 241922 152833 395 112 0 236887 0
[pid=32696/tid=32697] ppid=32694 vsize=967688 CPUtime=102.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 97709 0 0 0 10197 29 0 0 25 0 4 0 632369019 990912512 152833 33554432000 4194304 4650419 140735280294880 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=967688 CPUtime=102.25 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 86506 0 0 0 10195 30 0 0 25 0 4 0 632369019 990912512 152833 33554432000 4194304 4650419 140735280294880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=967688 CPUtime=101.04 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 84640 0 0 0 10073 31 0 0 25 0 4 0 632369019 990912512 152833 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.84
Current children cumulated vsize (KiB) 967688

[startup+162.314 s]

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

[pid=32696] ppid=32694 vsize=1410916 CPUtime=2800.76 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 2312306 0 0 0 279446 630 0 0 25 0 4 0 632369019 1444777984 256989 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 352729 256989 395 112 0 347694 0
[pid=32696/tid=32697] ppid=32694 vsize=1410916 CPUtime=702.27 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 785697 0 0 0 70039 188 0 0 25 0 4 0 632369019 1444777984 256989 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1410916 CPUtime=702.26 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 732978 0 0 0 70038 188 0 0 25 0 4 0 632369019 1444777984 256989 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1410916 CPUtime=693.96 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 439386 0 0 0 69259 137 0 0 25 0 4 0 632369019 1444777984 256989 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.76
Current children cumulated vsize (KiB) 1410916

[startup+762.301 s]
/proc/loadavg: 8.10 8.09 8.05 9/371 32737
/proc/meminfo: memFree=23436548/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1477332 CPUtime=3040.01 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 2567882 0 0 0 303312 689 0 0 25 0 4 0 632369019 1512787968 275688 33554432000 4194304 4650419 140735280294880 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 369333 275688 395 112 0 364298 0
[pid=32696/tid=32697] ppid=32694 vsize=1477332 CPUtime=762.25 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 795368 0 0 0 76036 189 0 0 25 0 4 0 632369019 1512787968 275688 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1477332 CPUtime=762.26 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 859698 0 0 0 76018 208 0 0 25 0 4 0 632369019 1512787968 275688 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1477332 CPUtime=753.24 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 528550 0 0 0 75165 159 0 0 25 0 4 0 632369019 1512787968 275688 33554432000 4194304 4650419 140735280294880 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.01
Current children cumulated vsize (KiB) 1477332

[startup+822.314 s]
/proc/loadavg: 8.14 8.10 8.05 9/371 32739
/proc/meminfo: memFree=23407984/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1449844 CPUtime=3279.34 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 2776461 0 0 0 327189 745 0 0 25 0 4 0 632369019 1484640256 279742 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 362461 279742 395 112 0 357426 0
[pid=32696/tid=32697] ppid=32694 vsize=1449844 CPUtime=822.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 802802 0 0 0 82035 191 0 0 25 0 4 0 632369019 1484640256 279742 33554432000 4194304 4650419 140735280294880 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1449844 CPUtime=822.27 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1000218 0 0 0 81995 232 0 0 25 0 4 0 632369019 1484640256 279742 33554432000 4194304 4650419 140735280294880 18446744073709551615 264726063600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1449844 CPUtime=812.55 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 556979 0 0 0 81080 175 0 0 25 0 4 0 632369019 1484640256 279742 33554432000 4194304 4650419 140735280294880 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.34
Current children cumulated vsize (KiB) 1449844

[startup+882.3 s]
/proc/loadavg: 8.21 8.13 8.06 9/371 32740
/proc/meminfo: memFree=23364664/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1573464 CPUtime=3518.59 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 3141998 0 0 0 351038 821 0 0 25 0 4 0 632369019 1611227136 288940 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 393366 288940 395 112 0 388331 0
[pid=32696/tid=32697] ppid=32694 vsize=1573464 CPUtime=882.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 826024 0 0 0 88024 202 0 0 25 0 4 0 632369019 1611227136 288940 33554432000 4194304 4650419 140735280294880 18446744073709551615 4368117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1573464 CPUtime=882.25 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1026621 0 0 0 87981 244 0 0 25 0 4 0 632369019 1611227136 288940 33554432000 4194304 4650419 140735280294880 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1573464 CPUtime=871.83 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 583173 0 0 0 86996 187 0 0 25 0 4 0 632369019 1611227136 288940 33554432000 4194304 4650419 140735280294880 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.59
Current children cumulated vsize (KiB) 1573464

[startup+942.301 s]
/proc/loadavg: 8.16 8.13 8.07 9/371 32742
/proc/meminfo: memFree=23268896/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1538064 CPUtime=3757.87 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 3272008 0 0 0 374925 862 0 0 25 0 4 0 632369019 1574977536 296444 33554432000 4194304 4650419 140735280294880 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 384516 296444 395 112 0 379481 0
[pid=32696/tid=32697] ppid=32694 vsize=1538064 CPUtime=942.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 853300 0 0 0 94013 213 0 0 25 0 4 0 632369019 1574977536 296444 33554432000 4194304 4650419 140735280294880 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1538064 CPUtime=942.25 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1053683 0 0 0 93971 254 0 0 25 0 4 0 632369019 1574977536 296444 33554432000 4194304 4650419 140735280294880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1538064 CPUtime=931.11 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 613450 0 0 0 92914 197 0 0 25 0 4 0 632369019 1574977536 296444 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.87
Current children cumulated vsize (KiB) 1538064

[startup+1002.3 s]
/proc/loadavg: 8.17 8.15 8.08 9/371 32743
/proc/meminfo: memFree=23177460/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1495396 CPUtime=3997.15 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 3378226 0 0 0 398813 902 0 0 25 0 4 0 632369019 1531285504 305958 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363299 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 373849 305958 395 112 0 368814 0
[pid=32696/tid=32697] ppid=32694 vsize=1495396 CPUtime=1002.25 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 880343 0 0 0 100002 223 0 0 25 0 4 0 632369019 1531285504 305958 33554432000 4194304 4650419 140735280294880 18446744073709551615 4328364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1495396 CPUtime=1002.24 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1084218 0 0 0 99960 264 0 0 25 0 4 0 632369019 1531285504 305958 33554432000 4194304 4650419 140735280294880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1495396 CPUtime=990.41 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 637797 0 0 0 98834 207 0 0 25 0 4 0 632369019 1531285504 305958 33554432000 4194304 4650419 140735280294880 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.15
Current children cumulated vsize (KiB) 1495396

[startup+1062.3 s]
/proc/loadavg: 8.11 8.13 8.08 9/371 32745
/proc/meminfo: memFree=23024032/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1685660 CPUtime=4236.44 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 3556080 0 0 0 422695 949 0 0 25 0 4 0 632369019 1726115840 327093 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 421415 327093 395 112 0 416380 0
[pid=32696/tid=32697] ppid=32694 vsize=1685660 CPUtime=1062.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 973277 0 0 0 105986 240 0 0 25 0 4 0 632369019 1726115840 327093 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1685660 CPUtime=1062.24 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1115971 0 0 0 105951 273 0 0 25 0 4 0 632369019 1726115840 327093 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1685660 CPUtime=1049.69 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 661438 0 0 0 104752 217 0 0 25 0 4 0 632369019 1726115840 327093 33554432000 4194304 4650419 140735280294880 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.44
Current children cumulated vsize (KiB) 1685660

[startup+1122.3 s]
/proc/loadavg: 8.08 8.12 8.08 9/371 32747
/proc/meminfo: memFree=23078672/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1701220 CPUtime=4475.74 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 3912878 0 0 0 446554 1020 0 0 25 0 4 0 632369019 1742049280 329477 33554432000 4194304 4650419 140735280294880 18446744073709551615 4360321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 425305 329477 395 112 0 420270 0
[pid=32696/tid=32697] ppid=32694 vsize=1701220 CPUtime=1122.26 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1281707 0 0 0 111941 285 0 0 25 0 4 0 632369019 1742049280 329477 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1701220 CPUtime=1122.25 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1115971 0 0 0 111952 273 0 0 25 0 4 0 632369019 1742049280 329477 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1701220 CPUtime=1108.99 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 685282 0 0 0 110670 229 0 0 25 0 4 0 632369019 1742049280 329477 33554432000 4194304 4650419 140735280294880 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.74
Current children cumulated vsize (KiB) 1701220

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.08 9/371 32748
/proc/meminfo: memFree=23060148/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1629204 CPUtime=4715.01 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 3984202 0 0 0 470445 1056 0 0 25 0 4 0 632369019 1668304896 312388 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 407301 312388 395 112 0 402266 0
[pid=32696/tid=32697] ppid=32694 vsize=1629204 CPUtime=1182.25 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1303072 0 0 0 117931 294 0 0 25 0 4 0 632369019 1668304896 312388 33554432000 4194304 4650419 140735280294880 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1629204 CPUtime=1182.25 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1115971 0 0 0 117952 273 0 0 25 0 4 0 632369019 1668304896 312388 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1629204 CPUtime=1168.27 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 712721 0 0 0 116583 244 0 0 25 0 4 0 632369019 1668304896 312388 33554432000 4194304 4650419 140735280294880 18446744073709551615 4316022 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.01
Current children cumulated vsize (KiB) 1629204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.14 8.12 8.08 9/371 32749
/proc/meminfo: memFree=22973592/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1628964 CPUtime=4800.41 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 4012512 0 0 0 478970 1071 0 0 25 0 4 0 632369019 1668059136 328694 33554432000 4194304 4650419 140735280294880 18446744073709551615 4306796 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 407241 328694 395 112 0 402206 0
[pid=32696/tid=32697] ppid=32694 vsize=1628964 CPUtime=1203.67 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1313094 0 0 0 120068 299 0 0 25 0 4 0 632369019 1668059136 328696 33554432000 4194304 4650419 140735280294880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1628964 CPUtime=1203.66 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1115971 0 0 0 120093 273 0 0 25 0 4 0 632369019 1668059136 328696 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1628964 CPUtime=1189.42 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 721642 0 0 0 118693 249 0 0 25 0 4 0 632369019 1668059136 328696 33554432000 4194304 4650419 140735280294880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1628964

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

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

[startup+1203.7 s]
/proc/loadavg: 8.14 8.12 8.08 9/371 32749
/proc/meminfo: memFree=22973592/32951124 swapFree=63083164/67111528
[pid=32696] ppid=32694 vsize=1628964 CPUtime=4800.41 cores=1,3,5,7
/proc/32696/stat : 32696 (strangenight1-m) R 32694 32696 32471 0 -1 4202496 4012512 0 0 0 478970 1071 0 0 25 0 4 0 632369019 1668059136 328694 33554432000 4194304 4650419 140735280294880 18446744073709551615 4306796 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32696/statm: 407241 328694 395 112 0 402206 0
[pid=32696/tid=32697] ppid=32694 vsize=1628964 CPUtime=1203.67 cores=1,3,5,7
/proc/32696/task/32697/stat : 32697 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1313094 0 0 0 120068 299 0 0 25 0 4 0 632369019 1668059136 328696 33554432000 4194304 4650419 140735280294880 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32696/tid=32698] ppid=32694 vsize=1628964 CPUtime=1203.66 cores=1,3,5,7
/proc/32696/task/32698/stat : 32698 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 1115971 0 0 0 120093 273 0 0 25 0 4 0 632369019 1668059136 328696 33554432000 4194304 4650419 140735280294880 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32696/tid=32699] ppid=32694 vsize=1628964 CPUtime=1189.42 cores=1,3,5,7
/proc/32696/task/32699/stat : 32699 (strangenight1-m) R 32694 32696 32471 0 -1 4202560 721642 0 0 0 118693 249 0 0 25 0 4 0 632369019 1668059136 328696 33554432000 4194304 4650419 140735280294880 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1628964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.78
CPU time (s): 4800.5
CPU user time (s): 4789.73
CPU system time (s): 10.7714
CPU usage (%): 398.785
Max. virtual memory (cumulated for all children) (KiB): 1701220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.73
system time used= 10.7714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4012521
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= 17226
involuntary context switches= 18921

runsolver used 3.80942 second user time and 10.4374 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 20:58:54
IDJOB=3368647
IDBENCH=82656
IDSOLVER=1846
FILE ID=node141/3368647-1305399534
RUNJOBID= node141-1305397122-32490
PBS_JOBID= 13324452
Free space on /tmp= 73296 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368647-1305399534/watcher-3368647-1305399534 -o /tmp/evaluation-result-3368647-1305399534/solver-3368647-1305399534 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368647-1305399534.cnf

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

MD5SUM BENCH= 3d91d29f74f04e1ffeedae8425f55746
RANDOM SEED=548450665

node141.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.806
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.806
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	: 5362.96
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.806
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.82
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.806
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.75
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.806
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.84
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.806
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.806
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.806
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:      25737608 kB
Buffers:        223572 kB
Cached:        4782364 kB
SwapCached:      15708 kB
Active:        1971796 kB
Inactive:      5002748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25737608 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           14404 kB
Writeback:           0 kB
AnonPages:     1959724 kB
Mapped:          12648 kB
Slab:           135708 kB
PageTables:      37532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86229848 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= 73284 MiB
End job on node141 at 2011-05-14 21:19:00