Trace number 3249636

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-4? 4800.1 1203.79

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x40.cnf
MD5SUM3a7a68cedc6ab84c0df9c27d166b0b6b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables960
Number of clauses48480
Sum of the clauses size191040
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21440
Number of clauses of size 30
Number of clauses of size 447040
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.05	c Command: HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249636-1304064673.cnf 
0.00/0.05	c Using SATTIMEOUT of 4800
0.00/0.05	c Using SATRAM of 15500
0.00/0.05	c Size of subset node = 32
0.00/0.05	c Variables = 960
0.00/0.05	c Clauses = 48480
0.00/0.05	c Literals = 191040
0.00/0.05	c Reduced size:
0.00/0.05	c Variables = 960
0.00/0.05	c Clauses = 48480
0.00/0.05	c Literals = 191040
0.00/0.05	c a2
0.09/0.14	c a1
0.19/0.29	c Independent sub-problems = 1
0.19/0.29	c Sub-problem with 960 variables and 48480 clauses
0.19/0.29	c using permutation method 4
0.19/0.29	c count = 1
0.19/0.29	c Ordering finished 0.270 seconds
0.19/0.29	c mapped 0.280 seconds
0.19/0.29	c permuted 0.280 seconds
0.19/0.29	c about to sort
0.29/0.30	c sorted
0.39/0.40	c clauses now 48480
0.39/0.40	c init finished 0.300 seconds
0.39/0.40	c tree built 0.390 seconds
0.39/0.40	c 
0.39/0.40	c PA progress                      | CPU progress Partial assignments | improvements                 ucps  CPU time       PA/sec  nodes
0.39/0.40	c ---------------------------------|----------------------------------|--------------------------------------------------------------------
0.39/0.40	c ................................ | ..........                    |                                  0.4         0.0             
0.39/0.40	c ................................ | ..........                  1 |                                  0.4         2.6             
0.39/0.40	c ................................ | ..........                  2 |                                  0.4         5.1             
0.39/0.40	c ................................ | ..........                  3 |                                  0.4         7.7             
0.39/0.40	c ................................ | ..........                  4 |                                  0.4        10.3             
0.39/0.40	c ................................ | ..........                  5 |                                  0.4        12.8             
0.39/0.40	c ................................ | ..........               1000 | 17           1443                0.4      2439.0         2376
96.00/24.41	c ................................ | ..........            2163000 | 156736       1431469            96.0     22519.5      5893162
191.96/48.52	c ................................ | ..........            3525000 | 319961       2357210           192.1     18354.6      9436907
287.96/72.60	c ................................ | ..........            5137000 | 428161       3075605           288.0     17836.8     13194029
383.94/96.72	c ................................ | ..........            6663000 | 513209       3676395           384.0     17350.2     16531613
479.99/120.83	c ................................ | *.........            7695000 | 596618       4129713           480.1     16026.6     19448461
575.68/144.88	c ................................ | *.........            8630000 | 701723       4476515           576.0     14982.4     21947779
671.78/168.96	c ................................ | *.........            9221000 | 752854       4805166           672.0     13721.5     24029622
767.90/193.04	c ................................ | *.........            9827000 | 808179       5131264           768.1     12794.4     25715887
863.98/217.17	c ................................ | *.........           10340000 | 856812       5405733           864.2     11964.1     26962849
960.03/241.22	c ................................ | **........           10738000 | 896170       5681283           960.1     11184.3     27901837
1056.12/265.32	c ................................ | **........           11199000 | 939074       5943302          1056.2     10602.9     28883196
1151.83/289.35	c ................................ | **........           11697000 | 982976       6222141          1152.1     10153.1     29586879
1247.96/313.45	c ................................ | **........           12144000 | 1023351      6471016          1248.2      9729.4     30417135
1343.68/337.49	c ................................ | **........           12606000 | 1060811      6701352          1344.0      9379.1     31034527
1439.79/361.55	c ................................ | ***.......           13126000 | 1102029      6942470          1440.0      9115.2     31866094
1535.91/385.63	c ................................ | ***.......           13659000 | 1144257      7165509          1536.0      8892.3     32390267
1631.69/409.68	c ................................ | ***.......           14042000 | 1176000      7325091          1632.0      8604.1     33137996
1727.84/433.76	c ................................ | ***.......           14429000 | 1208839      7484749          1728.1      8349.7     33530842
1823.99/457.80	c ................................ | ***.......           14961000 | 1249108      7672565          1824.0      8202.2     34165073
1919.75/481.88	c ................................ | ****......           15379000 | 1282906      7830249          1920.1      8009.6     34661372
2015.93/505.94	c ................................ | ****......           15848000 | 1317245      7988712          2016.1      7860.7     35147993
2112.12/530.02	c ................................ | ****......           16326000 | 1353584      8154826          2112.2      7729.3     35583750
2207.85/554.05	c ................................ | ****......           16733000 | 1387122      8314566          2208.1      7578.1     35930952
2304.01/578.12	c ................................ | ****......           17089000 | 1417412      8454397          2304.1      7416.8     36526977
2399.79/602.16	c ................................ | *****.....           17485000 | 1445379      8606107          2400.0      7285.3     37120284
2495.92/626.23	c ................................ | *****.....           17936000 | 1483467      8775458          2496.1      7185.8     37497097
2592.08/650.31	c ................................ | *****.....           18369000 | 1524665      8931843          2592.1      7086.5     38260881
2687.86/674.34	c ................................ | *****.....           18765000 | 1560373      9070911          2688.0      6980.9     38731261
2784.03/698.42	c ................................ | *****.....           19209000 | 1596908      9231806          2784.1      6899.5     39167928
2879.78/722.45	c ................................ | ******....           19501000 | 1624745      9364635          2880.0      6771.2     39689380
2975.93/746.59	c ................................ | ******....           19773000 | 1652779      9487722          2976.3      6643.5     39787084
3072.08/770.62	c ................................ | ******....           20058000 | 1678707      9631406          3072.2      6528.9     40115382
3167.84/794.70	c ................................ | ******....           20406000 | 1701179      9784085          3168.2      6440.8     40520737
3263.97/818.71	c ................................ | ******....           20800000 | 1734633      9922886          3264.0      6372.5     41069838
3360.13/842.80	c ................................ | *******...           21178000 | 1765332      10065570         3360.2      6302.7     41688785
3455.87/866.86	c ................................ | *******...           21556000 | 1795315      10203346         3456.1      6237.1     42301072
3552.40/891.04	c ................................ | *******...           21831000 | 1819996      10336951         3552.6      6145.1     42935040
3647.76/914.97	c ................................ | *******...           22112000 | 1846066      10467333         3648.1      6061.3     43630711
3743.91/939.07	c ................................ | *******...           22403000 | 1866845      10602484         3744.2      5983.4     44353877
3840.04/963.12	c ................................ | ********..           22732000 | 1891015      10752454         3840.2      5919.6     44972919
3935.82/987.17	c ................................ | ********..           23110000 | 1926325      10887807         3936.1      5871.3     45715106
4031.97/1011.23	c ................................ | ********..           23452000 | 1956614      11015231         4032.1      5816.3     46299899
4128.11/1035.31	c ................................ | ********..           23855000 | 1989040      11156444         4128.2      5778.6     47145208
4223.84/1059.39	c ................................ | ********..           24115000 | 2010972      11288123         4224.2      5708.7     47814985
4320.39/1083.50	c ................................ | *********.           24372000 | 2038183      11422601         4320.4      5641.1     48359729
4416.15/1107.53	c ................................ | *********.           24600000 | 2063951      11539353         4416.3      5570.3     49169478
4511.95/1131.56	c ................................ | *********.           24809000 | 2087330      11641621         4512.2      5498.2     50016161
4608.11/1155.67	c ................................ | *********.           25022000 | 2108521      11755002         4608.4      5429.6     50478080
4703.87/1179.63	c ................................ | *********.           25257000 | 2136096      11884077         4704.0      5369.3     50716434
4799.99/1203.70	c CPU limit (4800) reached
4799.99/1203.70	c Time = 4800.00 seconds
4799.99/1203.70	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3249636-1304064673/watcher-3249636-1304064673 -o /tmp/evaluation-result-3249636-1304064673/solver-3249636-1304064673 -C 4800 -W 1300 -M 15500 HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249636-1304064673.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: 3.76 5.06 6.61 4/176 11639
/proc/meminfo: memFree=15582300/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=9408 CPUtime=0 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) R 11635 11639 9766 0 -1 4202496 424 0 0 0 0 0 0 0 22 0 1 0 518067715 9633792 367 33554432000 4194304 4338100 140734182998208 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11639/statm: 2352 368 147 36 0 257 0

[startup+0.0799971 s]
/proc/loadavg: 3.76 5.06 6.61 4/176 11639
/proc/meminfo: memFree=15582300/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=22644 CPUtime=0.07 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) R 11635 11639 9766 0 -1 4202496 3700 0 0 0 7 0 0 0 22 0 1 0 518067715 23187456 3642 33554432000 4194304 4338100 140734182998208 18446744073709551615 4206993 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11639/statm: 5661 3642 153 36 0 3566 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22644

[startup+0.100979 s]
/proc/loadavg: 3.76 5.06 6.61 4/176 11639
/proc/meminfo: memFree=15582300/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=22644 CPUtime=0.09 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) R 11635 11639 9766 0 -1 4202496 3700 0 0 0 9 0 0 0 22 0 1 0 518067715 23187456 3642 33554432000 4194304 4338100 140734182998208 18446744073709551615 244446641609 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11639/statm: 5661 3642 153 36 0 3566 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22644

[startup+0.300904 s]
/proc/loadavg: 3.76 5.06 6.61 4/176 11639
/proc/meminfo: memFree=15582300/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=20160 CPUtime=0.29 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) R 11635 11639 9766 0 -1 4202496 3989 0 0 0 29 0 0 0 23 0 1 0 518067715 20643840 3075 33554432000 4194304 4338100 140734182998208 18446744073709551615 244446603455 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11639/statm: 5040 3075 161 36 0 2945 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20160

[startup+1.16769 s]
/proc/loadavg: 3.76 5.06 6.61 4/176 11639
/proc/meminfo: memFree=15582300/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=225332 CPUtime=3.45 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 12256 0 0 0 342 3 0 0 24 0 5 0 518067715 230739968 11247 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 56333 11247 176 36 0 54238 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 225332

[startup+1.50062 s]
/proc/loadavg: 3.76 5.06 6.61 10/186 11649
/proc/meminfo: memFree=15461584/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=231984 CPUtime=4.8 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 13517 0 0 0 476 4 0 0 24 0 5 0 518067715 237551616 12508 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 57996 12508 176 36 0 55901 0
[pid=11639/tid=11646] ppid=11635 vsize=231984 CPUtime=1.09 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 2344 0 0 0 109 0 0 0 25 0 5 0 518067755 237551616 12508 33554432000 4194304 4338100 140734182998208 18446744073709551615 244446340538 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=231984 CPUtime=1.1 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 1154 0 0 0 109 1 0 0 18 0 5 0 518067755 237551616 12508 33554432000 4194304 4338100 140734182998208 18446744073709551615 4256403 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=231984 CPUtime=1.1 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 690 0 0 0 110 0 0 0 19 0 5 0 518067755 237551616 12508 33554432000 4194304 4338100 140734182998208 18446744073709551615 4284177 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=231984 CPUtime=1.08 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 648 0 0 0 108 0 0 0 19 0 5 0 518067755 237551616 12508 33554432000 4194304 4338100 140734182998208 18446744073709551615 4206915 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 231984

[startup+3.10033 s]
/proc/loadavg: 3.76 5.06 6.61 10/186 11649
/proc/meminfo: memFree=15408996/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=252072 CPUtime=11.16 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 19504 0 0 0 1110 6 0 0 24 0 5 0 518067715 258121728 18495 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 63018 18495 176 36 0 60923 0
[pid=11639/tid=11646] ppid=11635 vsize=252072 CPUtime=2.68 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 5315 0 0 0 268 0 0 0 25 0 5 0 518067755 258121728 18495 33554432000 4194304 4338100 140734182998208 18446744073709551615 4206896 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=252072 CPUtime=2.68 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 2088 0 0 0 267 1 0 0 18 0 5 0 518067755 258121728 18495 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=252072 CPUtime=2.68 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 1792 0 0 0 268 0 0 0 23 0 5 0 518067755 258121728 18495 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=252072 CPUtime=2.67 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 1628 0 0 0 266 1 0 0 20 0 5 0 518067755 258121728 18495 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254433 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 252072

[startup+6.30073 s]
/proc/loadavg: 4.10 5.11 6.62 10/186 11649
/proc/meminfo: memFree=15301872/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=350604 CPUtime=23.9 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 29152 0 0 0 2373 17 0 0 24 0 5 0 518067715 359018496 28143 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 87651 28143 176 36 0 85556 0
[pid=11639/tid=11646] ppid=11635 vsize=350604 CPUtime=5.89 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 10872 0 0 0 587 2 0 0 25 0 5 0 518067755 359018496 28143 33554432000 4194304 4338100 140734182998208 18446744073709551615 244446603005 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=350604 CPUtime=5.86 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 3499 0 0 0 581 5 0 0 18 0 5 0 518067755 359018496 28143 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=350604 CPUtime=5.88 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 3078 0 0 0 586 2 0 0 25 0 5 0 518067755 359018496 28143 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=350604 CPUtime=5.84 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 3022 0 0 0 579 5 0 0 18 0 5 0 518067755 359018496 28143 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254433 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.9
Current children cumulated vsize (KiB) 350604

[startup+12.7005 s]
/proc/loadavg: 4.42 5.16 6.63 10/186 11650
/proc/meminfo: memFree=15151240/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=403924 CPUtime=49.39 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 42227 0 0 0 4895 44 0 0 24 0 5 0 518067715 413618176 41218 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 100981 41218 176 36 0 98886 0
[pid=11639/tid=11646] ppid=11635 vsize=403924 CPUtime=12.28 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 19237 0 0 0 1224 4 0 0 25 0 5 0 518067755 413618176 41218 33554432000 4194304 4338100 140734182998208 18446744073709551615 244446340542 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=403924 CPUtime=12.23 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 5113 0 0 0 1209 14 0 0 18 0 5 0 518067755 413618176 41218 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458757838 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=403924 CPUtime=12.28 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 4655 0 0 0 1219 9 0 0 25 0 5 0 518067755 413618176 41218 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=403924 CPUtime=12.16 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 4541 0 0 0 1202 14 0 0 18 0 5 0 518067755 413618176 41218 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254404 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.39
Current children cumulated vsize (KiB) 403924

[startup+25.5011 s]
/proc/loadavg: 5.21 5.29 6.65 10/186 11650
/proc/meminfo: memFree=14851892/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=476572 CPUtime=100.39 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 62715 0 0 0 9945 94 0 0 24 0 5 0 518067715 488009728 61706 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 119143 61706 176 36 0 117048 0
[pid=11639/tid=11646] ppid=11635 vsize=476572 CPUtime=25.09 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 31262 0 0 0 2501 8 0 0 25 0 5 0 518067755 488009728 61706 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=476572 CPUtime=24.96 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) S 11635 11639 9766 0 -1 4202560 7760 0 0 0 2464 32 0 0 18 0 5 0 518067755 488009728 61706 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458770804 0 0 4096 0 18446604446307308480 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=476572 CPUtime=25.07 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) S 11635 11639 9766 0 -1 4202560 7701 0 0 0 2488 19 0 0 25 0 5 0 518067755 488009728 61706 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458770804 0 0 4096 0 18446604446307308480 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=476572 CPUtime=24.84 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 7311 0 0 0 2452 32 0 0 18 0 5 0 518067755 488009728 61706 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458757838 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.39
Current children cumulated vsize (KiB) 476572

[startup+51.1063 s]
/proc/loadavg: 6.16 5.51 6.68 10/186 11650
/proc/meminfo: memFree=14321164/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=607084 CPUtime=202.34 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 97482 0 0 0 20047 187 0 0 24 0 5 0 518067715 621654016 96473 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 151771 96473 176 36 0 149676 0
[pid=11639/tid=11646] ppid=11635 vsize=607084 CPUtime=50.69 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 55655 0 0 0 5055 14 0 0 25 0 5 0 518067755 621654016 96473 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254439 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=607084 CPUtime=50.4 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 10387 0 0 0 4976 64 0 0 18 0 5 0 518067755 621654016 96473 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=607084 CPUtime=50.67 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 11079 0 0 0 5026 41 0 0 25 0 5 0 518067755 621654016 96473 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=607084 CPUtime=50.14 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 11680 0 0 0 4950 64 0 0 18 0 5 0 518067755 621654016 96473 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.34
Current children cumulated vsize (KiB) 607084

[startup+102.301 s]
/proc/loadavg: 7.24 5.91 6.75 10/186 11652
/proc/meminfo: memFree=13630708/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=847136 CPUtime=406.25 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 162443 0 0 0 40242 383 0 0 24 0 5 0 518067715 867467264 161434 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 211784 161434 176 36 0 209689 0
[pid=11639/tid=11646] ppid=11635 vsize=847136 CPUtime=101.88 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 95885 0 0 0 10160 28 0 0 25 0 5 0 518067755 867467264 161434 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254384 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=847136 CPUtime=101.2 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 18329 0 0 0 9986 134 0 0 23 0 5 0 518067755 867467264 161434 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=847136 CPUtime=101.82 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 19313 0 0 0 10096 86 0 0 18 0 5 0 518067755 867467264 161434 33554432000 4194304 4338100 140734182998208 18446744073709551615 4206896 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=847136 CPUtime=100.92 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 20235 0 0 0 9960 132 0 0 18 0 5 0 518067755 867467264 161434 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.25
Current children cumulated vsize (KiB) 847136

[startup+162.301 s]
/proc/loadavg: 7.79 6.31 6.84 10/186 11654
/proc/meminfo: memFree=13017132/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1056132 CPUtime=645.47 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 216325 0 0 0 63988 559 0 0 24 0 5 0 518067715 1081479168 215316 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 264033 215316 176 36 0 261938 0
[pid=11639/tid=11646] ppid=11635 vsize=1056132 CPUtime=161.89 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 132425 0 0 0 16148 41 0 0 25 0 5 0 518067755 1081479168 215316 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1056132 CPUtime=161.18 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 23487 0 0 0 15943 175 0 0 25 0 5 0 518067755 1081479168 215316 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1056132 CPUtime=161.28 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 25456 0 0 0 15981 147 0 0 19 0 5 0 518067755 1081479168 215316 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254437 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1056132 CPUtime=160.68 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 26276 0 0 0 15875 193 0 0 18 0 5 0 518067755 1081479168 215316 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 645.47
Current children cumulated vsize (KiB) 1056132


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

/proc/loadavg: 8.16 8.08 7.66 9/186 11679
/proc/meminfo: memFree=8022276/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1943404 CPUtime=4475.22 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 461797 0 0 0 445062 2460 0 0 24 0 5 0 518067715 1990045696 460788 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 485851 460788 176 36 0 483756 0
[pid=11639/tid=11646] ppid=11635 vsize=1943404 CPUtime=1121.92 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 324703 0 0 0 112071 121 0 0 25 0 5 0 518067755 1990045696 460788 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1943404 CPUtime=1117.12 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 42257 0 0 0 110886 826 0 0 18 0 5 0 518067755 1990045696 460788 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1943404 CPUtime=1117.85 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39460 0 0 0 111069 716 0 0 25 0 5 0 518067755 1990045696 460788 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1943404 CPUtime=1117.91 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 46696 0 0 0 110996 795 0 0 20 0 5 0 518067755 1990045696 460788 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.22
Current children cumulated vsize (KiB) 1943404

[startup+1182.3 s]
/proc/loadavg: 8.24 8.11 7.70 10/186 11681
/proc/meminfo: memFree=7882388/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1976136 CPUtime=4714.64 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 471674 0 0 0 468899 2565 0 0 24 0 5 0 518067715 2023563264 470665 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 494034 470665 176 36 0 491939 0
[pid=11639/tid=11646] ppid=11635 vsize=1976136 CPUtime=1181.92 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 331404 0 0 0 118067 125 0 0 25 0 5 0 518067755 2023563264 470665 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1976136 CPUtime=1176.9 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43611 0 0 0 116827 863 0 0 19 0 5 0 518067755 2023563264 470665 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1976136 CPUtime=1177.75 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39815 0 0 0 117032 743 0 0 25 0 5 0 518067755 2023563264 470665 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1976136 CPUtime=1177.63 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48163 0 0 0 116932 831 0 0 18 0 5 0 518067755 2023563264 470665 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.64
Current children cumulated vsize (KiB) 1976136

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

[startup+1190.8 s]
/proc/loadavg: 8.21 8.11 7.70 10/186 11681
/proc/meminfo: memFree=7861792/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1982524 CPUtime=4748.52 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 473551 0 0 0 472271 2581 0 0 24 0 5 0 518067715 2030104576 472542 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 495631 472542 176 36 0 493536 0
[pid=11639/tid=11646] ppid=11635 vsize=1982524 CPUtime=1190.42 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 333086 0 0 0 118916 126 0 0 25 0 5 0 518067755 2030104576 472542 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254304 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1982524 CPUtime=1185.37 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43676 0 0 0 117669 868 0 0 19 0 5 0 518067755 2030104576 472542 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1982524 CPUtime=1186.25 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39880 0 0 0 117877 748 0 0 25 0 5 0 518067755 2030104576 472542 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1982524 CPUtime=1186.05 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48228 0 0 0 117768 837 0 0 18 0 5 0 518067755 2030104576 472542 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254433 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4748.52
Current children cumulated vsize (KiB) 1982524

[startup+1197.2 s]
/proc/loadavg: 8.19 8.11 7.70 10/186 11681
/proc/meminfo: memFree=7846032/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1988912 CPUtime=4774.07 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 475226 0 0 0 474812 2595 0 0 24 0 5 0 518067715 2036645888 474217 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 497228 474217 176 36 0 495133 0
[pid=11639/tid=11646] ppid=11635 vsize=1988912 CPUtime=1196.83 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 334624 0 0 0 119556 127 0 0 25 0 5 0 518067755 2036645888 474217 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1988912 CPUtime=1191.76 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43722 0 0 0 118302 874 0 0 18 0 5 0 518067755 2036645888 474217 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1988912 CPUtime=1192.66 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39926 0 0 0 118515 751 0 0 25 0 5 0 518067755 2036645888 474217 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1988912 CPUtime=1192.4 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48273 0 0 0 118399 841 0 0 18 0 5 0 518067755 2036645888 474217 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4774.07
Current children cumulated vsize (KiB) 1988912

[startup+1200.4 s]
/proc/loadavg: 8.17 8.10 7.70 10/186 11681
/proc/meminfo: memFree=7841320/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1992172 CPUtime=4786.83 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 475681 0 0 0 476084 2599 0 0 24 0 5 0 518067715 2039984128 474672 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 498043 474672 176 36 0 495948 0
[pid=11639/tid=11646] ppid=11635 vsize=1992172 CPUtime=1200.02 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 335017 0 0 0 119875 127 0 0 25 0 5 0 518067755 2039984128 474672 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254208 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1992172 CPUtime=1194.94 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43742 0 0 0 118620 874 0 0 18 0 5 0 518067755 2039984128 474672 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1992172 CPUtime=1195.84 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39947 0 0 0 118832 752 0 0 25 0 5 0 518067755 2039984128 474672 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1992172 CPUtime=1195.58 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48294 0 0 0 118715 843 0 0 18 0 5 0 518067755 2039984128 474672 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254329 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4786.83
Current children cumulated vsize (KiB) 1992172

[startup+1202 s]
/proc/loadavg: 8.17 8.10 7.70 10/186 11681
/proc/meminfo: memFree=7834996/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1992172 CPUtime=4793.21 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 475916 0 0 0 476720 2601 0 0 24 0 5 0 518067715 2039984128 474907 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 498043 474907 176 36 0 495948 0
[pid=11639/tid=11646] ppid=11635 vsize=1992172 CPUtime=1201.62 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 335218 0 0 0 120035 127 0 0 25 0 5 0 518067755 2039984128 474907 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1992172 CPUtime=1196.54 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43754 0 0 0 118779 875 0 0 18 0 5 0 518067755 2039984128 474907 33554432000 4194304 4338100 140734182998208 18446744073709551615 4253962 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1992172 CPUtime=1197.45 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39958 0 0 0 118992 753 0 0 25 0 5 0 518067755 2039984128 474907 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254285 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1992172 CPUtime=1197.17 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48305 0 0 0 118874 843 0 0 20 0 5 0 518067755 2039984128 474907 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4793.21
Current children cumulated vsize (KiB) 1992172

[startup+1202.81 s]
/proc/loadavg: 8.17 8.10 7.70 5/180 11682
/proc/meminfo: memFree=13676684/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1992172 CPUtime=4796.43 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 476037 0 0 0 477040 2603 0 0 24 0 5 0 518067715 2039984128 475028 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 498043 475028 176 36 0 495948 0
[pid=11639/tid=11646] ppid=11635 vsize=1992172 CPUtime=1202.43 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 335323 0 0 0 120116 127 0 0 25 0 5 0 518067755 2039984128 475028 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1992172 CPUtime=1197.35 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43759 0 0 0 118859 876 0 0 20 0 5 0 518067755 2039984128 475028 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1992172 CPUtime=1198.25 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39963 0 0 0 119072 753 0 0 25 0 5 0 518067755 2039984128 475028 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1992172 CPUtime=1197.97 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48311 0 0 0 118953 844 0 0 18 0 5 0 518067755 2039984128 475028 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4796.43
Current children cumulated vsize (KiB) 1992172

[startup+1203.2 s]
/proc/loadavg: 8.17 8.10 7.70 5/180 11682
/proc/meminfo: memFree=13676684/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1992172 CPUtime=4798 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 476088 0 0 0 477197 2603 0 0 24 0 5 0 518067715 2039984128 475079 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 498043 475079 176 36 0 495948 0
[pid=11639/tid=11646] ppid=11635 vsize=1992172 CPUtime=1202.82 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 335369 0 0 0 120155 127 0 0 25 0 5 0 518067755 2039984128 475079 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254337 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1992172 CPUtime=1197.74 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43761 0 0 0 118898 876 0 0 20 0 5 0 518067755 2039984128 475079 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254307 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1992172 CPUtime=1198.65 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39965 0 0 0 119111 754 0 0 25 0 5 0 518067755 2039984128 475079 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1992172 CPUtime=1198.36 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48312 0 0 0 118992 844 0 0 18 0 5 0 518067755 2039984128 475079 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254315 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4798
Current children cumulated vsize (KiB) 1992172

[startup+1203.6 s]
/proc/loadavg: 8.17 8.10 7.70 5/180 11682
/proc/meminfo: memFree=13676684/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1992172 CPUtime=4799.59 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 476155 0 0 0 477356 2603 0 0 24 0 5 0 518067715 2039984128 475146 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 498043 475146 176 36 0 495948 0
[pid=11639/tid=11646] ppid=11635 vsize=1992172 CPUtime=1203.22 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 335431 0 0 0 120195 127 0 0 25 0 5 0 518067755 2039984128 475146 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1992172 CPUtime=1198.14 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43762 0 0 0 118938 876 0 0 18 0 5 0 518067755 2039984128 475146 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1992172 CPUtime=1199.05 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39967 0 0 0 119151 754 0 0 25 0 5 0 518067755 2039984128 475146 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1992172 CPUtime=1198.76 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48314 0 0 0 119032 844 0 0 19 0 5 0 518067755 2039984128 475146 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254388 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4799.59
Current children cumulated vsize (KiB) 1992172

[startup+1203.7 s]
/proc/loadavg: 8.17 8.10 7.70 5/180 11682
/proc/meminfo: memFree=13676684/32951124 swapFree=67111528/67111528
[pid=11639] ppid=11635 vsize=1992172 CPUtime=4799.99 cores=0,2,4,6
/proc/11639/stat : 11639 (ttsth-5-4) S 11635 11639 9766 0 -1 4202496 476171 0 0 0 477396 2603 0 0 24 0 5 0 518067715 2039984128 475162 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11639/statm: 498043 475162 176 36 0 495948 0
[pid=11639/tid=11646] ppid=11635 vsize=1992172 CPUtime=1203.32 cores=0,2,4,6
/proc/11639/task/11646/stat : 11646 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 335446 0 0 0 120205 127 0 0 25 0 5 0 518067755 2039984128 475162 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254342 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11639/tid=11647] ppid=11635 vsize=1992172 CPUtime=1198.24 cores=0,2,4,6
/proc/11639/task/11647/stat : 11647 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 43763 0 0 0 118948 876 0 0 18 0 5 0 518067755 2039984128 475162 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11639/tid=11648] ppid=11635 vsize=1992172 CPUtime=1199.15 cores=0,2,4,6
/proc/11639/task/11648/stat : 11648 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 39967 0 0 0 119161 754 0 0 25 0 5 0 518067755 2039984128 475162 33554432000 4194304 4338100 140734182998208 18446744073709551615 244458771125 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11639/tid=11649] ppid=11635 vsize=1992172 CPUtime=1198.86 cores=0,2,4,6
/proc/11639/task/11649/stat : 11649 (ttsth-5-4) R 11635 11639 9766 0 -1 4202560 48314 0 0 0 119042 844 0 0 19 0 5 0 518067755 2039984128 475162 33554432000 4194304 4338100 140734182998208 18446744073709551615 4254264 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4799.99
Current children cumulated vsize (KiB) 1992172

Child status: 0
Real time (s): 1203.79
CPU time (s): 4800.1
CPU user time (s): 4773.98
CPU system time (s): 26.125
CPU usage (%): 398.748
Max. virtual memory (cumulated for all children) (KiB): 1992172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4773.98
system time used= 26.125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476174
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= 86798
involuntary context switches= 23220

runsolver used 1.9717 second user time and 4.5903 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 10:11:13
IDJOB=3249636
IDBENCH=83178
IDSOLVER=1654
FILE ID=node105/3249636-1304064673
RUNJOBID= node105-1304064673-11620
PBS_JOBID= 13170404
Free space on /tmp= 71936 MiB

SOLVER NAME= ttsth 5-4
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-6x40.cnf
COMMAND LINE= DIR/ttsth-5-4 -num-threads NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249636-1304064673/watcher-3249636-1304064673 -o /tmp/evaluation-result-3249636-1304064673/solver-3249636-1304064673 -C 4800 -W 1300 -M 15500  HOME/ttsth-5-4 -num-threads 4 HOME/instance-3249636-1304064673.cnf

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

MD5SUM BENCH= 3a7a68cedc6ab84c0df9c27d166b0b6b
RANDOM SEED=757298934

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15582868 kB
Buffers:       2301248 kB
Cached:       14433068 kB
SwapCached:          0 kB
Active:        8942864 kB
Inactive:      7855096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15582868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1568 kB
Writeback:           0 kB
AnonPages:       63280 kB
Mapped:          14496 kB
Slab:           507308 kB
PageTables:       4392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188180 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= 71936 MiB
End job on node105 at 2011-04-29 10:31:17