Trace number 3368508

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 1202.99

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf
MD5SUMeea50e836fd8ac6474349634450aaaf7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.8316
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.02	c Using 4 threads
0.00/0.02	c This is CryptoMiniSat 2.9.0
0.00/0.02	c compiled with gcc version 4.4.5
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3368508-1305394971.cnf'
0.00/0.02	c -- header says num vars:          25000
0.00/0.02	c -- header says num clauses:      105000
0.07/0.18	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.07/0.18	c -- vars added      25000
0.07/0.18	c Parsing time:  0.29 s
0.07/0.18	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.07/0.18	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.29
0.07/0.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.20
0.07/0.80	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.07/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.07/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.03 s
0.07/0.80	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.04 s
0.07/0.80	c lits-rem:         0  cl-subs:        0  v-elim:    711  v-fix:    0  time:  1.03 s
0.07/0.80	c Finding binary XORs  T:     0.02 s  found:       0
0.07/0.80	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
0.07/0.80	c calculated reachability. Time: 0.00
0.07/0.80	c Calc default polars -  time:   0.03 s pos:   11141 undec:    2831 neg:   11028
0.07/0.80	c =========================================================================================
0.07/0.80	c types(t): F = full restart, N = normal restart
0.07/0.80	c types(t): S = simplification begin/end, E = solution found
0.07/0.80	c restart types(rt): st = static, dy = dynamic
0.07/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.07/0.80	c  B st     0         0     24289    103880         0         0    315582         0   no data   no data  --
7.19/1.86	c  N dy    19      4161     24289    103880         0      4160    315582   1028930    143.16    150.85  --
11.93/3.05	c  N dy    49      8280     24289    103880         0      8279    315582   1944456    144.63    154.58  --
17.12/4.33	c  N dy    74     12530     24289    103880         0     12529    315582   2870980    142.89    152.30  --
22.31/5.61	c  N dy   102     16672     24289    103880         0     16671    315582   3802220    142.80    160.88  --
27.09/6.89	c  N dy   131     20715     24289    103880         0     10716    315582    741981    142.31    159.07  --
31.89/8.09	c  N dy   155     24753     24289    103880         0     14754    315582   1610400    141.50    150.31  --
32.29/8.17	c  F st   157     25000     24289    103880         0     15001    315582   1664621    141.46   no data  --
39.06/9.86	c  N dy   163     30001     24289    103880         0     20002    315582   3172016    141.46   no data  --
39.06/9.86	c  S st   163     30001     24289    103880         0     20002    315582   3172016    141.46   no data  --
39.86/10.03	c  S st   163     30503     24289    103880         0     20504    315582   3268290    141.46   no data  --
39.86/10.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
39.86/10.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.26/10.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.50
41.88/10.53	c bin-w-bin subsume rem            0 bins  time:  0.03 s
41.88/10.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
41.88/10.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24289 time:  0.03 s
41.88/10.56	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.04 s
70.20/17.65	c lits-rem:         0  cl-subs:     1973  v-elim:    160  v-fix:    0  time: 28.16 s
70.60/17.78	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.52
70.60/17.79	c calculated reachability. Time: 0.00
70.60/17.79	c  N dy   163     30503     24129    104040         0     18531    317043   2379839    141.46   no data  --
76.59/19.26	c  N dy   192     34578     24129    104040         0     22605    317043   3268118    141.82    149.54  --
82.57/20.79	c  N dy   222     38676     24129    104040         0     26702    317043   4189499    142.68    169.36  --
89.76/22.56	c  N dy   249     42785     24129    104040         0     30811    317043   5108476    142.59    151.04  --
94.14/23.62	c  S st   272     45755     24129    104040         0     18282    317043   1300695    143.20    147.10  --
94.56/23.78	c  S st   272     46258     24129    104040         0     18785    317043   1377407    143.20   no data  --
94.56/23.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
94.56/23.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.33/23.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.50
95.74/24.04	c bin-w-bin subsume rem            0 bins  time:  0.03 s
95.74/24.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
95.74/24.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.03 s
95.74/24.06	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
108.15/27.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.40 s
108.15/27.19	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
108.51/27.21	c vivif2 --  cl tried    18785 cl shrink        0 lits rem          0 time: 0.08
108.91/27.33	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.49
108.91/27.34	c calculated reachability. Time: 0.01
108.91/27.34	c  N dy   272     46258     24129    104040         0     18785    317043   1377407    143.20   no data  --
114.49/28.72	c  N dy   299     50321     24129    104040         0     22848    317043   2287295    143.10    162.12  --
120.48/30.21	c  N dy   327     54509     24129    104040         0     27036    317043   3208636    143.09    155.43  --
126.05/31.66	c  N dy   353     58517     24129    104040         0     31044    317043   4117097    143.13    152.31  --
132.05/33.17	c  N dy   382     62590     24129    104040         0     35117    317043   5019155    143.27    167.04  --
138.03/34.65	c  N dy   410     66751     24129    104040         0     20529    317043   1050947    143.46    154.54  --
141.63/35.53	c  S st   428     69390     24129    104040         0     23168    317043   1632442    143.47    110.49  --
142.43/35.70	c  S st   428     69894     24129    104040         0     23672    317043   1716397    143.47   no data  --
142.43/35.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
142.43/35.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.85/35.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.50
143.26/35.98	c bin-w-bin subsume rem            0 bins  time:  0.03 s
143.26/35.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
143.62/36.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
143.62/36.01	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
158.38/39.79	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.06 s
158.78/39.80	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
158.78/39.83	c vivif2 --  cl tried    23670 cl shrink        0 lits rem          0 time: 0.10
159.18/39.97	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.54
159.18/39.97	c calculated reachability. Time: 0.01
159.18/39.97	c  N dy   428     69894     24129    104040         0     23670    317043   1715720    143.47   no data  --
165.57/41.54	c  N dy   462     74436     24129    104040         0     28210    317043   2721211    143.46    155.63  --
172.35/43.21	c  N dy   494     79238     24129    104040         0     33012    317043   3812755    143.48    151.35  --
179.94/45.13	c  N dy   533     84421     24129    104040         0     38195    317043   5005888    143.78    151.35  --
184.32/46.29	c  F st   556     87501     24129    104040         0     41275    317043   5686171    143.84   no data  --
189.52/47.50	c  N st   561     90798     24129    104040         0     23704    317043   1427270    143.84   no data  --
197.09/49.49	c  N dy   588     96658     24129    104040         0     29564    317043   2856628    143.85    155.13  --
206.28/51.75	c  N dy   629    102998     24129    104040         0     35904    317043   4245219    143.78    152.43  --
209.11/52.45	c  S st   641    104843     24129    104040         0     37749    317043   4651184    143.78    149.59  --
209.86/52.65	c  S st   641    105349     24129    104040         0     38255    317043   4734405    143.78   no data  --
209.86/52.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
209.86/52.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.66/52.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.58
211.85/53.18	c bin-w-bin subsume rem            0 bins  time:  0.03 s
211.85/53.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
211.85/53.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
212.26/53.20	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
393.06/98.59	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 180.52 s
393.06/98.60	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
393.48/98.67	c vivif2 --  cl tried    38252 cl shrink        0 lits rem          0 time: 0.27
394.24/98.83	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.64
394.24/98.84	c calculated reachability. Time: 0.00
394.24/98.84	c  N dy   641    105349     24129    104040         0     38252    317043   4732870    143.78   no data  --
404.21/101.37	c  N dy   685    112093     24129    104040         0     22560    317043    628612    143.71    161.35  --
414.20/103.89	c  N dy   733    119434     24129    104040         0     29900    317043   2301543    143.71    155.66  --
425.76/106.71	c  N dy   789    127146     24129    104040         0     37612    317043   4050674    143.84    206.65  --
438.13/109.80	c  N dy   849    135273     24129    104040         0     45738    317043   5898812    143.99    151.57  --
450.13/112.90	c  N dy   907    143922     24129    104040         0     30667    317043   2163637    144.07    163.67  --
464.07/116.32	c  N dy   973    153161     24129    104040         0     39906    317043   4267275    144.16    152.74  --
471.26/118.17	c  S st  1009    158023     24129    104040         0     44766    317043   5391447    144.28    134.34  --
472.08/118.36	c  S st  1009    158525     24129    104040         0     45268    317043   5470434    144.28   no data  --
472.08/118.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
472.08/118.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.85/118.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.59
474.44/118.92	c bin-w-bin subsume rem            0 bins  time:  0.03 s
474.44/118.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
474.44/118.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
474.44/118.94	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
735.47/184.37	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 260.28 s
735.47/184.38	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
735.89/184.46	c vivif2 --  cl tried    45263 cl shrink        0 lits rem          0 time: 0.32
736.64/184.64	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.73
736.64/184.65	c calculated reachability. Time: 0.00
736.64/184.65	c  N dy  1009    158525     24129    104040         0     45263    317043   5468009    144.28   no data  --
752.21/188.57	c  N dy  1081    168701     24129    104040         0     30583    317043   1838131    144.45    158.98  --
768.98/192.70	c  N dy  1154    179481     24129    104040         0     41361    317043   4295474    144.43    153.92  --
787.33/197.39	c  N dy  1236    191064     24129    104040         0     27019    317043    760497    144.45    153.12  --
805.71/201.96	c  N dy  1324    203359     24129    104040         0     39312    317043   3537368    144.56    158.22  --
826.84/207.26	c  N dy  1416    216395     24129    104040         0     52348    317043   6509506    144.62    157.88  --
848.00/212.55	c  N dy  1512    230213     24129    104040         0     39202    317043   3251933    144.72    157.42  --
860.36/215.61	c  S st  1565    237787     24129    104040         0     46776    317043   4991418    144.71    106.11  --
861.16/215.83	c  S st  1565    238291     24129    104040         0     47280    317043   5072052    144.71   no data  --
861.16/215.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
861.16/215.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
861.96/216.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.62
863.20/216.34	c bin-w-bin subsume rem            0 bins  time:  0.03 s
863.20/216.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
863.20/216.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
863.20/216.37	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
1095.85/274.61	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 232.14 s
1095.85/274.63	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
1096.21/274.70	c vivif2 --  cl tried    47278 cl shrink        0 lits rem          0 time: 0.32
1096.61/274.90	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.76
1097.02/274.90	c calculated reachability. Time: 0.00
1097.02/274.90	c  N dy  1565    238291     24129    104040         0     47278    317043   5071848    144.71   no data  --
1120.56/280.81	c  N dy  1665    253535     24129    104040         0     34543    317043   1947772    144.61    154.26  --
1144.90/286.98	c  N dy  1772    269764     24129    104040         0     50768    317043   5648394    144.69    155.16  --
1171.24/293.55	c  N dy  1890    287036     24129    104040         0     39050    317043   2755253    144.80    155.19  --
1199.97/300.78	c  N dy  2012    305429     24129    104040         0     57442    317043   6938980    144.84    168.61  --
1201.56/301.11	c  F st  2018    306250     24129    104040         0     58263    317043   7112669    144.82    125.29  --
1230.70/308.49	c  N dy  2116    324944     24129    104040         0     46966    317043   4768304    144.99    167.35  --
1264.23/316.81	c  N dy  2254    345087     24129    104040         0     36106    317043   1580417    145.04    161.81  --
1283.37/321.68	c  S st  2335    357436     24129    104040         0     48455    317043   4404486    145.07    126.88  --
1284.20/321.90	c  S st  2335    357942     24129    104040         0     48961    317043   4486293    145.07   no data  --
1284.61/321.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1284.61/321.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1284.97/322.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.61
1286.17/322.37	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1286.17/322.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1286.17/322.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
1286.56/322.40	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
1445.81/362.37	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 158.88 s
1445.81/362.38	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
1446.21/362.45	c vivif2 --  cl tried    48957 cl shrink        0 lits rem          0 time: 0.28
1447.04/362.64	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.75
1447.04/362.65	c calculated reachability. Time: 0.00
1447.04/362.65	c  N dy  2335    357942     24129    104040         0     48957    317043   4485067    145.07   no data  --
1480.53/371.03	c  N dy  2475    377984     24129    104040         0     37002    317043   1599386    145.14    155.45  --
1513.64/379.31	c  N dy  2605    397987     24129    104040         0     57001    317043   6203013    145.17    156.86  --
1547.58/387.82	c  N dy  2739    418045     24129    104040         0     44063    317043   2988743    145.25    161.45  --
1582.30/396.57	c  N dy  2875    438047     24129    104040         0     64062    317043   7534276    145.30    160.09  --
1616.21/405.08	c  N dy  3017    458140     24129    104040         0     50158    317043   4132404    145.36    158.40  --
1652.53/414.19	c  N dy  3157    478175     24129    104040         0     35193    317043    503898    145.45    168.95  --
1686.05/422.53	c  N dy  3284    498184     24129    104040         0     55201    317043   5053688    145.43    154.64  --
1721.97/431.54	c  N dy  3409    518227     24129    104040         0     39244    317043   1184513    145.35    172.98  --
1753.49/439.41	c  S st  3543    536913     24129    104040         0     57928    317043   5411695    145.35   no data  --
1754.34/439.64	c  S st  3543    537414     24129    104040         0     58429    317043   5490629    145.35   no data  --
1754.34/439.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1754.34/439.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1755.09/439.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.65
1756.28/440.19	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1756.28/440.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1756.68/440.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
1756.68/440.22	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2037.64/510.67	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time: 280.64 s
2037.64/510.68	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
2038.04/510.76	c vivif2 --  cl tried    58424 cl shrink        0 lits rem          0 time: 0.33
2038.84/510.97	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.83
2038.84/510.98	c calculated reachability. Time: 0.00
2038.84/510.98	c  N dy  3543    537414     24129    104040         0     58424    317043   5488115    145.35   no data  --
2073.15/519.50	c  N dy  3675    557642     24129    104040         0     41656    317043   1533995    145.41    153.41  --
2104.69/527.47	c  N dy  3807    577732     24129    104040         0     61746    317043   6148774    145.44    156.27  --
2139.40/536.10	c  N dy  3946    598084     24129    104040         0     44094    317043   1862304    145.45    153.17  --
2171.37/544.19	c  N dy  4086    618101     24129    104040         0     64109    317043   6413594    145.50    173.72  --
2204.85/552.60	c  N dy  4210    638143     24129    104040         0     45160    317043   1821344    145.40    169.10  --
2238.37/560.91	c  N dy  4347    658365     24129    104040         0     65380    317043   6478136    145.40    154.88  --
2272.69/569.58	c  N dy  4488    678449     24129    104040         0     45462    317043   1711397    145.44    167.44  --
2305.42/577.74	c  N dy  4624    698500     24129    104040         0     65513    317043   6286402    145.45    162.06  --
2340.54/586.56	c  N dy  4761    718502     24129    104040         0     44518    317043   1264150    145.45    154.31  --
2372.88/594.64	c  N dy  4901    738569     24129    104040         0     64583    317043   5869377    145.50    154.47  --
2408.41/603.57	c  N dy  5033    758588     24129    104040         0     42604    317043    602525    145.47    157.02  --
2440.69/611.62	c  N dy  5171    778622     24129    104040         0     62638    317043   5213820    145.53    153.57  --
2475.81/620.46	c  N dy  5304    798631     24129    104040         0     82645    317043   9798664    145.54    158.11  --
2488.98/623.75	c  S st  5359    806121     24129    104040         0     47134    317043   1406950    145.56   no data  --
2489.78/623.96	c  S st  5359    806627     24129    104040         0     47640    317043   1497924    145.56   no data  --
2489.78/623.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2489.78/623.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2490.58/624.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.60
2490.98/624.25	c bin-w-bin subsume rem            0 bins  time:  0.03 s
2490.98/624.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2490.98/624.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.03 s
2490.98/624.28	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
2506.53/628.17	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 15.50 s
2506.53/628.18	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
2506.93/628.21	c vivif2 --  cl tried    47636 cl shrink        0 lits rem          0 time: 0.10
2507.33/628.38	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.71
2507.33/628.39	c calculated reachability. Time: 0.01
2507.33/628.39	c  N dy  5359    806627     24129    104040         0     47636    317043   1496625    145.56   no data  --
2540.10/636.56	c  N dy  5494    826707     24129    104040         0     67716    317043   6046317    145.56    168.50  --
2577.58/645.91	c  N dy  5631    846778     24129    104040         0     87787    317043  10641991    145.58    153.31  --
2611.49/654.40	c  N dy  5765    866785     24129    104040         0     63798    317043   4984118    145.62    171.02  --
2649.01/663.88	c  N dy  5908    886880     24129    104040         0     83892    317043   9572453    145.67    154.51  --
2685.71/673.06	c  N dy  6045    906933     24129    104040         0     58943    317043   3639381    145.69    156.00  --
2723.23/682.43	c  N dy  6184    926963     24129    104040         0     78972    317043   8178008    145.67    157.91  --
2761.54/692.08	c  N dy  6325    947041     24129    104040         0     53051    317043   2069627    145.71    165.76  --
2799.09/701.47	c  N dy  6458    967144     24129    104040         0     73153    317043   6681201    145.72    154.90  --
2839.77/711.65	c  N dy  6596    987331     24129    104040         0     93339    317043  11321112    145.76    158.01  --
2875.68/720.61	c  N dy  6744   1007409     24129    104040         0     66416    317043   4998329    145.84    155.13  --
2914.39/730.35	c  N dy  6875   1027519     24129    104040         0     86526    317043   9614893    145.84    156.60  --
2953.10/740.05	c  N dy  7014   1047697     24129    104040         0     58706    317043   2977414    145.86    162.14  --
2989.82/749.29	c  N dy  7150   1067710     24129    104040         0     78718    317043   7510151    145.86    167.48  --
2998.59/751.42	c  F st  7184   1071875     24129    104040         0     82882    317043   8547537    145.91   no data  --
3030.53/759.49	c  N dy  7260   1087766     24129    104040         0     49778    317043    676132    145.91    154.71  --
3066.46/768.50	c  N dy  7396   1107817     24129    104040         0     69826    317043   5295966    145.93    182.11  --
3104.75/778.05	c  N dy  7533   1127857     24129    104040         0     89865    317043   9935340    145.98    165.69  --
3141.08/787.18	c  N dy  7665   1147994     24129    104040         0     59999    317043   2793370    145.99    157.87  --
3176.62/796.03	c  N dy  7798   1168173     24129    104040         0     80177    317043   7397623    145.99    159.05  --
3214.88/805.63	c  N dy  7929   1188209     24129    104040         0    100211    317043  11983620    146.01    154.95  --
3249.20/814.24	c  N dy  8067   1208342     24129    104040         0     69350    317043   4718145    146.01    157.71  --
3251.99/814.92	c  S st  8079   1209940     24129    104040         0     70947    317043   5079368    146.01   no data  --
3252.79/815.15	c  S st  8079   1210441     24129    104040         0     71448    317043   5168873    146.01   no data  --
3252.79/815.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3252.79/815.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3253.59/815.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.68
3254.79/815.68	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3254.79/815.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3254.79/815.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
3254.79/815.70	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.04 s
3509.82/879.58	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 254.54 s
3509.82/879.60	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.05
3510.24/879.68	c vivif2 --  cl tried    71446 cl shrink        0 lits rem          0 time: 0.32
3511.40/879.91	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.93
3511.40/879.92	c calculated reachability. Time: 0.00
3511.40/879.92	c  N dy  8079   1210441     24129    104040         0     71446    317043   5167478    146.01   no data  --
3548.10/889.19	c  N dy  8219   1230482     24129    104040         0     91483    317043   9799369    146.07    173.44  --
3585.21/898.45	c  N dy  8354   1250557     24129    104040         0     59558    317043   2233609    146.10    154.07  --
3620.33/907.28	c  N dy  8485   1270717     24129    104040         0     79716    317043   6890670    146.11    159.19  --
3659.06/916.96	c  N dy  8617   1290863     24129    104040         0     99862    317043  11586247    146.12    154.85  --
3694.95/925.92	c  N dy  8752   1310901     24129    104040         0     66909    317043   3695548    146.12    160.03  --
3730.87/934.90	c  N dy  8883   1331072     24129    104040         0     87076    317043   8215312    146.08    156.61  --
3769.98/944.77	c  N dy  9017   1351085     24129    104040         0    107087    317043  12760955    146.08    195.42  --
3805.09/953.52	c  N dy  9157   1371392     24129    104040         0     73391    317043   4975982    146.10    158.13  --
3842.21/962.88	c  N dy  9304   1391469     24129    104040         0     93467    317043   9618726    146.15    199.93  --
3882.12/972.85	c  N dy  9439   1411517     24129    104040         0     58519    317043   1341405    146.16    154.16  --
3916.84/981.58	c  N dy  9577   1431588     24129    104040         0     78588    317043   6025657    146.19    163.23  --
3954.34/990.98	c  N dy  9702   1451663     24129    104040         0     98663    317043  10589620    146.16    154.73  --
3993.45/1000.78	c  N dy  9840   1471822     24129    104040         0     62823    317043   2048911    146.17    154.17  --
4029.36/1009.73	c  N dy  9970   1491840     24129    104040         0     82839    317043   6617539    146.15    158.90  --
4071.69/1020.36	c  N dy 10103   1511939     24129    104040         0    102935    317043  11224227    146.15    154.10  --
4112.76/1030.61	c  N dy 10232   1531999     24129    104040         0     66001    317043   2606009    146.14    155.27  --
4151.47/1040.30	c  N dy 10360   1552138     24129    104040         0     86138    317043   7103949    146.10    158.24  --
4194.18/1051.05	c  N dy 10499   1572146     24129    104040         0    106145    317043  11724057    146.11    156.02  --
4235.28/1061.37	c  N dy 10632   1592150     24129    104040         0     68153    317043   2811289    146.12    154.37  --
4274.79/1071.21	c  N dy 10757   1612186     24129    104040         0     88188    317043   7331073    146.10    158.02  --
4317.93/1082.08	c  N dy 10897   1632622     24129    104040         0    108620    317043  11992805    146.10    155.97  --
4358.58/1092.26	c  N dy 11031   1652789     24129    104040         0     69798    317043   2963845    146.10    157.50  --
4397.68/1102.06	c  N dy 11164   1672945     24129    104040         0     89954    317043   7614754    146.12    170.09  --
4440.41/1112.80	c  N dy 11309   1693031     24129    104040         0    110040    317043  12309237    146.18    154.43  --
4476.70/1121.87	c  S st 11433   1710442     24129    104040         0     67449    317043   2281948    146.20   no data  --
4477.89/1122.11	c  S st 11433   1710946     24129    104040         0     67953    317043   2375171    146.20   no data  --
4477.89/1122.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4477.89/1122.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4478.69/1122.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.68
4479.09/1122.48	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4479.09/1122.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4479.49/1122.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24129 time:  0.04 s
4479.49/1122.51	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.05 s
4509.02/1129.92	c lits-rem:        13  cl-subs:        0  v-elim:      0  v-fix:    0  time: 29.48 s
4509.02/1129.94	c vivif2 --  cl tried   104040 cl shrink        0 lits rem          0 time: 0.06
4509.02/1129.98	c vivif2 --  cl tried    67953 cl shrink        0 lits rem          0 time: 0.16
4510.23/1130.20	c asymm  cl-useful: 0/104040/104040 lits-rem:0 time: 0.90
4510.23/1130.21	c calculated reachability. Time: 0.00
4510.23/1130.21	c  N dy 11433   1710946     24129    104040         0     67953    317043   2375158    146.20   no data  --
4548.14/1139.73	c  N dy 11570   1731037     24129    104040         0     88044    317043   6955064    146.22    156.64  --
4589.66/1150.11	c  N dy 11703   1751147     24129    104040         0    108153    317043  11568394    146.22    154.04  --
4631.94/1160.70	c  N dy 11842   1771181     24129    104040         0     67185    317043   1987888    146.25    154.63  --
4670.25/1170.33	c  N dy 11981   1791199     24129    104040         0     87202    317043   6563812    146.26    201.82  --
4712.15/1180.87	c  N dy 12119   1811242     24129    104040         0    107243    317043  11145687    146.27    161.62  --
4756.05/1191.84	c  N dy 12255   1831244     24129    104040         0     65246    317043   1294752    146.28    159.44  --
4793.16/1201.11	c  N dy 12378   1851348     24129    104040         0     85350    317043   5889216    146.25    155.86  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.08 7.21 7.27 5/298 19808
/proc/meminfo: memFree=26980492/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 651095670 52465664 356 33554432000 4194304 4650419 140735279405728 18446744073709551615 210204647355 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 12809 356 306 112 0 7774 0
[pid=19808/tid=19809] ppid=19806 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651095670 52465664 356 33554432000 4194304 4650419 140735279405728 18446744073709551615 47742131344915 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651095670 52465664 356 33554432000 4194304 4650419 140735279405728 18446744073709551615 47742131345324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651095670 52465664 356 33554432000 4194304 4650419 140735279405728 18446744073709551615 47742131344921 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.027524 s]
/proc/loadavg: 7.08 7.21 7.27 5/298 19808
/proc/meminfo: memFree=26980492/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=266232 CPUtime=0.07 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) D 19806 19808 19034 0 -1 4202496 7647 0 0 0 6 1 0 0 18 0 4 0 651095670 272621568 6047 33554432000 4194304 4650419 140735279405728 18446744073709551615 4316340 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 66301 6049 341 112 0 61266 0
[pid=19808/tid=19809] ppid=19806 vsize=265204 CPUtime=0.02 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1826 0 0 0 2 0 0 0 25 0 4 0 651095670 271568896 5792 33554432000 4194304 4650419 140735279405728 18446744073709551615 210204690567 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=266228 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1976 0 0 0 0 0 0 0 18 0 4 0 651095670 272617472 6415 33554432000 4194304 4650419 140735279405728 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=267616 CPUtime=0.01 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) D 19806 19808 19034 0 -1 4202560 2248 0 0 0 1 0 0 0 18 0 4 0 651095670 274038784 6877 33554432000 4194304 4650419 140735279405728 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 266232

[startup+0.188182 s]
/proc/loadavg: 7.08 7.21 7.27 5/298 19808
/proc/meminfo: memFree=26980492/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=339556 CPUtime=3.2 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 36206 0 0 0 313 7 0 0 19 0 4 0 651095670 347705344 28748 33554432000 4194304 4650419 140735279405728 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 84889 28748 391 112 0 79854 0
[pid=19808/tid=19809] ppid=19806 vsize=339556 CPUtime=0.79 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 9910 0 0 0 78 1 0 0 18 0 4 0 651095670 347705344 28748 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=339556 CPUtime=0.78 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10188 0 0 0 77 1 0 0 18 0 4 0 651095670 347705344 28748 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=339556 CPUtime=0.79 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 4910 0 0 0 79 0 0 0 19 0 4 0 651095670 347705344 28748 33554432000 4194304 4650419 140735279405728 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 339556

[startup+0.911921 s]
/proc/loadavg: 7.08 7.21 7.27 5/298 19808
/proc/meminfo: memFree=26980492/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=339556 CPUtime=3.6 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 36559 0 0 0 353 7 0 0 19 0 4 0 651095670 347705344 29101 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 84889 29101 391 112 0 79854 0
[pid=19808/tid=19809] ppid=19806 vsize=339556 CPUtime=0.89 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10004 0 0 0 88 1 0 0 18 0 4 0 651095670 347705344 29101 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=339556 CPUtime=0.88 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10280 0 0 0 87 1 0 0 18 0 4 0 651095670 347705344 29102 33554432000 4194304 4650419 140735279405728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=339556 CPUtime=0.89 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 4990 0 0 0 89 0 0 0 19 0 4 0 651095670 347705344 29102 33554432000 4194304 4650419 140735279405728 18446744073709551615 4333862 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 339556

[startup+1.0119 s]
/proc/loadavg: 7.08 7.21 7.27 5/298 19808
/proc/meminfo: memFree=26980492/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=339556 CPUtime=4 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 36936 0 0 0 393 7 0 0 19 0 4 0 651095670 347705344 29478 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 84889 29478 391 112 0 79854 0
[pid=19808/tid=19809] ppid=19806 vsize=339556 CPUtime=0.99 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10115 0 0 0 98 1 0 0 18 0 4 0 651095670 347705344 29478 33554432000 4194304 4650419 140735279405728 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=339556 CPUtime=0.98 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10376 0 0 0 97 1 0 0 19 0 4 0 651095670 347705344 29478 33554432000 4194304 4650419 140735279405728 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=339556 CPUtime=0.99 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 5074 0 0 0 99 0 0 0 19 0 4 0 651095670 347705344 29478 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 339556

[startup+1.50082 s]
/proc/loadavg: 7.08 7.21 7.27 5/298 19808
/proc/meminfo: memFree=26980492/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=339556 CPUtime=5.95 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 38583 0 0 0 588 7 0 0 19 0 4 0 651095670 347705344 31125 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 84889 31125 391 112 0 79854 0
[pid=19808/tid=19809] ppid=19806 vsize=339556 CPUtime=1.49 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10525 0 0 0 147 2 0 0 19 0 4 0 651095670 347705344 31125 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=339556 CPUtime=1.46 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 10783 0 0 0 145 1 0 0 19 0 4 0 651095670 347705344 31125 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=339556 CPUtime=1.48 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 5450 0 0 0 147 1 0 0 20 0 4 0 651095670 347705344 31125 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 339556

[startup+3.10056 s]
/proc/loadavg: 7.08 7.21 7.27 9/302 19812
/proc/meminfo: memFree=26838476/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=372376 CPUtime=12.33 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 43830 0 0 0 1224 9 0 0 25 0 4 0 651095670 381313024 36372 33554432000 4194304 4650419 140735279405728 18446744073709551615 4310960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 93094 36372 391 112 0 88059 0
[pid=19808/tid=19809] ppid=19806 vsize=372376 CPUtime=3.09 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 11767 0 0 0 307 2 0 0 23 0 4 0 651095670 381313024 36372 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=372376 CPUtime=3.07 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 11980 0 0 0 305 2 0 0 25 0 4 0 651095670 381313024 36372 33554432000 4194304 4650419 140735279405728 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=372376 CPUtime=3.06 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 7030 0 0 0 305 1 0 0 25 0 4 0 651095670 381313024 36372 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 372376

[startup+6.30102 s]
/proc/loadavg: 7.16 7.23 7.27 9/302 19812
/proc/meminfo: memFree=26793100/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=479268 CPUtime=25.1 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 54995 0 0 0 2498 12 0 0 25 0 4 0 651095670 490770432 42481 33554432000 4194304 4650419 140735279405728 18446744073709551615 4331074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 119817 42481 393 112 0 114782 0
[pid=19808/tid=19809] ppid=19806 vsize=479268 CPUtime=6.28 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 14096 0 0 0 626 2 0 0 25 0 4 0 651095670 490770432 42481 33554432000 4194304 4650419 140735279405728 18446744073709551615 4368114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=479268 CPUtime=6.27 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 14257 0 0 0 624 3 0 0 25 0 4 0 651095670 490770432 42482 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=479268 CPUtime=6.23 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 11315 0 0 0 621 2 0 0 25 0 4 0 651095670 490770432 42483 33554432000 4194304 4650419 140735279405728 18446744073709551615 4330601 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 479268

[startup+12.701 s]
/proc/loadavg: 7.22 7.24 7.27 9/302 19812
/proc/meminfo: memFree=26603428/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=737380 CPUtime=50.67 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 117992 0 0 0 5041 26 0 0 25 0 4 0 651095670 755077120 89398 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 184345 89398 395 112 0 179310 0
[pid=19808/tid=19809] ppid=19806 vsize=737380 CPUtime=12.7 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 43196 0 0 0 1263 7 0 0 25 0 4 0 651095670 755077120 89399 33554432000 4194304 4650419 140735279405728 18446744073709551615 4468857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=737380 CPUtime=12.68 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 20487 0 0 0 1263 5 0 0 25 0 4 0 651095670 755077120 89399 33554432000 4194304 4650419 140735279405728 18446744073709551615 4333935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=737380 CPUtime=12.58 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 15870 0 0 0 1254 4 0 0 25 0 4 0 651095670 755077120 89399 33554432000 4194304 4650419 140735279405728 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 737380

[startup+25.5008 s]
/proc/loadavg: 7.39 7.28 7.28 9/302 19812
/proc/meminfo: memFree=26530004/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=760044 CPUtime=101.72 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 167541 0 0 0 10132 40 0 0 25 0 4 0 651095670 778285056 114128 33554432000 4194304 4650419 140735279405728 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 190011 114128 395 112 0 184976 0
[pid=19808/tid=19809] ppid=19806 vsize=760044 CPUtime=25.48 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 44594 0 0 0 2541 7 0 0 25 0 4 0 651095670 778285056 114128 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=760044 CPUtime=25.47 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 36462 0 0 0 2538 9 0 0 25 0 4 0 651095670 778285056 114128 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=760044 CPUtime=25.26 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 39959 0 0 0 2514 12 0 0 25 0 4 0 651095670 778285056 114128 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 760044

[startup+51.1006 s]
/proc/loadavg: 7.16 7.23 7.27 7/302 19813
/proc/meminfo: memFree=26530488/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=815704 CPUtime=203.88 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 244279 0 0 0 20325 63 0 0 25 0 4 0 651095670 835280896 131555 33554432000 4194304 4650419 140735279405728 18446744073709551615 4333600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 203926 131555 395 112 0 198891 0
[pid=19808/tid=19809] ppid=19806 vsize=815704 CPUtime=51.09 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 57705 0 0 0 5098 11 0 0 25 0 4 0 651095670 835280896 131555 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364573 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=815704 CPUtime=51.06 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 61563 0 0 0 5091 15 0 0 25 0 4 0 651095670 835280896 131555 33554432000 4194304 4650419 140735279405728 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=815704 CPUtime=50.62 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 57063 0 0 0 5044 18 0 0 25 0 4 0 651095670 835280896 131555 33554432000 4194304 4650419 140735279405728 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 815704

[startup+102.301 s]
/proc/loadavg: 7.25 7.22 7.26 9/302 19844
/proc/meminfo: memFree=26761044/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=811016 CPUtime=408.2 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 599711 0 0 0 40684 136 0 0 25 0 4 0 651095670 830480384 152624 33554432000 4194304 4650419 140735279405728 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 202754 152624 395 112 0 197719 0
[pid=19808/tid=19809] ppid=19806 vsize=811016 CPUtime=102.28 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 73112 0 0 0 10212 16 0 0 25 0 4 0 651095670 830480384 152624 33554432000 4194304 4650419 140735279405728 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=811016 CPUtime=102.26 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 93320 0 0 0 10201 25 0 0 25 0 4 0 651095670 830480384 152624 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=811016 CPUtime=101.34 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 85688 0 0 0 10107 27 0 0 25 0 4 0 651095670 830480384 152624 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 811016

[startup+162.301 s]

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

[pid=19808] ppid=19806 vsize=1361340 CPUtime=2563.2 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 2958314 0 0 0 255682 638 0 0 25 0 4 0 651095670 1394012160 263638 33554432000 4194304 4650419 140735279405728 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 340335 263638 395 112 0 335300 0
[pid=19808/tid=19809] ppid=19806 vsize=1361340 CPUtime=642.26 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 273619 0 0 0 64134 92 0 0 25 0 4 0 651095670 1394012160 263638 33554432000 4194304 4650419 140735279405728 18446744073709551615 4438668 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1361340 CPUtime=642.26 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 761062 0 0 0 64059 167 0 0 25 0 4 0 651095670 1394012160 263638 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1361340 CPUtime=636.4 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 846163 0 0 0 63459 181 0 0 25 0 4 0 651095670 1394012160 263638 33554432000 4194304 4650419 140735279405728 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.2
Current children cumulated vsize (KiB) 1361340

[startup+702.301 s]
/proc/loadavg: 8.13 7.98 7.64 9/302 19860
/proc/meminfo: memFree=25637336/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1442368 CPUtime=2802.65 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 3058367 0 0 0 279595 670 0 0 25 0 4 0 651095670 1476984832 268120 33554432000 4194304 4650419 140735279405728 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 360592 268120 395 112 0 355557 0
[pid=19808/tid=19809] ppid=19806 vsize=1442368 CPUtime=702.26 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 273619 0 0 0 70134 92 0 0 25 0 4 0 651095670 1476984832 268120 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1442368 CPUtime=702.25 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 819662 0 0 0 70043 182 0 0 25 0 4 0 651095670 1476984832 268120 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1442368 CPUtime=695.85 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 858220 0 0 0 69400 185 0 0 25 0 4 0 651095670 1476984832 268120 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.65
Current children cumulated vsize (KiB) 1442368

[startup+762.301 s]
/proc/loadavg: 8.21 8.03 7.67 9/302 19862
/proc/meminfo: memFree=25645616/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1386484 CPUtime=3042.1 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 3461651 0 0 0 303471 739 0 0 25 0 4 0 651095670 1419759616 274176 33554432000 4194304 4650419 140735279405728 18446744073709551615 4328305 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 346621 274176 395 112 0 341586 0
[pid=19808/tid=19809] ppid=19806 vsize=1386484 CPUtime=762.26 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 273619 0 0 0 76134 92 0 0 25 0 4 0 651095670 1419759616 274177 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1386484 CPUtime=762.26 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1163654 0 0 0 75998 228 0 0 25 0 4 0 651095670 1419759616 274177 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1386484 CPUtime=755.29 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 888484 0 0 0 75334 195 0 0 25 0 4 0 651095670 1419759616 274177 33554432000 4194304 4650419 140735279405728 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.1
Current children cumulated vsize (KiB) 1386484

[startup+822.301 s]
/proc/loadavg: 8.12 8.03 7.70 9/302 19863
/proc/meminfo: memFree=25548484/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1429828 CPUtime=3281.54 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 3596875 0 0 0 327374 780 0 0 25 0 4 0 651095670 1464143872 277388 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 357457 277388 395 112 0 352422 0
[pid=19808/tid=19809] ppid=19806 vsize=1429828 CPUtime=822.26 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 299431 0 0 0 82127 99 0 0 25 0 4 0 651095670 1464143872 277393 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1429828 CPUtime=822.26 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1220366 0 0 0 81985 241 0 0 25 0 4 0 651095670 1464143872 277393 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1429828 CPUtime=814.75 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 915860 0 0 0 81269 206 0 0 25 0 4 0 651095670 1464143872 277393 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.54
Current children cumulated vsize (KiB) 1429828

[startup+882.301 s]
/proc/loadavg: 8.15 8.05 7.73 9/302 19865
/proc/meminfo: memFree=25586652/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1372880 CPUtime=3520.96 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 3674873 0 0 0 351279 817 0 0 25 0 4 0 651095670 1405829120 271832 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363553 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 343220 271832 395 112 0 338185 0
[pid=19808/tid=19809] ppid=19806 vsize=1372880 CPUtime=882.25 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 323535 0 0 0 88114 111 0 0 25 0 4 0 651095670 1405829120 271832 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1372880 CPUtime=882.25 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1245006 0 0 0 87972 253 0 0 25 0 4 0 651095670 1405829120 271832 33554432000 4194304 4650419 140735279405728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1372880 CPUtime=874.19 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 943856 0 0 0 87201 218 0 0 25 0 4 0 651095670 1405829120 271832 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.96
Current children cumulated vsize (KiB) 1372880

[startup+942.312 s]
/proc/loadavg: 8.09 8.06 7.74 9/302 19866
/proc/meminfo: memFree=25513704/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1374232 CPUtime=3760.44 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 3783786 0 0 0 375184 860 0 0 25 0 4 0 651095670 1407213568 272608 33554432000 4194304 4650419 140735279405728 18446744073709551615 4331032 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 343558 272608 395 112 0 338523 0
[pid=19808/tid=19809] ppid=19806 vsize=1374232 CPUtime=942.25 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 347890 0 0 0 94105 120 0 0 25 0 4 0 651095670 1407213568 272608 33554432000 4194304 4650419 140735279405728 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1374232 CPUtime=942.25 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1272784 0 0 0 93961 264 0 0 25 0 4 0 651095670 1407213568 272608 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1374232 CPUtime=933.65 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 972092 0 0 0 93137 228 0 0 25 0 4 0 651095670 1407213568 272608 33554432000 4194304 4650419 140735279405728 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.44
Current children cumulated vsize (KiB) 1374232

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 7.77 9/302 19868
/proc/meminfo: memFree=25564748/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1390528 CPUtime=3999.83 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 3896061 0 0 0 399083 900 0 0 25 0 4 0 651095670 1423900672 276064 33554432000 4194304 4650419 140735279405728 18446744073709551615 4332995 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 347632 276064 395 112 0 342597 0
[pid=19808/tid=19809] ppid=19806 vsize=1390528 CPUtime=1002.23 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 371849 0 0 0 100093 130 0 0 25 0 4 0 651095670 1423900672 276064 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1390528 CPUtime=1002.24 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1304586 0 0 0 99949 275 0 0 25 0 4 0 651095670 1423900672 276064 33554432000 4194304 4650419 140735279405728 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1390528 CPUtime=993.09 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 999032 0 0 0 99071 238 0 0 25 0 4 0 651095670 1423900672 276064 33554432000 4194304 4650419 140735279405728 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.83
Current children cumulated vsize (KiB) 1390528

[startup+1062.3 s]
/proc/loadavg: 8.14 8.09 7.79 9/302 19870
/proc/meminfo: memFree=25340624/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1514956 CPUtime=4239.27 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 4267678 0 0 0 422956 971 0 0 25 0 4 0 651095670 1551314944 298433 33554432000 4194304 4650419 140735279405728 18446744073709551615 4419144 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 378739 298433 395 112 0 373704 0
[pid=19808/tid=19809] ppid=19806 vsize=1514956 CPUtime=1062.23 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 373977 0 0 0 106092 131 0 0 25 0 4 0 651095670 1551314944 298433 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1514956 CPUtime=1062.24 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1619715 0 0 0 105905 319 0 0 25 0 4 0 651095670 1551314944 298433 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1514956 CPUtime=1052.52 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1024021 0 0 0 105001 251 0 0 25 0 4 0 651095670 1551314944 298433 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.27
Current children cumulated vsize (KiB) 1514956

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 7.81 9/302 19880
/proc/meminfo: memFree=25383892/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1472240 CPUtime=4478.69 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 4681375 0 0 0 446818 1051 0 0 25 0 4 0 651095670 1507573760 297547 33554432000 4194304 4650419 140735279405728 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 368060 297547 395 112 0 363025 0
[pid=19808/tid=19809] ppid=19806 vsize=1472240 CPUtime=1122.23 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 393104 0 0 0 112082 141 0 0 25 0 4 0 651095670 1507573760 297547 33554432000 4194304 4650419 140735279405728 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1472240 CPUtime=1122.23 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1960080 0 0 0 111858 365 0 0 25 0 4 0 651095670 1507573760 297547 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1472240 CPUtime=1111.97 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1052759 0 0 0 110933 264 0 0 25 0 4 0 651095670 1507573760 297547 33554432000 4194304 4650419 140735279405728 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.69
Current children cumulated vsize (KiB) 1472240

[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 7.82 9/302 19882
/proc/meminfo: memFree=25280216/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1479568 CPUtime=4718.14 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 5123866 0 0 0 470686 1128 0 0 25 0 4 0 651095670 1515077632 304400 33554432000 4194304 4650419 140735279405728 18446744073709551615 4310809 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 369892 304400 395 112 0 364857 0
[pid=19808/tid=19809] ppid=19806 vsize=1479568 CPUtime=1182.23 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 417115 0 0 0 118072 151 0 0 25 0 4 0 651095670 1515077632 304400 33554432000 4194304 4650419 140735279405728 18446744073709551615 4314788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1479568 CPUtime=1182.24 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 2325716 0 0 0 117811 413 0 0 25 0 4 0 651095670 1515077632 304400 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1479568 CPUtime=1171.42 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1080975 0 0 0 116868 274 0 0 25 0 4 0 651095670 1515077632 304400 33554432000 4194304 4650419 140735279405728 18446744073709551615 4335216 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.14
Current children cumulated vsize (KiB) 1479568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.06 8.08 7.82 9/302 19883
/proc/meminfo: memFree=25243752/32951124 swapFree=63649232/67111528
[pid=19808] ppid=19806 vsize=1539196 CPUtime=4800.4 cores=0,2,4,6
/proc/19808/stat : 19808 (strangenight1-m) R 19806 19808 19034 0 -1 4202496 5282028 0 0 0 478886 1154 0 0 25 0 4 0 651095670 1576136704 295775 33554432000 4194304 4650419 140735279405728 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19808/statm: 384799 295775 395 112 0 379764 0
[pid=19808/tid=19809] ppid=19806 vsize=1539196 CPUtime=1202.85 cores=0,2,4,6
/proc/19808/task/19809/stat : 19809 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 423996 0 0 0 120132 153 0 0 25 0 4 0 651095670 1576136704 295780 33554432000 4194304 4650419 140735279405728 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19808/tid=19810] ppid=19806 vsize=1539196 CPUtime=1202.86 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 2460920 0 0 0 119857 429 0 0 25 0 4 0 651095670 1576136704 295780 33554432000 4194304 4650419 140735279405728 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19808/tid=19811] ppid=19806 vsize=1539196 CPUtime=1191.83 cores=0,2,4,6
/proc/19808/task/19811/stat : 19811 (strangenight1-m) R 19806 19808 19034 0 -1 4202560 1090119 0 0 0 118905 278 0 0 25 0 4 0 651095670 1576136704 295780 33554432000 4194304 4650419 140735279405728 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1539196

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.99
CPU time (s): 4800.5
CPU user time (s): 4788.9
CPU system time (s): 11.6022
CPU usage (%): 399.048
Max. virtual memory (cumulated for all children) (KiB): 1544968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.9
system time used= 11.6022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5282042
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= 2161
involuntary context switches= 20707

runsolver used 3.11153 second user time and 7.9208 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 19:42:52
IDJOB=3368508
IDBENCH=82517
IDSOLVER=1846
FILE ID=node130/3368508-1305394971
RUNJOBID= node130-1305394563-19743
PBS_JOBID= 13324426
Free space on /tmp= 73408 MiB

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

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

MD5SUM BENCH= eea50e836fd8ac6474349634450aaaf7
RANDOM SEED=875677062

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26980648 kB
Buffers:        248904 kB
Cached:        3603972 kB
SwapCached:      10248 kB
Active:        1905708 kB
Inactive:      3793096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26980648 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:            8196 kB
Writeback:           0 kB
AnonPages:     1843468 kB
Mapped:          13904 kB
Slab:           182188 kB
PageTables:      26964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52501420 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= 73412 MiB
End job on node130 at 2011-05-14 20:02:57