Trace number 3175038

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

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175038-1304079182.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.91/0.92	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.91/0.92	c -- vars added      25000
0.91/0.92	c Parsing time:  0.26 s
0.91/0.92	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.91/0.92	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.30
0.91/0.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
0.91/0.92	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.91/0.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.91/0.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
0.91/0.92	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
0.91/0.92	c lits-rem:         0  cl-subs:        0  v-elim:    696  v-fix:    0  time:  0.99 s
0.91/0.92	c Finding binary XORs  T:     0.02 s  found:       0
0.91/0.92	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.91/0.92	c calculated reachability. Time: 0.00
0.91/0.92	c Calc default polars -  time:   0.04 s pos:   11035 undec:    2879 neg:   11086
0.91/0.92	c =========================================================================================
0.91/0.92	c types(t): F = full restart, N = normal restart
0.91/0.92	c types(t): S = simplification begin/end, E = solution found
0.91/0.92	c restart types(rt): st = static, dy = dynamic
0.91/0.92	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.91/0.92	c  B st     0         0     24304    103866         0         0    315427         0   no data   no data  --
6.76/1.76	c  N dy    20      4024     24304    103866         0      4023    315427    963700    124.41    136.81  --
11.55/2.93	c  N dy    52      8048     24304    103866         0      8047    315427   1854283    135.58    143.34  --
16.35/4.14	c  N dy    81     12088     24304    103866         0     12086    315427   2740072    137.87    147.79  --
21.16/5.38	c  N dy   109     16219     24304    103866         0     16217    315427   3593806    137.14    145.02  --
26.34/6.68	c  N dy   139     20278     24304    103866         0     10279    315427    644447    138.34    147.92  --
31.13/7.89	c  N dy   168     24344     24304    103866         0     14345    315427   1516051    138.53    146.18  --
32.33/8.10	c  F st   174     25000     24304    103866         0     15001    315427   1678015    138.94    133.26  --
39.14/9.81	c  N dy   180     30000     24304    103866         0     20000    315427   3238054    138.94   no data  --
39.14/9.81	c  S st   180     30000     24304    103866         0     20000    315427   3238054    138.94   no data  --
39.51/9.97	c  S st   180     30504     24304    103866         0     20504    315427   3323352    138.94   no data  --
39.51/9.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
39.51/9.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.31/10.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
41.52/10.48	c bin-w-bin subsume rem            0 bins  time:  0.03 s
41.52/10.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
41.92/10.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.04 s
41.92/10.51	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
71.87/18.04	c lits-rem:        41  cl-subs:     2089  v-elim:    151  v-fix:    0  time: 29.95 s
72.28/18.17	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.51
72.28/18.18	c calculated reachability. Time: 0.00
72.28/18.18	c  N dy   180     30504     24153    104017         0     18415    316819   2258776    138.94   no data  --
78.29/19.64	c  N dy   215     34560     24153    104017         0     22471    316819   3163044    140.29    148.77  --
84.26/21.15	c  N dy   245     38649     24153    104017         0     26560    316819   4099495    141.09    168.82  --
90.65/22.76	c  N dy   275     42787     24153    104017         0     30698    316819   5022791    141.26    150.26  --
94.65/23.79	c  S st   294     45758     24153    104017         0     18171    316819   1260495    141.25    123.89  --
95.44/23.96	c  S st   294     46262     24153    104017         0     18675    316819   1354476    141.25   no data  --
95.44/23.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
95.44/23.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.86/24.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.51
96.64/24.22	c bin-w-bin subsume rem            0 bins  time:  0.03 s
96.64/24.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
96.64/24.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.03 s
96.64/24.24	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
108.63/27.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.17 s
109.05/27.31	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.04
109.05/27.33	c vivif2 --  cl tried    18675 cl shrink        0 lits rem          0 time: 0.08
109.45/27.45	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.49
109.45/27.46	c calculated reachability. Time: 0.00
109.45/27.46	c  N dy   294     46262     24153    104017         0     18675    316819   1354476    141.25   no data  --
115.01/28.84	c  N dy   321     50381     24153    104017         0     22793    316819   2253220    141.25    148.86  --
120.61/30.23	c  N dy   348     54460     24153    104017         0     26872    316819   3095251    140.91    151.50  --
126.20/31.67	c  N dy   379     58505     24153    104017         0     30916    316819   4007608    141.42    149.28  --
132.19/33.15	c  N dy   403     62647     24153    104017         0     35058    316819   4901355    141.09    152.65  --
138.18/34.67	c  N dy   430     66839     24153    104017         0     20506    316819   1060342    141.05    149.47  --
141.77/35.55	c  S st   447     69393     24153    104017         0     23060    316819   1631932    140.98   no data  --
142.57/35.72	c  S st   447     69895     24153    104017         0     23562    316819   1712194    140.98   no data  --
142.57/35.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
142.57/35.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.97/35.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.54
143.77/36.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
143.77/36.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
143.77/36.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
143.77/36.05	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
158.55/39.77	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time: 14.80 s
158.55/39.78	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
158.95/39.81	c vivif2 --  cl tried    23562 cl shrink        0 lits rem          0 time: 0.10
159.34/39.94	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.54
159.34/39.95	c calculated reachability. Time: 0.00
159.34/39.95	c  N dy   447     69895     24153    104017         0     23562    316819   1712193    140.98   no data  --
165.34/41.49	c  N dy   480     74456     24153    104017         0     28123    316819   2715617    141.26    152.94  --
172.13/43.18	c  N dy   516     79275     24153    104017         0     32942    316819   3806824    141.38    150.80  --
179.34/45.00	c  N dy   552     84432     24153    104017         0     38097    316819   4938215    141.60    173.26  --
184.14/46.16	c  F st   577     87500     24153    104017         0     41165    316819   5686468    142.13   no data  --
188.91/47.39	c  N st   582     90800     24153    104017         0     23596    316819   1423754    142.13   no data  --
197.32/49.47	c  N dy   611     96680     24153    104017         0     29476    316819   2947783    142.17    152.96  --
206.48/51.77	c  N dy   654    102959     24153    104017         0     35754    316819   4379186    142.39    150.56  --
209.29/52.46	c  S st   667    104843     24153    104017         0     37638    316819   4772990    142.27   no data  --
210.10/52.66	c  S st   667    105350     24153    104017         0     38144    316819   4855794    142.27   no data  --
210.10/52.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
210.10/52.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.88/52.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.59
212.48/53.20	c bin-w-bin subsume rem            0 bins  time:  0.03 s
212.48/53.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
212.48/53.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
212.48/53.23	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
403.44/101.07	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 190.47 s
403.44/101.08	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
403.84/101.16	c vivif2 --  cl tried    38140 cl shrink        0 lits rem          0 time: 0.28
404.62/101.32	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.65
404.62/101.33	c calculated reachability. Time: 0.00
404.62/101.33	c  N dy   667    105350     24153    104017         0     38140    316819   4853151    142.27   no data  --
414.61/103.88	c  N dy   720    112074     24153    104017         0     44863    316819   6388722    142.56    160.90  --
424.59/106.39	c  N dy   773    119298     24153    104017         0     29647    316819   2199970    142.77    156.47  --
435.77/109.14	c  N dy   828    126935     24153    104017         0     37283    316819   3944435    143.04    152.95  --
448.16/112.20	c  N dy   881    135092     24153    104017         0     45440    316819   5763714    143.01    153.99  --
460.56/115.31	c  N dy   944    143767     24153    104017         0     30395    316819   2023754    143.19    150.89  --
473.74/118.68	c  N dy  1008    153039     24153    104017         0     39666    316819   4111649    143.32    152.99  --
481.72/120.60	c  S st  1042    158025     24153    104017         0     44652    316819   5213167    143.34   no data  --
482.12/120.80	c  S st  1042    158535     24153    104017         0     45162    316819   5299640    143.34   no data  --
482.53/120.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
482.53/120.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
482.93/120.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.61
484.51/121.35	c bin-w-bin subsume rem            0 bins  time:  0.03 s
484.51/121.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
484.51/121.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
484.51/121.37	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
733.76/183.77	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 248.46 s
733.76/183.79	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
734.17/183.86	c vivif2 --  cl tried    45158 cl shrink        0 lits rem          0 time: 0.31
734.97/184.04	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.71
734.97/184.05	c calculated reachability. Time: 0.00
734.97/184.05	c  N dy  1042    158535     24153    104017         0     45158    316819   5295997    143.34   no data  --
750.14/187.81	c  N dy  1110    168831     24153    104017         0     30600    316819   1796764    143.13    152.73  --
766.13/191.83	c  N dy  1182    179794     24153    104017         0     41562    316819   4239298    143.14    153.96  --
784.91/196.53	c  N dy  1265    191395     24153    104017         0     27234    316819    821354    143.45    152.23  --
803.29/201.11	c  N dy  1354    203624     24153    104017         0     39462    316819   3596077    143.64    151.45  --
824.45/206.41	c  N dy  1449    216707     24153    104017         0     52545    316819   6604683    143.85    151.98  --
845.21/211.67	c  N dy  1539    230624     24153    104017         0     39500    316819   3304362    143.80    158.84  --
856.80/214.51	c  S st  1587    237802     24153    104017         0     46678    316819   4910457    143.81   no data  --
857.60/214.71	c  S st  1587    238305     24153    104017         0     47181    316819   4996512    143.81   no data  --
857.60/214.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
857.60/214.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
858.00/214.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
859.60/215.22	c bin-w-bin subsume rem            0 bins  time:  0.03 s
859.60/215.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
859.60/215.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
859.60/215.25	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1084.92/271.68	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 225.10 s
1084.92/271.69	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
1085.29/271.77	c vivif2 --  cl tried    47177 cl shrink        0 lits rem          0 time: 0.31
1086.09/271.96	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.76
1086.09/271.97	c calculated reachability. Time: 0.00
1086.09/271.97	c  N dy  1587    238305     24153    104017         0     47177    316819   4995477    143.81   no data  --
1110.05/277.96	c  N dy  1683    253573     24153    104017         0     34463    316819   1939524    143.78    158.42  --
1136.02/284.47	c  N dy  1796    269837     24153    104017         0     50727    316819   5655711    143.86    182.89  --
1163.18/291.20	c  N dy  1918    287127     24153    104017         0     39021    316819   2741684    143.89    156.78  --
1191.95/298.45	c  N dy  2050    305480     24153    104017         0     57373    316819   6936466    144.04    152.75  --
1193.15/298.77	c  F st  2056    306251     24153    104017         0     58144    316819   7111346    144.05    145.81  --
1222.70/306.12	c  N dy  2154    325118     24153    104017         0     47015    316819   4574793    144.05    151.70  --
1255.46/314.31	c  N dy  2288    345130     24153    104017         0     36028    316819   1589933    144.13    160.07  --
1275.03/319.28	c  S st  2377    357458     24153    104017         0     48355    316819   4399994    144.26    144.30  --
1276.23/319.50	c  S st  2377    357958     24153    104017         0     48855    316819   4482026    144.26   no data  --
1276.23/319.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1276.23/319.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1276.63/319.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.63
1277.84/319.98	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1277.84/319.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1277.84/319.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
1278.24/320.00	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1446.40/362.10	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 167.45 s
1446.40/362.11	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
1446.40/362.18	c vivif2 --  cl tried    48853 cl shrink        0 lits rem          0 time: 0.28
1447.20/362.37	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.77
1447.20/362.38	c calculated reachability. Time: 0.00
1447.20/362.38	c  N dy  2377    357958     24153    104017         0     48853    316819   4481815    144.26   no data  --
1480.74/370.71	c  N dy  2509    378001     24153    104017         0     36902    316819   1598252    144.32    159.20  --
1514.31/379.11	c  N dy  2646    398083     24153    104017         0     56983    316819   6155986    144.39    153.33  --
1548.26/387.66	c  N dy  2782    418160     24153    104017         0     44066    316819   2934025    144.35    152.50  --
1583.01/396.33	c  N dy  2914    438192     24153    104017         0     64094    316819   7467150    144.40    155.72  --
1616.19/404.70	c  N dy  3043    458271     24153    104017         0     50169    316819   4072559    144.34    173.03  --
1652.52/413.72	c  N dy  3165    478358     24153    104017         0     35263    316819    513209    144.29    153.92  --
1686.07/422.11	c  N dy  3311    498475     24153    104017         0     55378    316819   5052201    144.34    162.58  --
1722.42/431.29	c  N dy  3454    518542     24153    104017         0     39446    316819   1261338    144.45    154.19  --
1752.41/438.80	c  S st  3580    536939     24153    104017         0     57842    316819   5439705    144.46   no data  --
1753.58/439.03	c  S st  3580    537442     24153    104017         0     58345    316819   5526525    144.46   no data  --
1753.58/439.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1753.58/439.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1754.38/439.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.67
1755.57/439.59	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1755.57/439.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1755.98/439.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
1755.98/439.61	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
2042.80/511.45	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 286.32 s
2042.80/511.47	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
2043.18/511.55	c vivif2 --  cl tried    58342 cl shrink        0 lits rem          0 time: 0.34
2043.99/511.76	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.82
2043.99/511.77	c calculated reachability. Time: 0.00
2043.99/511.77	c  N dy  3580    537442     24153    104017         0     58342    316819   5525231    144.46   no data  --
2077.56/520.11	c  N dy  3712    557456     24153    104017         0     41361    316819   1458734    144.44    167.12  --
2109.50/528.15	c  N dy  3852    577680     24153    104017         0     61584    316819   6037214    144.45    153.58  --
2143.47/536.66	c  N dy  3993    597812     24153    104017         0     43714    316819   1762003    144.48    163.78  --
2175.80/544.74	c  N dy  4137    617930     24153    104017         0     63831    316819   6319604    144.54    153.71  --
2209.77/553.22	c  N dy  4270    638001     24153    104017         0     44899    316819   1791988    144.56    164.19  --
2242.51/561.45	c  N dy  4413    658143     24153    104017         0     65040    316819   6408619    144.67    152.45  --
2276.85/570.08	c  N dy  4541    678352     24153    104017         0     45250    316819   1676016    144.68    153.03  --
2309.61/578.23	c  N dy  4674    698411     24153    104017         0     65309    316819   6247070    144.70    154.55  --
2344.37/586.99	c  N dy  4819    718419     24153    104017         0     44322    316819   1217942    144.81    162.96  --
2376.74/595.01	c  N dy  4956    738511     24153    104017         0     64413    316819   5684279    144.76    160.94  --
2412.67/604.05	c  N dy  5098    758573     24153    104017         0     42473    316819    568829    144.90    153.78  --
2444.61/612.05	c  N dy  5234    778677     24153    104017         0     62577    316819   5069050    144.93    153.79  --
2480.57/621.00	c  N dy  5379    798727     24153    104017         0     82626    316819   9645748    144.98    161.98  --
2492.95/624.17	c  S st  5431    806163     24153    104017         0     47069    316819   1390926    144.97   no data  --
2493.75/624.37	c  S st  5431    806665     24153    104017         0     47571    316819   1479412    144.97   no data  --
2493.75/624.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2493.75/624.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2494.55/624.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
2494.96/624.66	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2494.96/624.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2494.96/624.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
2494.96/624.69	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2510.13/628.47	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time: 15.09 s
2510.13/628.49	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
2510.53/628.51	c vivif2 --  cl tried    47570 cl shrink        0 lits rem          0 time: 0.10
2510.93/628.69	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.71
2511.33/628.70	c calculated reachability. Time: 0.00
2511.33/628.70	c  N dy  5431    806665     24153    104017         0     47570    316819   1479364    144.97   no data  --
2543.70/636.86	c  N dy  5566    826783     24153    104017         0     67686    316819   6041210    144.98    163.92  --
2580.43/646.00	c  N dy  5696    846950     24153    104017         0     87853    316819  10683281    145.01    155.65  --
2613.19/654.29	c  N dy  5838    867058     24153    104017         0     63965    316819   5121894    145.11    154.01  --
2651.53/663.85	c  N dy  5973    887155     24153    104017         0     84062    316819   9687246    145.12    155.63  --
2687.89/672.99	c  N dy  6111    907244     24153    104017         0     59148    316819   3676832    145.16    154.40  --
2725.83/682.43	c  N dy  6252    927259     24153    104017         0     79160    316819   8236946    145.16    157.95  --
2764.17/692.04	c  N dy  6392    947323     24153    104017         0     53223    316819   2104542    145.18    154.90  --
2800.93/701.25	c  N dy  6531    967535     24153    104017         0     73435    316819   6772012    145.24    156.56  --
2841.68/711.46	c  N dy  6673    987752     24153    104017         0     93651    316819  11420996    145.29    153.29  --
2877.25/720.36	c  N dy  6813   1007760     24153    104017         0     66654    316819   5004874    145.33    157.66  --
2915.98/730.07	c  N dy  6949   1027774     24153    104017         0     86666    316819   9595052    145.34    164.10  --
2954.32/739.64	c  N dy  7078   1047811     24153    104017         0     58710    316819   2970743    145.35    160.87  --
2991.90/749.03	c  N dy  7215   1067912     24153    104017         0     78810    316819   7641918    145.38    153.88  --
2999.86/751.01	c  F st  7243   1071876     24153    104017         0     82774    316819   8539568    145.38    133.94  --
3033.01/759.34	c  N dy  7321   1088012     24153    104017         0     49915    316819    701247    145.39    158.49  --
3068.96/768.33	c  N dy  7459   1108014     24153    104017         0     69916    316819   5246649    145.42    156.43  --
3106.91/777.83	c  N dy  7590   1128084     24153    104017         0     89985    316819   9793281    145.42    153.51  --
3144.47/787.28	c  N dy  7724   1148237     24153    104017         0     60138    316819   2827053    145.42    154.72  --
3181.61/796.53	c  N dy  7864   1168421     24153    104017         0     80320    316819   7480140    145.46    164.95  --
3219.98/806.13	c  N dy  7996   1188497     24153    104017         0    100393    316819  12022445    145.42    154.39  --
3254.32/814.70	c  N dy  8136   1208654     24153    104017         0     69551    316819   4721350    145.44    154.11  --
3256.70/815.30	c  S st  8146   1209999     24153    104017         0     70896    316819   5024029    145.44   no data  --
3257.50/815.54	c  S st  8146   1210506     24153    104017         0     71403    316819   5113061    145.44   no data  --
3257.50/815.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3257.50/815.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3258.30/815.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.70
3259.52/816.07	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3259.52/816.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3259.52/816.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
3259.52/816.10	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
3517.15/880.51	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 256.90 s
3517.15/880.52	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.05
3517.55/880.60	c vivif2 --  cl tried    71398 cl shrink        0 lits rem          0 time: 0.32
3518.35/880.83	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.93
3518.35/880.84	c calculated reachability. Time: 0.00
3518.35/880.84	c  N dy  8146   1210506     24153    104017         0     71398    316819   5111530    145.44   no data  --
3555.10/890.00	c  N dy  8279   1230533     24153    104017         0     91423    316819   9712308    145.45    154.51  --
3592.24/899.30	c  N dy  8410   1250703     24153    104017         0     59595    316819   2207555    145.44    154.72  --
3626.60/907.97	c  N dy  8547   1270716     24153    104017         0     79607    316819   6819543    145.47    153.56  --
3665.74/917.72	c  N dy  8692   1290827     24153    104017         0     99717    316819  11481461    145.54    156.98  --
3701.29/926.63	c  N dy  8827   1310903     24153    104017         0     66796    316819   3703910    145.56    179.36  --
3737.24/935.64	c  N dy  8964   1331002     24153    104017         0     86894    316819   8402621    145.61    157.13  --
3777.19/945.61	c  N dy  9099   1351176     24153    104017         0    107068    316819  12951422    145.60    156.05  --
3811.53/954.26	c  N dy  9240   1371342     24153    104017         0     73234    316819   4935498    145.62    154.32  --
3848.71/963.59	c  N dy  9376   1391430     24153    104017         0     93321    316819   9527442    145.64    155.72  --
3888.25/973.45	c  N dy  9516   1411473     24153    104017         0     58372    316819   1314474    145.66    153.80  --
3923.00/982.18	c  N dy  9657   1431602     24153    104017         0     78501    316819   6013700    145.70    153.67  --
3960.52/991.60	c  N dy  9782   1451613     24153    104017         0     98511    316819  10519981    145.67    157.70  --
3998.86/1001.14	c  N dy  9910   1471633     24153    104017         0     62532    316819   1990527    145.66    158.32  --
4034.42/1010.01	c  N dy 10046   1491733     24153    104017         0     82631    316819   6524412    145.67    153.41  --
4075.56/1020.38	c  N dy 10175   1512087     24153    104017         0    102985    316819  11129001    145.65    154.94  --
4116.32/1030.54	c  N dy 10310   1532175     24153    104017         0     66072    316819   2575818    145.65    154.75  --
4154.25/1040.00	c  N dy 10445   1552184     24153    104017         0     86080    316819   7114565    145.63    153.88  --
4197.79/1050.92	c  N dy 10583   1572404     24153    104017         0    106297    316819  11706365    145.65    154.61  --
4239.36/1061.31	c  N dy 10709   1592518     24153    104017         0     68411    316819   2885349    145.64    156.25  --
4278.49/1071.16	c  N dy 10839   1612638     24153    104017         0     88529    316819   7501865    145.64    153.61  --
4322.02/1082.08	c  N dy 10974   1632757     24153    104017         0    108647    316819  12185101    145.67    161.12  --
4364.37/1092.62	c  N dy 11108   1653003     24153    104017         0     69897    316819   3048530    145.68    153.59  --
4404.71/1102.73	c  N dy 11237   1673132     24153    104017         0     90025    316819   7706066    145.68    155.12  --
4447.46/1113.42	c  N dy 11383   1693165     24153    104017         0    110057    316819  12303071    145.70    161.13  --
4483.41/1122.46	c  S st 11502   1710509     24153    104017         0     67404    316819   2257938    145.71   no data  --
4484.21/1122.69	c  S st 11502   1711010     24153    104017         0     67905    316819   2327296    145.71   no data  --
4484.61/1122.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4484.61/1122.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4485.01/1122.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.71
4485.83/1123.06	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4485.83/1123.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4485.83/1123.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24153 time:  0.04 s
4485.83/1123.09	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4514.56/1130.23	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 28.48 s
4514.56/1130.24	c vivif2 --  cl tried   104017 cl shrink        0 lits rem          0 time: 0.06
4514.56/1130.28	c vivif2 --  cl tried    67903 cl shrink        0 lits rem          0 time: 0.16
4515.77/1130.51	c asymm  cl-useful: 0/104017/104017 lits-rem:0 time: 0.91
4515.77/1130.52	c calculated reachability. Time: 0.00
4515.77/1130.52	c  N dy 11502   1711010     24153    104017         0     67903    316819   2326129    145.71   no data  --
4554.12/1140.12	c  N dy 11635   1731261     24153    104017         0     88152    316819   7095468    145.73    165.00  --
4596.06/1150.68	c  N dy 11776   1751365     24153    104017         0    108254    316819  11741801    145.77    155.66  --
4639.22/1161.41	c  N dy 11915   1771618     24153    104017         0     67506    316819   2055926    145.77    159.40  --
4676.75/1170.85	c  N dy 12043   1791650     24153    104017         0     87534    316819   6593273    145.77    164.67  --
4718.31/1181.22	c  N dy 12174   1811662     24153    104017         0    107545    316819  11189221    145.79    153.99  --
4761.83/1192.17	c  N dy 12311   1831777     24153    104017         0     65674    316819   1411544    145.80    155.04  --

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-3175038-1304079182/watcher-3175038-1304079182 -o /tmp/evaluation-result-3175038-1304079182/solver-3175038-1304079182 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175038-1304079182.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.54 8.05 7.97 7/184 8722
/proc/meminfo: memFree=24989116/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 519516454 52465664 352 33554432000 4194304 4650419 140737106975216 18446744073709551615 47168925554608 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 12809 352 303 112 0 7774 0
[pid=8722/tid=8723] ppid=8720 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519516454 52465664 352 33554432000 4194304 4650419 140737106975216 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519516454 52465664 352 33554432000 4194304 4650419 140737106975216 18446744073709551615 47168925554608 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519516454 52465664 352 33554432000 4194304 4650419 140737106975216 18446744073709551615 47168925554610 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0399901 s]
/proc/loadavg: 7.54 8.05 7.97 7/184 8722
/proc/meminfo: memFree=24989116/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=304820 CPUtime=0.17 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 14151 0 0 0 15 2 0 0 18 0 4 0 519516454 312135680 12083 33554432000 4194304 4650419 140737106975216 18446744073709551615 4514720 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 76438 14140 344 112 0 71403 0
[pid=8722/tid=8723] ppid=8720 vsize=306836 CPUtime=0.05 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) D 8720 8722 7180 0 -1 4202560 4133 0 0 0 5 0 0 0 18 0 4 0 519516454 314200064 14462 33554432000 4194304 4650419 140737106975216 18446744073709551615 246516531669 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=337920 CPUtime=0.16 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 5541 0 0 0 15 1 0 0 18 0 4 0 519516454 346030080 18662 33554432000 4194304 4650419 140737106975216 18446744073709551615 246516877447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=337920 CPUtime=0.15 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 4360 0 0 0 15 0 0 0 18 0 4 0 519516454 346030080 18240 33554432000 4194304 4650419 140737106975216 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 304820

[startup+0.232399 s]
/proc/loadavg: 7.54 8.05 7.97 7/184 8722
/proc/meminfo: memFree=24989116/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=324364 CPUtime=0.91 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 23136 0 0 0 86 5 0 0 18 0 4 0 519516454 332148736 19217 33554432000 4194304 4650419 140737106975216 18446744073709551615 246516495393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 81453 20105 377 112 0 76418 0
[pid=8722/tid=8723] ppid=8720 vsize=326340 CPUtime=0.24 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) D 8720 8722 7180 0 -1 4202560 6735 0 0 0 23 1 0 0 18 0 4 0 519516454 334172160 21259 33554432000 4194304 4650419 140737106975216 18446744073709551615 246516495045 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=328204 CPUtime=0.25 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 7224 0 0 0 24 1 0 0 18 0 4 0 519516454 336080896 22585 33554432000 4194304 4650419 140737106975216 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=331216 CPUtime=0.26 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 4453 0 0 0 26 0 0 0 18 0 4 0 519516454 339165184 23550 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 324364

[startup+1.25986 s]
/proc/loadavg: 7.54 8.05 7.97 7/184 8722
/proc/meminfo: memFree=24989116/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=339112 CPUtime=5 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 37230 0 0 0 492 8 0 0 19 0 4 0 519516454 347250688 30519 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 84778 30519 391 112 0 79743 0
[pid=8722/tid=8723] ppid=8720 vsize=339112 CPUtime=1.24 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 10156 0 0 0 123 1 0 0 19 0 4 0 519516454 347250688 30519 33554432000 4194304 4650419 140737106975216 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=339112 CPUtime=1.24 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 10805 0 0 0 122 2 0 0 19 0 4 0 519516454 347250688 30519 33554432000 4194304 4650419 140737106975216 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=339112 CPUtime=1.24 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 5191 0 0 0 123 1 0 0 19 0 4 0 519516454 347250688 30519 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 339112

[startup+1.35984 s]
/proc/loadavg: 7.54 8.05 7.97 7/184 8722
/proc/meminfo: memFree=24989116/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=339112 CPUtime=5.4 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 37540 0 0 0 532 8 0 0 19 0 4 0 519516454 347250688 30829 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 84778 30829 391 112 0 79743 0
[pid=8722/tid=8723] ppid=8720 vsize=339112 CPUtime=1.34 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 10234 0 0 0 133 1 0 0 19 0 4 0 519516454 347250688 30829 33554432000 4194304 4650419 140737106975216 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=339112 CPUtime=1.34 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 10890 0 0 0 132 2 0 0 19 0 4 0 519516454 347250688 30829 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=339112 CPUtime=1.34 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 5270 0 0 0 133 1 0 0 19 0 4 0 519516454 347250688 30829 33554432000 4194304 4650419 140737106975216 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 339112

[startup+1.55981 s]
/proc/loadavg: 7.54 8.05 7.97 7/184 8722
/proc/meminfo: memFree=24989116/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=339112 CPUtime=6.2 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 38179 0 0 0 612 8 0 0 20 0 4 0 519516454 347250688 31468 33554432000 4194304 4650419 140737106975216 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 84778 31468 391 112 0 79743 0
[pid=8722/tid=8723] ppid=8720 vsize=339112 CPUtime=1.53 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 10403 0 0 0 152 1 0 0 19 0 4 0 519516454 347250688 31468 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=339112 CPUtime=1.54 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 11068 0 0 0 152 2 0 0 19 0 4 0 519516454 347250688 31468 33554432000 4194304 4650419 140737106975216 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=339112 CPUtime=1.54 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 5421 0 0 0 153 1 0 0 20 0 4 0 519516454 347250688 31469 33554432000 4194304 4650419 140737106975216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 339112

[startup+3.10053 s]
/proc/loadavg: 7.74 8.08 7.98 9/188 8726
/proc/meminfo: memFree=24722044/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=371932 CPUtime=12.38 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 43258 0 0 0 1228 10 0 0 25 0 4 0 519516454 380858368 36547 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 92983 36547 391 112 0 87948 0
[pid=8722/tid=8723] ppid=8720 vsize=371932 CPUtime=3.07 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 11596 0 0 0 305 2 0 0 23 0 4 0 519516454 380858368 36549 33554432000 4194304 4650419 140737106975216 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=371932 CPUtime=3.08 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 12268 0 0 0 306 2 0 0 23 0 4 0 519516454 380858368 36549 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=371932 CPUtime=3.09 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 6948 0 0 0 308 1 0 0 25 0 4 0 519516454 380858368 36549 33554432000 4194304 4650419 140737106975216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 371932

[startup+6.30094 s]
/proc/loadavg: 7.76 8.08 7.98 9/188 8726
/proc/meminfo: memFree=24671700/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=478808 CPUtime=25.14 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 54380 0 0 0 2501 13 0 0 25 0 4 0 519516454 490299392 42661 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 119702 42661 393 112 0 114667 0
[pid=8722/tid=8723] ppid=8720 vsize=478808 CPUtime=6.26 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 13904 0 0 0 623 3 0 0 25 0 4 0 519516454 490299392 42661 33554432000 4194304 4650419 140737106975216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=478808 CPUtime=6.28 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 14575 0 0 0 625 3 0 0 25 0 4 0 519516454 490299392 42661 33554432000 4194304 4650419 140737106975216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=478808 CPUtime=6.28 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 11234 0 0 0 626 2 0 0 25 0 4 0 519516454 490299392 42661 33554432000 4194304 4650419 140737106975216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 478808

[startup+12.7008 s]
/proc/loadavg: 7.78 8.08 7.98 9/188 8727
/proc/meminfo: memFree=24570660/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=657128 CPUtime=50.7 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 98026 0 0 0 5048 22 0 0 25 0 4 0 519516454 672899072 70072 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 164282 70072 395 112 0 159247 0
[pid=8722/tid=8723] ppid=8720 vsize=657128 CPUtime=12.63 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 23246 0 0 0 1258 5 0 0 25 0 4 0 519516454 672899072 70072 33554432000 4194304 4650419 140737106975216 18446744073709551615 246516530844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=657128 CPUtime=12.68 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 20856 0 0 0 1264 4 0 0 25 0 4 0 519516454 672899072 70072 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364450 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=657128 CPUtime=12.69 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 15996 0 0 0 1265 4 0 0 25 0 4 0 519516454 672899072 70072 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 657128

[startup+25.5004 s]
/proc/loadavg: 7.81 8.08 7.98 9/188 8727
/proc/meminfo: memFree=24070948/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=760216 CPUtime=101.83 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 167868 0 0 0 10143 40 0 0 25 0 4 0 519516454 778461184 114689 33554432000 4194304 4650419 140737106975216 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 190054 114690 395 112 0 185019 0
[pid=8722/tid=8723] ppid=8720 vsize=760216 CPUtime=25.35 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 44632 0 0 0 2528 7 0 0 25 0 4 0 519516454 778461184 114690 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=760216 CPUtime=25.48 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 36850 0 0 0 2540 8 0 0 25 0 4 0 519516454 778461184 114690 33554432000 4194304 4650419 140737106975216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=760216 CPUtime=25.48 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 40405 0 0 0 2536 12 0 0 25 0 4 0 519516454 778461184 114690 33554432000 4194304 4650419 140737106975216 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 760216

[startup+51.1008 s]
/proc/loadavg: 7.89 8.07 7.98 9/188 8728
/proc/meminfo: memFree=23938740/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=817536 CPUtime=204.09 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 243580 0 0 0 20346 63 0 0 25 0 4 0 519516454 837156864 130382 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 204384 130382 395 112 0 199349 0
[pid=8722/tid=8723] ppid=8720 vsize=817536 CPUtime=50.82 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 54907 0 0 0 5071 11 0 0 25 0 4 0 519516454 837156864 130382 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=817536 CPUtime=51.07 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 63887 0 0 0 5093 14 0 0 25 0 4 0 519516454 837156864 130382 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=817536 CPUtime=51.08 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 57780 0 0 0 5089 19 0 0 25 0 4 0 519516454 837156864 130382 33554432000 4194304 4650419 140737106975216 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 817536

[startup+102.3 s]
/proc/loadavg: 8.07 8.09 7.99 9/188 8729
/proc/meminfo: memFree=23704352/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=927420 CPUtime=408.61 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 600952 0 0 0 40730 131 0 0 25 0 4 0 519516454 949678080 157567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4331879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 231855 157568 395 112 0 226820 0
[pid=8722/tid=8723] ppid=8720 vsize=927420 CPUtime=101.73 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 71592 0 0 0 10155 18 0 0 25 0 4 0 519516454 949678080 157568 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=927420 CPUtime=102.28 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 95984 0 0 0 10202 26 0 0 25 0 4 0 519516454 949678080 157568 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=927420 CPUtime=102.28 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 86356 0 0 0 10198 30 0 0 25 0 4 0 519516454 949678080 157568 33554432000 4194304 4650419 140737106975216 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 927420

[startup+162.3 s]

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

[pid=8722] ppid=8720 vsize=1441444 CPUtime=2805.32 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 3173562 0 0 0 279802 730 0 0 25 0 4 0 519516454 1476038656 265672 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 360361 265672 395 112 0 355326 0
[pid=8722/tid=8723] ppid=8720 vsize=1441444 CPUtime=698.46 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 276995 0 0 0 69744 102 0 0 25 0 4 0 519516454 1476038656 265672 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1441444 CPUtime=702.27 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 812081 0 0 0 70034 193 0 0 25 0 4 0 519516454 1476038656 265672 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1441444 CPUtime=702.27 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1002098 0 0 0 69997 230 0 0 25 0 4 0 519516454 1476038656 265672 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 1441444

[startup+762.301 s]
/proc/loadavg: 8.18 8.17 8.08 9/188 8747
/proc/meminfo: memFree=22802652/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1328284 CPUtime=3045 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 3572072 0 0 0 303698 802 0 0 25 0 4 0 519516454 1360162816 254702 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363541 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 332071 254702 395 112 0 327036 0
[pid=8722/tid=8723] ppid=8720 vsize=1328284 CPUtime=758.13 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 276995 0 0 0 75711 102 0 0 25 0 4 0 519516454 1360162816 254702 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1328284 CPUtime=762.28 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1156141 0 0 0 75991 237 0 0 25 0 4 0 519516454 1360162816 254702 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1328284 CPUtime=762.27 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1030512 0 0 0 75982 245 0 0 25 0 4 0 519516454 1360162816 254702 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1328284

[startup+822.301 s]
/proc/loadavg: 8.12 8.15 8.07 9/188 8748
/proc/meminfo: memFree=22760924/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1413844 CPUtime=3284.66 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 3695854 0 0 0 327625 841 0 0 25 0 4 0 519516454 1447776256 266210 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 353461 266210 395 112 0 348426 0
[pid=8722/tid=8723] ppid=8720 vsize=1413844 CPUtime=817.81 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 287038 0 0 0 81675 106 0 0 25 0 4 0 519516454 1447776256 266210 33554432000 4194304 4650419 140737106975216 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1413844 CPUtime=822.28 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1218702 0 0 0 81976 252 0 0 25 0 4 0 519516454 1447776256 266210 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1413844 CPUtime=822.27 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1053692 0 0 0 81972 255 0 0 25 0 4 0 519516454 1447776256 266210 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 1413844

[startup+882.301 s]
/proc/loadavg: 8.22 8.17 8.08 9/188 8750
/proc/meminfo: memFree=22661932/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1443544 CPUtime=3524.34 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 3776099 0 0 0 351555 879 0 0 25 0 4 0 519516454 1478189056 280108 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 360886 280108 395 112 0 355851 0
[pid=8722/tid=8723] ppid=8720 vsize=1443544 CPUtime=877.47 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 317464 0 0 0 87628 119 0 0 25 0 4 0 519516454 1478189056 280108 33554432000 4194304 4650419 140737106975216 18446744073709551615 4360943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1443544 CPUtime=882.28 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1243345 0 0 0 87964 264 0 0 25 0 4 0 519516454 1478189056 280108 33554432000 4194304 4650419 140737106975216 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1443544 CPUtime=882.26 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1078109 0 0 0 87959 267 0 0 25 0 4 0 519516454 1478189056 280108 33554432000 4194304 4650419 140737106975216 18446744073709551615 4333927 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 1443544

[startup+942.301 s]
/proc/loadavg: 8.18 8.16 8.09 9/188 8751
/proc/meminfo: memFree=22723396/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1388404 CPUtime=3764 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 3878613 0 0 0 375479 921 0 0 25 0 4 0 519516454 1421725696 270341 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 347101 270341 395 112 0 342066 0
[pid=8722/tid=8723] ppid=8720 vsize=1388404 CPUtime=937.14 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 340745 0 0 0 93585 129 0 0 25 0 4 0 519516454 1421725696 270341 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1388404 CPUtime=942.27 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1271088 0 0 0 93953 274 0 0 25 0 4 0 519516454 1421725696 270341 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1388404 CPUtime=942.26 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1100923 0 0 0 93949 277 0 0 25 0 4 0 519516454 1421725696 270341 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 1388404

[startup+1002.3 s]
/proc/loadavg: 8.20 8.18 8.10 9/188 8753
/proc/meminfo: memFree=22636180/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1316440 CPUtime=4003.65 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 3990670 0 0 0 399404 961 0 0 25 0 4 0 519516454 1348034560 266028 33554432000 4194304 4650419 140737106975216 18446744073709551615 4303936 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 329110 266028 395 112 0 324075 0
[pid=8722/tid=8723] ppid=8720 vsize=1316440 CPUtime=996.81 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 366987 0 0 0 99542 139 0 0 25 0 4 0 519516454 1348034560 266028 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1316440 CPUtime=1002.27 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1302809 0 0 0 99941 286 0 0 25 0 4 0 519516454 1348034560 266028 33554432000 4194304 4650419 140737106975216 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1316440 CPUtime=1002.26 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1128805 0 0 0 99940 286 0 0 25 0 4 0 519516454 1348034560 266028 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 1316440

[startup+1062.3 s]
/proc/loadavg: 8.22 8.19 8.10 9/188 8755
/proc/meminfo: memFree=22571052/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1454224 CPUtime=4243.34 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 4095108 0 0 0 423335 999 0 0 25 0 4 0 519516454 1489125376 288836 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 363556 288836 395 112 0 358521 0
[pid=8722/tid=8723] ppid=8720 vsize=1454224 CPUtime=1056.49 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 384266 0 0 0 105500 149 0 0 25 0 4 0 519516454 1489125376 288836 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1454224 CPUtime=1062.27 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1339317 0 0 0 105936 291 0 0 25 0 4 0 519516454 1489125376 288836 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1454224 CPUtime=1062.25 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1153753 0 0 0 105928 297 0 0 25 0 4 0 519516454 1489125376 288836 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 1454224

[startup+1122.3 s]
/proc/loadavg: 8.27 8.21 8.11 9/188 8756
/proc/meminfo: memFree=22510888/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1455280 CPUtime=4483.01 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 4169373 0 0 0 447269 1032 0 0 25 0 4 0 519516454 1490206720 303631 33554432000 4194304 4650419 140737106975216 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 363820 303631 395 112 0 358785 0
[pid=8722/tid=8723] ppid=8720 vsize=1455280 CPUtime=1116.16 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 392102 0 0 0 111464 152 0 0 25 0 4 0 519516454 1490206720 303631 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1455280 CPUtime=1122.27 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1356051 0 0 0 111933 294 0 0 25 0 4 0 519516454 1490206720 303631 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1455280 CPUtime=1122.26 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1177442 0 0 0 111915 311 0 0 25 0 4 0 519516454 1490206720 303631 33554432000 4194304 4650419 140737106975216 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1455280

[startup+1182.3 s]
/proc/loadavg: 8.14 8.18 8.10 9/188 8758
/proc/meminfo: memFree=22424676/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1514492 CPUtime=4722.71 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 4269179 0 0 0 471201 1070 0 0 25 0 4 0 519516454 1550839808 309022 33554432000 4194304 4650419 140737106975216 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 378623 309022 395 112 0 373588 0
[pid=8722/tid=8723] ppid=8720 vsize=1514492 CPUtime=1175.83 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 413802 0 0 0 117422 161 0 0 25 0 4 0 519516454 1550839808 309023 33554432000 4194304 4650419 140737106975216 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1514492 CPUtime=1182.28 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1383856 0 0 0 117930 298 0 0 25 0 4 0 519516454 1550839808 309023 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1514492 CPUtime=1182.26 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1202464 0 0 0 117903 323 0 0 25 0 4 0 519516454 1550839808 309023 33554432000 4194304 4650419 140737106975216 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1514492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.24 8.20 8.11 9/188 8758
/proc/meminfo: memFree=22305884/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1646236 CPUtime=4800.19 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 4338254 0 0 0 478930 1089 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4333974 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 411559 324567 395 112 0 406524 0
[pid=8722/tid=8723] ppid=8720 vsize=1646236 CPUtime=1195.13 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 419813 0 0 0 119349 164 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1646236 CPUtime=1201.68 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1390976 0 0 0 119868 300 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1646236 CPUtime=1201.66 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1252199 0 0 0 119831 335 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1646236

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

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

[startup+1201.7 s]
/proc/loadavg: 8.24 8.20 8.11 9/188 8758
/proc/meminfo: memFree=22305884/32951124 swapFree=67111352/67111528
[pid=8722] ppid=8720 vsize=1646236 CPUtime=4800.19 cores=1,3,5,7
/proc/8722/stat : 8722 (strangenight1-m) R 8720 8722 7180 0 -1 4202496 4338254 0 0 0 478930 1089 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4333974 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8722/statm: 411559 324567 395 112 0 406524 0
[pid=8722/tid=8723] ppid=8720 vsize=1646236 CPUtime=1195.13 cores=1,3,5,7
/proc/8722/task/8723/stat : 8723 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 419813 0 0 0 119349 164 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8722/tid=8724] ppid=8720 vsize=1646236 CPUtime=1201.68 cores=1,3,5,7
/proc/8722/task/8724/stat : 8724 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1390976 0 0 0 119868 300 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8722/tid=8725] ppid=8720 vsize=1646236 CPUtime=1201.66 cores=1,3,5,7
/proc/8722/task/8725/stat : 8725 (strangenight1-m) R 8720 8722 7180 0 -1 4202560 1252199 0 0 0 119831 335 0 0 25 0 4 0 519516454 1685745664 324567 33554432000 4194304 4650419 140737106975216 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1646236

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.28
CPU user time (s): 4789.33
CPU system time (s): 10.9513
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 1646236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.33
system time used= 10.9513
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4338255
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= 2558
involuntary context switches= 19960

runsolver used 1.84172 second user time and 4.72928 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 14:13:03
IDJOB=3175038
IDBENCH=82656
IDSOLVER=1588
FILE ID=node134/3175038-1304079182
RUNJOBID= node134-1304079182-8700
PBS_JOBID= 13170486
Free space on /tmp= 71576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175038-1304079182/watcher-3175038-1304079182 -o /tmp/evaluation-result-3175038-1304079182/solver-3175038-1304079182 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175038-1304079182.cnf

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

MD5SUM BENCH= 3d91d29f74f04e1ffeedae8425f55746
RANDOM SEED=1243539820

node134.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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24991380 kB
Buffers:       1485704 kB
Cached:        5853012 kB
SwapCached:         64 kB
Active:        1486416 kB
Inactive:      5951496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24991380 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           16704 kB
Writeback:           0 kB
AnonPages:       99452 kB
Mapped:          15428 kB
Slab:           459476 kB
PageTables:       4612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   303716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71568 MiB
End job on node134 at 2011-04-29 14:33:06