Trace number 3273874

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
ttsth 5-4UNSAT 4645.03 1182.54

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
MD5SUMca44a78076b8228fbb99ecc0147f157f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4645.03
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of clauses276
Sum of the clauses size828
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3276
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 Command: HOME/ttsth-5-4 -num-threads 4 HOME/instance-3273874-1304059146.cnf 
0.00/0.00	c Using SATTIMEOUT of 4800
0.00/0.00	c Using SATRAM of 15500
0.00/0.00	c Size of subset node = 32
0.00/0.00	c Variables = 133
0.00/0.00	c Clauses = 276
0.00/0.00	c Literals = 828
0.00/0.00	c Reduced size:
0.00/0.00	c Variables = 133
0.00/0.00	c Clauses = 276
0.00/0.00	c Literals = 828
0.00/0.00	c a2
0.00/0.00	c a1
0.69/0.76	c Independent sub-problems = 1
0.69/0.76	c Sub-problem with 133 variables and 276 clauses
0.69/0.76	c using permutation method 3
0.69/0.76	c Ordering finished 0.760 seconds
0.69/0.76	c mapped 0.760 seconds
0.69/0.76	c permuted 0.760 seconds
0.69/0.76	c about to sort
0.69/0.76	c sorted
0.69/0.76	c clauses now 276
0.69/0.76	c init finished 0.760 seconds
0.69/0.76	c tree built 0.760 seconds
0.69/0.76	c 
0.69/0.76	c PA progress                      | CPU progress Partial assignments | improvements                 ucps  CPU time       PA/sec  nodes
0.69/0.76	c ---------------------------------|----------------------------------|--------------------------------------------------------------------
0.69/0.76	c ................................ | ..........                    |                                  0.8         0.0             
0.69/0.76	c ................................ | ..........                  1 |                                  0.8         1.3             
0.69/0.76	c ................................ | ..........                  2 |                                  0.8         2.6             
0.69/0.76	c ................................ | ..........                  3 |                                  0.8         3.9             
0.69/0.76	c ................................ | ..........                  4 |                                  0.8         5.3             
0.69/0.76	c ................................ | ..........                  5 |                                  0.8         6.6             
0.69/0.77	c ................................ | ..........               1000 | 47           224                 0.8      1315.8         3491
95.64/24.89	c ................................ | ..........            3716000 | 705570       394230             96.0     38704.3      7026717
191.78/49.36	c ................................ | ..........            6184000 | 1226878      670858            192.0     32205.0      9644338
287.94/73.72	c ................................ | ..........            8273000 | 1672000      849509            288.0     28725.7     11985097
383.70/97.99	c ................................ | ..........            9506000 | 1951210      995602            384.0     24752.6     15818477
479.72/122.39	c ................................ | *.........           10988000 | 2279640      1106454           480.1     22887.4     16484853
575.90/146.82	c ................................ | *.........           12659000 | 2612773      1253811           576.0     21977.0     18606716
672.04/171.30	c ................................ | *.........           14124000 | 2903096      1390151           672.0     21016.3     19886946
768.00/195.71	c ................................ | *.........           15810000 | 3261728      1531639           768.0     20585.4     20841410
863.91/220.15	c ................................ | *.........           17162000 | 3552031      1647322           864.1     19860.0     20841410
959.95/244.53	c ................................ | **........           18730000 | 3878042      1761717           960.1     19508.8     20841410
1055.73/268.97	c ................................ | **........           19977000 | 4158770      1857132          1056.0     18917.3     21391832
1151.91/293.34	c ................................ | **........           21352000 | 4423683      1977504          1152.1     18533.1     21820035
1247.82/317.54	c ................................ | **........           22457000 | 4624789      2058010          1248.0     17994.2     21994366
1344.03/341.81	c ................................ | **........           23698000 | 4875357      2120550          1344.1     17631.3     22569856
1439.80/366.29	c ................................ | ***.......           25117000 | 5147551      2249113          1440.2     17440.4     23327452
1535.82/390.75	c ................................ | ***.......           26239000 | 5380480      2329300          1536.0     17082.3     23590665
1631.96/415.12	c ................................ | ***.......           27364000 | 5598396      2404695          1632.1     16766.5     23602615
1727.86/439.34	c ................................ | ***.......           28467000 | 5836139      2456255          1728.0     16473.6     24683666
1823.78/463.66	c ................................ | ***.......           29481000 | 6049981      2498915          1824.0     16162.6     25226121
1919.78/488.17	c ................................ | ****......           30878000 | 6322104      2576010          1920.1     16081.8     26097333
2016.08/513.10	c ................................ | ****......           32510000 | 6661704      2672233          2016.1     16125.3     27247127
2111.96/537.62	c ................................ | ****......           33919000 | 6945076      2752860          2112.0     16059.8     27430623
2208.01/562.11	c ................................ | ****......           35254000 | 7218891      2842391          2208.1     15966.1     27515118
2303.95/586.42	c ................................ | ****......           36143000 | 7423769      2887884          2304.0     15686.8     27517892
2396.85/610.19	c *............................... | ****......           37207056 | 7663120      2931905          2397.2     15520.9     27976409
2397.94/610.48	c ****............................ | ****......           37227942 | 7667225      2932628          2398.2     15523.0     27976409
2397.94/610.48	c ****............................ | ****......           37227943 | 7667225      2932628          2398.2     15523.0     27976409
2397.94/610.48	c ****............................ | ****......           37227944 | 7667225      2932628          2398.2     15523.0     27976409
2399.91/610.92	c ****............................ | *****.....           37252000 | 7672022      2934046          2400.0     15521.7     27976409
2495.66/635.69	c ****............................ | *****.....           38952000 | 8031658      3063354          2496.0     15605.5     28208334
2591.96/660.61	c ****............................ | *****.....           40744000 | 8412729      3254059          2592.0     15718.9     28261741
2687.98/685.01	c ****............................ | *****.....           41843000 | 8645071      3320216          2688.1     15566.3     28492698
2783.72/709.38	c ****............................ | *****.....           43217000 | 8945181      3407834          2784.1     15523.1     28818312
2879.77/733.86	c ****............................ | ******....           44583000 | 9224845      3499944          2880.0     15480.0     29204658
2975.74/758.67	c ****............................ | ******....           46374000 | 9618889      3629676          2976.0     15582.5     29881871
3071.85/783.34	c ****............................ | ******....           48120000 | 9986381      3765859          3072.0     15664.0     30562424
3167.82/807.84	c ****............................ | ******....           49470000 | 10284755     3866127          3168.0     15615.5     31024465
3263.85/832.15	c ****............................ | ******....           50357000 | 10473840     3915182          3264.1     15427.7     31158480
3359.89/856.55	c ****............................ | *******...           51405000 | 10691206     3971112          3360.1     15298.7     31394896
3455.88/881.05	c ****............................ | *******...           52586000 | 10938971     4050171          3456.1     15215.5     31703721
3551.70/905.29	c ****............................ | *******...           53387000 | 11104387     4089748          3552.1     15029.9     31837298
3647.92/929.43	c ****............................ | *******...           54199000 | 11276887     4120596          3648.1     14857.0     32074315
3743.87/953.63	c ****............................ | *******...           55164000 | 11477316     4160362          3744.0     14734.0     32263171
3840.02/978.02	c ****............................ | ********..           56403000 | 11748616     4207760          3840.1     14687.9     32786187
3935.80/1002.46	c ****............................ | ********..           57629000 | 12013254     4268776          3936.0     14641.4     33043854
4031.95/1027.01	c ****............................ | ********..           58918000 | 12287847     4349423          4032.0     14612.5     33369110
4127.81/1051.38	c ****............................ | ********..           60050000 | 12537274     4401826          4128.2     14546.4     33715060
4174.51/1063.17	c *****........................... | ********..           60505365 | 12633046     4420492          4174.8     14493.0     33715060
4224.05/1075.62	c *****........................... | ********..           60990000 | 12733422     4449920          4224.1     14438.4     33715060
4319.11/1099.66	c ********........................ | ********..           62152377 | 12979418     4512078          4319.4     14389.3     34242008
4319.11/1099.66	c ********........................ | ********..           62152378 | 12979418     4512078          4319.4     14389.3     34242008
4319.11/1099.66	c ********........................ | ********..           62152379 | 12979418     4512078          4319.4     14389.3     34242008
4319.11/1099.66	c ********........................ | ********..           62152380 | 12979418     4512078          4319.4     14389.3     34242008
4319.92/1099.83	c ********........................ | *********.           62161000 | 12980869     4512654          4320.0     14389.0     34242008
4415.69/1124.19	c ********........................ | *********.           63539000 | 13272075     4621482          4416.1     14388.2     34242008
4511.81/1148.55	c ********........................ | *********.           65306000 | 13670608     4793576          4512.0     14473.8     34292960
4607.98/1173.12	c ********........................ | *********.           67195000 | 14089356     4974958          4608.1     14582.0     34562977
4638.71/1180.99	c *********....................... | *********.           67627887 | 14187780     5004108          4639.1     14577.9     34630382
4644.66/1182.48	c Thread 3 result 0
4644.66/1182.48	c Thread 3 found (nil)
4644.66/1182.48	c Thread 1 result 0
4644.66/1182.48	c Partial assignments = 67747652, improvements = 14213195  ucps = 5013719 PA/sec = 14585.16, subset nodes = 34687100
4644.66/1182.48	s UNSATISFIABLE
4644.66/1182.48	c CPU time = 4644.97 seconds
4644.66/1182.48	c Elapsed time = 1182 seconds

Verifier Data 

No possible verification on an UNSAT instance

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-3273874-1304059146/watcher-3273874-1304059146 -o /tmp/evaluation-result-3273874-1304059146/solver-3273874-1304059146 -C 4800 -W 1300 -M 15500 HOME/ttsth-5-4 -num-threads 4 HOME/instance-3273874-1304059146.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: 6.55 7.75 7.92 1/172 28358
/proc/meminfo: memFree=14536112/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=8708 CPUtime=0 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) R 28356 28358 28330 0 -1 4202496 278 0 0 0 0 0 0 0 25 0 1 0 596145258 8916992 221 33554432000 4194304 4338100 140736251318576 18446744073709551615 4246539 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28358/statm: 2177 221 163 36 0 82 0

[startup+0.011641 s]
/proc/loadavg: 6.55 7.75 7.92 1/172 28358
/proc/meminfo: memFree=14536112/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=8708 CPUtime=0.01 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) R 28356 28358 28330 0 -1 4202496 278 0 0 0 1 0 0 0 25 0 1 0 596145258 8916992 221 33554432000 4194304 4338100 140736251318576 18446744073709551615 4245895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28358/statm: 2177 221 163 36 0 82 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8708

[startup+0.100625 s]
/proc/loadavg: 6.55 7.75 7.92 1/172 28358
/proc/meminfo: memFree=14536112/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=8708 CPUtime=0.09 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) R 28356 28358 28330 0 -1 4202496 278 0 0 0 9 0 0 0 25 0 1 0 596145258 8916992 221 33554432000 4194304 4338100 140736251318576 18446744073709551615 4290842 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28358/statm: 2177 221 163 36 0 82 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8708

[startup+0.300586 s]
/proc/loadavg: 6.55 7.75 7.92 1/172 28358
/proc/meminfo: memFree=14536112/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=8708 CPUtime=0.29 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) R 28356 28358 28330 0 -1 4202496 289 0 0 0 29 0 0 0 25 0 1 0 596145258 8916992 232 33554432000 4194304 4338100 140736251318576 18446744073709551615 4245933 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28358/statm: 2177 232 173 36 0 82 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8708

[startup+0.70052 s]
/proc/loadavg: 6.55 7.75 7.92 1/172 28358
/proc/meminfo: memFree=14536112/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=8708 CPUtime=0.69 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) R 28356 28358 28330 0 -1 4202496 291 0 0 0 69 0 0 0 25 0 1 0 596145258 8916992 234 33554432000 4194304 4338100 140736251318576 18446744073709551615 4246512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28358/statm: 2177 234 175 36 0 82 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8708

[startup+1.50033 s]
/proc/loadavg: 6.55 7.75 7.92 6/182 28373
/proc/meminfo: memFree=14524012/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=207624 CPUtime=3.63 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 5891 0 0 0 361 2 0 0 25 0 5 0 596145258 212606976 5834 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 51906 5834 197 36 0 49811 0
[pid=28358/tid=28370] ppid=28356 vsize=207624 CPUtime=0.71 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 1273 0 0 0 71 0 0 0 18 0 5 0 596145335 212606976 5834 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=207624 CPUtime=0.71 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 1279 0 0 0 71 0 0 0 18 0 5 0 596145335 212606976 5834 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254315 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=207624 CPUtime=0.72 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 371 0 0 0 72 0 0 0 19 0 5 0 596145335 212606976 5834 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254315 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=207624 CPUtime=0.69 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 2289 0 0 0 69 0 0 0 18 0 5 0 596145335 212606976 5834 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 207624

[startup+3.10105 s]
/proc/loadavg: 6.42 7.71 7.90 6/182 28373
/proc/meminfo: memFree=14498840/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=239772 CPUtime=9.92 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 14130 0 0 0 988 4 0 0 25 0 5 0 596145258 245526528 14065 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 59943 14065 197 36 0 57848 0
[pid=28358/tid=28370] ppid=28356 vsize=239772 CPUtime=2.27 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 3493 0 0 0 227 0 0 0 18 0 5 0 596145335 245526528 14065 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254357 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=239772 CPUtime=2.27 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 3230 0 0 0 227 0 0 0 18 0 5 0 596145335 245526528 14065 33554432000 4194304 4338100 140736251318576 18446744073709551615 218879960489 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=239772 CPUtime=2.32 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 794 0 0 0 231 1 0 0 19 0 5 0 596145335 245526528 14065 33554432000 4194304 4338100 140736251318576 18446744073709551615 4256104 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=239772 CPUtime=2.26 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 5934 0 0 0 225 1 0 0 18 0 5 0 596145335 245526528 14065 33554432000 4194304 4338100 140736251318576 18446744073709551615 4256145 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (KiB) 239772

[startup+6.30043 s]
/proc/loadavg: 6.42 7.71 7.90 9/186 28377
/proc/meminfo: memFree=14393924/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=284444 CPUtime=22.59 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 24089 0 0 0 2251 8 0 0 25 0 5 0 596145258 291270656 24024 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 71111 24024 198 36 0 69016 0
[pid=28358/tid=28370] ppid=28356 vsize=284444 CPUtime=5.41 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 5347 0 0 0 540 1 0 0 18 0 5 0 596145335 291270656 24024 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254342 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=284444 CPUtime=5.45 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 5102 0 0 0 544 1 0 0 25 0 5 0 596145335 291270656 24024 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=284444 CPUtime=5.49 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 1839 0 0 0 548 1 0 0 25 0 5 0 596145335 291270656 24024 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254254 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=284444 CPUtime=5.43 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 11122 0 0 0 540 3 0 0 23 0 5 0 596145335 291270656 24024 33554432000 4194304 4338100 140736251318576 18446744073709551615 4255858 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.59
Current children cumulated vsize (KiB) 284444

[startup+12.7003 s]
/proc/loadavg: 6.67 7.72 7.90 9/186 28377
/proc/meminfo: memFree=14268016/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=400412 CPUtime=47.98 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 37468 0 0 0 4783 15 0 0 25 0 5 0 596145258 410021888 37403 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 100103 37403 198 36 0 98008 0
[pid=28358/tid=28370] ppid=28356 vsize=400412 CPUtime=11.72 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 7480 0 0 0 1169 3 0 0 18 0 5 0 596145335 410021888 37403 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892379291 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=400412 CPUtime=11.81 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 7717 0 0 0 1179 2 0 0 25 0 5 0 596145335 410021888 37403 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=400412 CPUtime=11.85 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) S 28356 28358 28330 0 -1 4202560 2922 0 0 0 1182 3 0 0 25 0 5 0 596145335 410021888 37403 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892390772 0 0 4096 0 18446604453939407040 0 0 -1 0 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=400412 CPUtime=11.79 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) S 28356 28358 28330 0 -1 4202560 18670 0 0 0 1175 4 0 0 25 0 5 0 596145335 410021888 37403 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892390772 0 0 4096 0 18446604453939407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 47.98
Current children cumulated vsize (KiB) 400412

[startup+25.5011 s]
/proc/loadavg: 6.87 7.73 7.90 9/186 28377
/proc/meminfo: memFree=14090584/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=486276 CPUtime=98.38 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 58876 0 0 0 9809 29 0 0 25 0 5 0 596145258 497946624 58811 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 121569 58811 198 36 0 119474 0
[pid=28358/tid=28370] ppid=28356 vsize=486276 CPUtime=24.2 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 11604 0 0 0 2412 8 0 0 18 0 5 0 596145335 497946624 58811 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=486276 CPUtime=24.45 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 9949 0 0 0 2442 3 0 0 18 0 5 0 596145335 497946624 58811 33554432000 4194304 4338100 140736251318576 18446744073709551615 4284188 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=486276 CPUtime=24.45 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 5626 0 0 0 2438 7 0 0 25 0 5 0 596145335 497946624 58811 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254404 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=486276 CPUtime=24.48 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 31018 0 0 0 2439 9 0 0 20 0 5 0 596145335 497946624 58811 33554432000 4194304 4338100 140736251318576 18446744073709551615 4206896 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.38
Current children cumulated vsize (KiB) 486276

[startup+51.1006 s]
/proc/loadavg: 7.25 7.75 7.90 9/186 28378
/proc/meminfo: memFree=13873532/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=570876 CPUtime=198.84 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 80738 0 0 0 19818 66 0 0 25 0 5 0 596145258 584577024 80673 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 142719 80673 198 36 0 140624 0
[pid=28358/tid=28370] ppid=28356 vsize=570876 CPUtime=49.13 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 17138 0 0 0 4890 23 0 0 25 0 5 0 596145335 584577024 80673 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=570876 CPUtime=49.67 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 11990 0 0 0 4963 4 0 0 25 0 5 0 596145335 584577024 80673 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=570876 CPUtime=49.48 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 6533 0 0 0 4926 22 0 0 18 0 5 0 596145335 584577024 80673 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=570876 CPUtime=49.76 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 44398 0 0 0 4961 15 0 0 25 0 5 0 596145335 584577024 80673 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254384 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.84
Current children cumulated vsize (KiB) 570876

[startup+102.307 s]
/proc/loadavg: 7.70 7.79 7.91 9/186 28379
/proc/meminfo: memFree=13508836/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=768724 CPUtime=401.08 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 130701 0 0 0 39960 148 0 0 25 0 5 0 596145258 787173376 130636 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 192181 130636 198 36 0 190086 0
[pid=28358/tid=28370] ppid=28356 vsize=768724 CPUtime=99.49 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 25290 0 0 0 9889 60 0 0 25 0 5 0 596145335 787173376 130636 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=768724 CPUtime=100.4 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 18220 0 0 0 10033 7 0 0 25 0 5 0 596145335 787173376 130636 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254326 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=768724 CPUtime=99.74 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 10019 0 0 0 9920 54 0 0 25 0 5 0 596145335 787173376 130636 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=768724 CPUtime=100.64 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 76493 0 0 0 10040 24 0 0 25 0 5 0 596145335 787173376 130636 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254321 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 401.08
Current children cumulated vsize (KiB) 768724

[startup+162.3 s]
/proc/loadavg: 7.77 7.78 7.90 9/186 28381
/proc/meminfo: memFree=13249160/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=887252 CPUtime=636.62 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 158833 0 0 0 63425 237 0 0 25 0 5 0 596145258 908546048 158768 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 221813 158768 198 36 0 219718 0
[pid=28358/tid=28370] ppid=28356 vsize=887252 CPUtime=157.85 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 25762 0 0 0 15686 99 0 0 25 0 5 0 596145335 908546048 158768 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254321 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=887252 CPUtime=159.34 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 23900 0 0 0 15921 13 0 0 25 0 5 0 596145335 908546048 158768 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=887252 CPUtime=158.44 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 12275 0 0 0 15753 91 0 0 25 0 5 0 596145335 908546048 158768 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=887252 CPUtime=160.18 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 96217 0 0 0 15986 32 0 0 25 0 5 0 596145335 908546048 158768 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 636.62
Current children cumulated vsize (KiB) 887252


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

[pid=28358/tid=28373] ppid=28356 vsize=1227952 CPUtime=633.18 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) S 28356 28358 28330 0 -1 4202560 119618 0 0 0 63257 61 0 0 25 0 5 0 596145335 1257422848 240042 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892377862 0 0 4096 0 18446604453939407040 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2521.49
Current children cumulated vsize (KiB) 1227952

[startup+702.301 s]
/proc/loadavg: 8.00 7.94 7.91 9/186 28395
/proc/meminfo: memFree=12091300/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1257600 CPUtime=2756.23 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 247991 0 0 0 274830 793 0 0 25 0 5 0 596145258 1287782400 247926 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 314400 247926 198 36 0 312305 0
[pid=28358/tid=28370] ppid=28356 vsize=1257600 CPUtime=683.78 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 61285 0 0 0 68017 361 0 0 25 0 5 0 596145335 1287782400 247926 33554432000 4194304 4338100 140736251318576 18446744073709551615 218879960941 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1257600 CPUtime=691.69 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 50140 0 0 0 69121 48 0 0 18 0 5 0 596145335 1287782400 247926 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1257600 CPUtime=687.77 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 14928 0 0 0 68473 304 0 0 25 0 5 0 596145335 1287782400 247926 33554432000 4194304 4338100 140736251318576 18446744073709551615 218879960219 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1257600 CPUtime=692.2 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 120959 0 0 0 69142 78 0 0 25 0 5 0 596145335 1287782400 247926 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2756.23
Current children cumulated vsize (KiB) 1257600

[startup+762.307 s]
/proc/loadavg: 8.07 7.97 7.93 9/186 28397
/proc/meminfo: memFree=11979824/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1316128 CPUtime=2990.4 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 260453 0 0 0 298162 878 0 0 25 0 5 0 596145258 1347715072 260388 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 329032 260388 198 36 0 326937 0
[pid=28358/tid=28370] ppid=28356 vsize=1316128 CPUtime=741.52 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 70922 0 0 0 73756 396 0 0 25 0 5 0 596145335 1347715072 260388 33554432000 4194304 4338100 140736251318576 18446744073709551615 4235651 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1316128 CPUtime=750.66 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 50983 0 0 0 75010 56 0 0 17 0 5 0 596145335 1347715072 260388 33554432000 4194304 4338100 140736251318576 18446744073709551615 4235847 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1316128 CPUtime=746.22 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15003 0 0 0 74293 329 0 0 25 0 5 0 596145335 1347715072 260388 33554432000 4194304 4338100 140736251318576 18446744073709551615 4235651 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1316128 CPUtime=751.2 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 122866 0 0 0 75025 95 0 0 17 0 5 0 596145335 1347715072 260388 33554432000 4194304 4338100 140736251318576 18446744073709551615 4235674 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2990.4
Current children cumulated vsize (KiB) 1316128

[startup+822.3 s]
/proc/loadavg: 8.11 7.99 7.93 9/186 28399
/proc/meminfo: memFree=11918188/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1347792 CPUtime=3224.9 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 270554 0 0 0 321528 962 0 0 25 0 5 0 596145258 1380139008 270489 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 336948 270489 198 36 0 334853 0
[pid=28358/tid=28370] ppid=28356 vsize=1347792 CPUtime=799.38 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 79234 0 0 0 79512 426 0 0 25 0 5 0 596145335 1380139008 270489 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1347792 CPUtime=809.54 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 51526 0 0 0 80890 64 0 0 21 0 5 0 596145335 1380139008 270489 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254275 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1347792 CPUtime=804.86 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15111 0 0 0 80126 360 0 0 25 0 5 0 596145335 1380139008 270489 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1347792 CPUtime=810.33 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 124004 0 0 0 80923 110 0 0 25 0 5 0 596145335 1380139008 270489 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3224.9
Current children cumulated vsize (KiB) 1347792

[startup+882.301 s]
/proc/loadavg: 8.03 7.99 7.93 9/186 28400
/proc/meminfo: memFree=11848748/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1390552 CPUtime=3461.03 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 277240 0 0 0 345071 1032 0 0 25 0 5 0 596145258 1423925248 277175 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 347638 277175 198 36 0 345543 0
[pid=28358/tid=28370] ppid=28356 vsize=1390552 CPUtime=857.95 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 84784 0 0 0 85346 449 0 0 25 0 5 0 596145335 1423925248 277175 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1390552 CPUtime=868.9 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 51950 0 0 0 86814 76 0 0 25 0 5 0 596145335 1423925248 277175 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1390552 CPUtime=863.82 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15193 0 0 0 86006 376 0 0 18 0 5 0 596145335 1423925248 277175 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1390552 CPUtime=869.56 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 124634 0 0 0 86827 129 0 0 25 0 5 0 596145335 1423925248 277175 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3461.03
Current children cumulated vsize (KiB) 1390552

[startup+942.3 s]
/proc/loadavg: 8.08 8.01 7.94 9/186 28402
/proc/meminfo: memFree=11769508/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1403192 CPUtime=3699.03 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 280645 0 0 0 368821 1082 0 0 25 0 5 0 596145258 1436868608 280580 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 350798 280580 198 36 0 348703 0
[pid=28358/tid=28370] ppid=28356 vsize=1403192 CPUtime=917.38 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 87338 0 0 0 91274 464 0 0 25 0 5 0 596145335 1436868608 280580 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254337 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1403192 CPUtime=928.31 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 52374 0 0 0 92739 92 0 0 25 0 5 0 596145335 1436868608 280580 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892377806 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1403192 CPUtime=923.32 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15234 0 0 0 91953 379 0 0 19 0 5 0 596145335 1436868608 280580 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1403192 CPUtime=929.23 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 125020 0 0 0 92777 146 0 0 25 0 5 0 596145335 1436868608 280580 33554432000 4194304 4338100 140736251318576 18446744073709551615 4265557 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3699.03
Current children cumulated vsize (KiB) 1403192

[startup+1002.3 s]
/proc/loadavg: 7.92 7.97 7.93 9/186 28403
/proc/meminfo: memFree=11710356/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1431472 CPUtime=3935.4 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 288874 0 0 0 392388 1152 0 0 25 0 5 0 596145258 1465827328 288809 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 357868 288809 198 36 0 355773 0
[pid=28358/tid=28370] ppid=28356 vsize=1431472 CPUtime=976.17 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 94888 0 0 0 97134 483 0 0 25 0 5 0 596145335 1465827328 288809 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254321 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1431472 CPUtime=987.62 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 52702 0 0 0 98648 114 0 0 25 0 5 0 596145335 1465827328 288809 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1431472 CPUtime=982.47 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15261 0 0 0 97864 383 0 0 18 0 5 0 596145335 1465827328 288809 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1431472 CPUtime=988.34 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 125344 0 0 0 98664 170 0 0 25 0 5 0 596145335 1465827328 288809 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3935.4
Current children cumulated vsize (KiB) 1431472

[startup+1062.3 s]
/proc/loadavg: 8.03 7.99 7.93 9/186 28405
/proc/meminfo: memFree=11636944/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1453624 CPUtime=4171.35 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 296905 0 0 0 415914 1221 0 0 25 0 5 0 596145258 1488510976 296840 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 363406 296840 198 36 0 361311 0
[pid=28358/tid=28370] ppid=28356 vsize=1453624 CPUtime=1034.66 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 100244 0 0 0 102959 507 0 0 25 0 5 0 596145335 1488510976 296840 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1453624 CPUtime=1046.84 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 53994 0 0 0 104562 122 0 0 18 0 5 0 596145335 1488510976 296840 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1453624 CPUtime=1041.52 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15307 0 0 0 103747 405 0 0 25 0 5 0 596145335 1488510976 296840 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1453624 CPUtime=1047.54 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 126681 0 0 0 104568 186 0 0 25 0 5 0 596145335 1488510976 296840 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254429 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4171.35
Current children cumulated vsize (KiB) 1453624

[startup+1122.3 s]
/proc/loadavg: 7.91 7.96 7.92 9/186 28407
/proc/meminfo: memFree=11561924/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1510608 CPUtime=4408.51 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 305183 0 0 0 439534 1317 0 0 25 0 5 0 596145258 1546862592 305118 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 377652 305118 198 36 0 375557 0
[pid=28358/tid=28370] ppid=28356 vsize=1510608 CPUtime=1093.63 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 104498 0 0 0 108824 539 0 0 19 0 5 0 596145335 1546862592 305118 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1510608 CPUtime=1106.2 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 55728 0 0 0 110484 136 0 0 19 0 5 0 596145335 1546862592 305118 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1510608 CPUtime=1100.82 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15441 0 0 0 109648 434 0 0 25 0 5 0 596145335 1546862592 305118 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1510608 CPUtime=1107.06 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 128837 0 0 0 110500 206 0 0 18 0 5 0 596145335 1546862592 305118 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4408.51
Current children cumulated vsize (KiB) 1510608

[startup+1182.3 s]
/proc/loadavg: 8.08 7.99 7.93 9/186 28408
/proc/meminfo: memFree=11503016/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=1527016 CPUtime=4644.27 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) S 28356 28358 28330 0 -1 4202496 310429 0 0 0 462911 1516 0 0 25 0 5 0 596145258 1563664384 310364 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 381754 310364 198 36 0 379659 0
[pid=28358/tid=28370] ppid=28356 vsize=1527016 CPUtime=1152.21 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 108159 0 0 0 114626 595 0 0 23 0 5 0 596145335 1563664384 310364 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28358/tid=28371] ppid=28356 vsize=1527016 CPUtime=1165.24 cores=0,2,4,6
/proc/28358/task/28371/stat : 28371 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 56341 0 0 0 116346 178 0 0 25 0 5 0 596145335 1563664384 310364 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28358/tid=28372] ppid=28356 vsize=1527016 CPUtime=1159.88 cores=0,2,4,6
/proc/28358/task/28372/stat : 28372 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 15640 0 0 0 115509 479 0 0 18 0 5 0 596145335 1563664384 310364 33554432000 4194304 4338100 140736251318576 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28358/tid=28373] ppid=28356 vsize=1527016 CPUtime=1166.15 cores=0,2,4,6
/proc/28358/task/28373/stat : 28373 (ttsth-5-4) R 28356 28358 28330 0 -1 4202560 129610 0 0 0 116352 263 0 0 24 0 5 0 596145335 1563664384 310364 33554432000 4194304 4338100 140736251318576 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4644.27
Current children cumulated vsize (KiB) 1527016

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

[startup+1182.51 s]
/proc/loadavg: 8.07 7.99 7.93 9/186 28408
/proc/meminfo: memFree=11500288/32950928 swapFree=67111528/67111528
[pid=28358] ppid=28356 vsize=0 CPUtime=4644.99 cores=0,2,4,6
/proc/28358/stat : 28358 (ttsth-5-4) Z 28356 28358 28330 0 -1 4202524 310479 0 0 0 462981 1518 0 0 18 0 2 0 596145258 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/28358/statm: 0 0 0 0 0 0 0
[pid=28358/tid=28370] ppid=28356 vsize=0 CPUtime=1152.41 cores=0,2,4,6
/proc/28358/task/28370/stat : 28370 (ttsth-5-4) R 28356 28358 28330 0 -1 4202564 108186 0 0 0 114644 597 0 0 25 0 2 0 596145335 0 0 33554432000 0 0 0 0 0 256 0 4096 0 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4644.99
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1182.54
CPU time (s): 4645.03
CPU user time (s): 4629.81
CPU system time (s): 15.2217
CPU usage (%): 392.801
Max. virtual memory (cumulated for all children) (KiB): 1527016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4629.81
system time used= 15.2217
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310479
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= 95005
involuntary context switches= 22460

runsolver used 1.78473 second user time and 3.9434 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 08:39:06
IDJOB=3273874
IDBENCH=83148
IDSOLVER=1654
FILE ID=node112/3273874-1304059146
RUNJOBID= node112-1304059146-28348
PBS_JOBID= 13170443
Free space on /tmp= 72564 MiB

SOLVER NAME= ttsth 5-4
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n130-s30940966-unsat.cnf
COMMAND LINE= DIR/ttsth-5-4 -num-threads NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273874-1304059146/watcher-3273874-1304059146 -o /tmp/evaluation-result-3273874-1304059146/solver-3273874-1304059146 -C 4800 -W 1300 -M 15500  HOME/ttsth-5-4 -num-threads 4 HOME/instance-3273874-1304059146.cnf

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

MD5SUM BENCH= ca44a78076b8228fbb99ecc0147f157f
RANDOM SEED=179704831

node112.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.828
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.65
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.828
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.828
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.67
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.828
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.82
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.828
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	: 5261.27
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.828
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.82
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.828
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.828
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14536392 kB
Buffers:       1995144 kB
Cached:       15796780 kB
SwapCached:          0 kB
Active:        7097236 kB
Inactive:     10759508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14536392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1924 kB
Writeback:           0 kB
AnonPages:       64872 kB
Mapped:          14432 kB
Slab:           492752 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188008 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= 72564 MiB
End job on node112 at 2011-04-29 08:58:49