Trace number 3378224

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
borg-sat 11.03.02-par-random (fixed)? (MO) 2773.51 698.527

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
MD5SUMbe984e6bbe5620bf919456b943096fcf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark836.998
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.28/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.28/0.69	c INFO: solving HOME/instance-3378224-1305463887.cnf
0.28/0.69	c INFO: computing task features
0.45/0.81	c INFO: computed variable-clause graph statistics
0.45/0.81	c INFO: computed clause balance statistics
0.95/1.37	c INFO: computed variable balance statistics
1.25/1.60	c INFO: computed small-clause counts
1.25/1.60	c INFO: computed Horn-clause counts
1.25/1.62	c INFO: computed variable graph statistics
1.25/1.62	c INFO: collected features for HOME/instance-3378224-1305463887.cnf in 0.92 s
1.25/1.63	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.36)
1.25/1.64	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.12)
1.25/1.65	c INFO: running adaptg2wsat2009++@0 for 97 with 1199 remaining (b = 0.08)
1.25/1.66	c INFO: running adaptg2wsat2009++@0 for 97 with 1199 remaining (b = 0.07)
400.84/101.89	c INFO: running adaptg2wsat2009++@0 for 97 with 1098 remaining (b = 0.05)
401.22/101.93	c INFO: running gnovelty+2@0 for 97 with 1098 remaining (b = 0.04)
401.22/101.94	c INFO: running FH@0 for 97 with 1098 remaining (b = 0.03)
417.13/105.97	c INFO: running adaptg2wsat2009++@0 for 97 with 1094 remaining (b = 0.03)
800.74/202.12	c INFO: running adaptg2wsat2009++@0 for 97 with 998 remaining (b = 0.02)
800.74/202.19	c INFO: running FH@0 for 97 with 998 remaining (b = 0.02)
801.05/202.21	c INFO: running hybridGM3@0 for 194 with 998 remaining (b = 0.04)
816.98/206.20	c INFO: running gnovelty+2@0 for 97 with 994 remaining (b = 0.02)
1199.43/302.37	c INFO: running hybridGM3@0 for 194 with 898 remaining (b = 0.03)
1199.84/302.44	c INFO: running adaptg2wsat2009++@0 for 97 with 898 remaining (b = 0.02)
1216.09/306.56	c INFO: running hybridGM3@0 for 194 with 894 remaining (b = 0.03)
1598.51/402.70	c INFO: running FH@0 for 97 with 798 remaining (b = 0.01)
1606.86/404.73	c INFO: running hybridGM3@99 for 97 with 795 remaining (b = 0.01)
1981.09/498.89	c INFO: running hybridGM3@99 for 97 with 701 remaining (b = 0.01)
1985.48/499.97	c INFO: running hybridGM3@295 for 97 with 700 remaining (b = 0.01)
1997.40/502.95	c INFO: running adaptg2wsat2009++@0 for 97 with 697 remaining (b = 0.01)
1998.18/503.16	c INFO: running hybridGM3@100 for 97 with 697 remaining (b = 0.01)
2383.29/600.15	c INFO: running hybridGM3@193 for 97 with 600 remaining (b = 0.01)
2383.69/600.21	c INFO: running adaptg2wsat2009++@100 for 97 with 600 remaining (b = 0.01)
2384.10/600.31	c INFO: running hybridGM3@393 for 97 with 600 remaining (b = 0.01)
2396.41/603.42	c INFO: running TNM@0 for 597 with 597 remaining (b = 0.07)
2761.16/695.40	c INFO: running hybridGM3@291 for 97 with 505 remaining (b = 0.01)
2769.53/697.48	c INFO: running gnovelty+2@0 for 97 with 503 remaining (b = 0.01)
2773.51/698.49	c INFO: running hybridGM3@0 for 194 with 502 remaining (b = 0.02)
2773.51/698.51	c INFO: running adaptg2wsat2009++@100 for 97 with 502 remaining (b = 0.01)
2773.51/698.51	Traceback (most recent call last):
2773.51/698.51	  File "HOME/solve", line 33, in <module>
2773.51/698.51	    plac.call(main)
2773.51/698.51	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 311, in call
2773.51/698.51	    cmd, result = parser_from(obj).consume(arglist)
2773.51/698.51	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 192, in consume
2773.51/698.51	    return cmd, self.func(*(args + varargs + extraopts), **kwargs)
2773.51/698.51	  File "HOME/borg/build/lib/borg/tools/solve.py", line 84, in main
2773.51/698.51	    (_, answer, _) = solver(input_path, budget / cores, cores)
2773.51/698.51	  File "HOME/borg/build/lib/borg/bilevel.py", line 202, in __call__
2773.51/698.51	    solver.go(max_cost * borg.defaults.machine_speed)
2773.51/698.51	  File "HOME/borg/build/lib/borg/solvers.py", line 179, in go
2773.51/698.51	    self._process.start()
2773.51/698.51	  File "/home/evaluation/evaluation/tools64/lib/python2.7/multiprocessing/process.py", line 94, in start
2773.51/698.51	    assert self._popen is None, 'cannot start a process twice'
2773.51/698.51	AssertionError: cannot start a process twice

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378224-1305463887/watcher-3378224-1305463887 -o /tmp/evaluation-result-3378224-1305463887/solver-3378224-1305463887 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378224-1305463887.cnf -seed 1306285444 -budget 4800 -cores 4 

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: 8.36 8.02 6.67 5/340 26479
/proc/meminfo: memFree=20134312/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=15524 CPUtime=0 cores=0,2,4,6
/proc/26479/stat : 26479 (python) R 26477 26479 25829 0 -1 4202496 821 0 0 0 0 0 0 0 25 0 1 0 657986586 15896576 706 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550537472 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26479/statm: 3881 708 334 364 0 368 0

[startup+0.090624 s]
/proc/loadavg: 8.36 8.02 6.67 5/340 26479
/proc/meminfo: memFree=20134312/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=84528 CPUtime=0.04 cores=0,2,4,6
/proc/26479/stat : 26479 (python) R 26477 26479 25829 0 -1 4202496 2204 0 0 0 4 0 0 0 25 0 1 0 657986586 86556672 1953 33554432000 4194304 5683644 140735663778000 18446744073709551615 271545574961 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26479/statm: 21132 1954 576 364 0 1336 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84528

[startup+0.100622 s]
/proc/loadavg: 8.36 8.02 6.67 5/340 26479
/proc/meminfo: memFree=20134312/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/26479/stat : 26479 (python) D 26477 26479 25829 0 -1 4202496 2583 0 0 0 4 1 0 0 18 0 1 0 657986586 87412736 2308 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550543415 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/26479/statm: 21341 2308 707 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364

[startup+0.300557 s]
/proc/loadavg: 8.36 8.02 6.67 5/340 26479
/proc/meminfo: memFree=20134312/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=135752 CPUtime=0.16 cores=0,2,4,6
/proc/26479/stat : 26479 (python) R 26477 26479 25829 0 -1 4202496 5961 934 1 0 12 4 0 0 17 0 1 0 657986586 139010048 4151 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550533637 0 0 16781312 2 0 0 0 17 4 0 0 1
/proc/26479/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 135752

[startup+0.700541 s]
/proc/loadavg: 8.36 8.02 6.67 5/340 26479
/proc/meminfo: memFree=20134312/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=278628 CPUtime=0.35 cores=0,2,4,6
/proc/26479/stat : 26479 (python) R 26477 26479 25829 0 -1 4202496 9284 934 1 0 27 8 0 0 16 0 1 0 657986586 285315072 6967 33554432000 4194304 5683644 140735663778000 18446744073709551615 4602725 0 0 16781312 2 0 0 0 17 4 0 0 1
/proc/26479/statm: 69657 6967 1761 364 0 5581 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 278628

[startup+1.50039 s]
/proc/loadavg: 8.36 8.02 6.67 6/341 26484
/proc/meminfo: memFree=20107768/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=282588 CPUtime=1.15 cores=0,2,4,6
/proc/26479/stat : 26479 (python) R 26477 26479 25829 0 -1 4202496 11328 934 1 0 107 8 0 0 17 0 1 0 657986586 289370112 8059 33554432000 4194304 5683644 140735663778000 18446744073709551615 47263569670706 0 0 16781312 2 0 0 0 17 4 0 0 1
/proc/26479/statm: 70647 8059 1827 364 0 6571 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 282588

[startup+3.10103 s]
/proc/loadavg: 8.41 8.04 6.69 9/353 26496
/proc/meminfo: memFree=20087740/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=320380 CPUtime=1.31 cores=0,2,4,6
/proc/26479/stat : 26479 (python) S 26477 26479 25829 0 -1 4202496 14094 934 1 0 122 9 0 0 22 0 5 0 657986586 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 1
/proc/26479/statm: 80095 7309 1883 364 0 16004 0
[pid=26485] ppid=26479 vsize=279232 CPUtime=0 cores=0,2,4,6
/proc/26485/stat : 26485 (python) S 26479 26479 25829 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 657986749 285933568 5714 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557711 0 0 16781312 514 18254590127399469314 0 0 17 6 0 0 0
/proc/26485/statm: 69808 5714 354 364 0 5726 0
[pid=26487] ppid=26485 vsize=1018616 CPUtime=1.44 cores=0,2,4,6
/proc/26487/stat : 26487 (gnovelty+2) R 26485 26487 26487 0 -1 4202496 763 0 0 0 144 0 0 0 23 0 1 0 657986750 1043062784 500 33554432000 134512640 135663704 4292891168 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/26487/statm: 254654 500 113 282 0 254370 0
[pid=26488] ppid=26479 vsize=289624 CPUtime=0 cores=0,2,4,6
/proc/26488/stat : 26488 (python) S 26479 26479 25829 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 657986750 296574976 5762 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 4039860261685788929 0 0 17 4 0 0 0
/proc/26488/statm: 72406 5762 348 364 0 8321 0
[pid=26490] ppid=26488 vsize=1018616 CPUtime=1.45 cores=0,2,4,6
/proc/26490/stat : 26490 (gnovelty+2) R 26488 26490 26490 0 -1 4202496 763 0 0 0 145 0 0 0 25 0 1 0 657986751 1043062784 501 33554432000 134512640 135663704 4294461264 18446744073709551615 134524868 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/26490/statm: 254654 501 113 282 0 254370 0
[pid=26491] ppid=26479 vsize=299880 CPUtime=0 cores=0,2,4,6
/proc/26491/stat : 26491 (python) S 26479 26479 25829 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 657986751 307077120 5766 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 4039856413395124223 0 0 17 6 0 0 0
/proc/26491/statm: 74970 5766 348 364 0 10882 0
[pid=26493] ppid=26491 vsize=418500 CPUtime=1.44 cores=0,2,4,6
/proc/26493/stat : 26493 (adaptg2wsat2009) R 26491 26493 26493 0 -1 4202496 1074 0 0 0 144 0 0 0 25 0 1 0 657986752 428544000 810 33554432000 134512640 135107411 4294214272 18446744073709551615 134523323 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/26493/statm: 104625 810 49 146 0 103501 0
[pid=26494] ppid=26479 vsize=310136 CPUtime=0 cores=0,2,4,6
/proc/26494/stat : 26494 (python) S 26479 26479 25829 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 657986752 317579264 5770 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 7919398529607401471 0 0 17 4 0 0 0
/proc/26494/statm: 77534 5770 348 364 0 13443 0
[pid=26496] ppid=26494 vsize=418500 CPUtime=1.43 cores=0,2,4,6
/proc/26496/stat : 26496 (adaptg2wsat2009) R 26494 26496 26496 0 -1 4202496 1072 0 0 0 143 0 0 0 25 0 1 0 657986753 428544000 809 33554432000 134512640 135107411 4287037456 18446744073709551615 134523319 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/26496/statm: 104625 809 49 146 0 103501 0
[pid=26479/tid=26486] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26486/stat : 26486 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 19 0 5 0 657986749 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26489/stat : 26489 (python) S 26477 26479 25829 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 5 0 657986750 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26492/stat : 26492 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 5 0 657986751 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26495/stat : 26495 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 22 0 5 0 657986752 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 4373484

[startup+6.30145 s]
/proc/loadavg: 8.41 8.04 6.69 9/353 26496
/proc/meminfo: memFree=20085880/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=320380 CPUtime=1.31 cores=0,2,4,6
/proc/26479/stat : 26479 (python) S 26477 26479 25829 0 -1 4202496 14094 934 1 0 122 9 0 0 22 0 5 0 657986586 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 1
/proc/26479/statm: 80095 7309 1883 364 0 16004 0
[pid=26485] ppid=26479 vsize=279232 CPUtime=0.01 cores=0,2,4,6
/proc/26485/stat : 26485 (python) S 26479 26479 25829 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 657986749 285933568 5737 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557711 0 0 16781312 514 18254590127399469314 0 0 17 6 0 0 0
/proc/26485/statm: 69808 5737 377 364 0 5726 0
[pid=26487] ppid=26485 vsize=1018616 CPUtime=4.58 cores=0,2,4,6
/proc/26487/stat : 26487 (gnovelty+2) R 26485 26487 26487 0 -1 4202496 763 0 0 0 458 0 0 0 25 0 1 0 657986750 1043062784 500 33554432000 134512640 135663704 4292891168 18446744073709551615 134524916 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/26487/statm: 254654 500 113 282 0 254370 0
[pid=26488] ppid=26479 vsize=289624 CPUtime=0 cores=0,2,4,6
/proc/26488/stat : 26488 (python) S 26479 26479 25829 0 -1 4202560 900 0 0 0 0 0 0 0 18 0 1 0 657986750 296574976 5785 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 4039860261685788929 0 0 17 4 0 0 0
/proc/26488/statm: 72406 5785 371 364 0 8321 0
[pid=26490] ppid=26488 vsize=1018616 CPUtime=4.65 cores=0,2,4,6
/proc/26490/stat : 26490 (gnovelty+2) R 26488 26490 26490 0 -1 4202496 763 0 0 0 465 0 0 0 25 0 1 0 657986751 1043062784 501 33554432000 134512640 135663704 4294461264 18446744073709551615 134525286 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/26490/statm: 254654 501 113 282 0 254370 0
[pid=26491] ppid=26479 vsize=299880 CPUtime=0 cores=0,2,4,6
/proc/26491/stat : 26491 (python) S 26479 26479 25829 0 -1 4202560 895 0 0 0 0 0 0 0 18 0 1 0 657986751 307077120 5789 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 4039856413395091713 0 0 17 6 0 0 0
/proc/26491/statm: 74970 5789 371 364 0 10882 0
[pid=26493] ppid=26491 vsize=418636 CPUtime=4.64 cores=0,2,4,6
/proc/26493/stat : 26493 (adaptg2wsat2009) R 26491 26493 26493 0 -1 4202496 1221 0 0 0 464 0 0 0 25 0 1 0 657986752 428683264 957 33554432000 134512640 135107411 4294214272 18446744073709551615 134532097 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/26493/statm: 104659 957 59 146 0 103535 0
[pid=26494] ppid=26479 vsize=310136 CPUtime=0 cores=0,2,4,6
/proc/26494/stat : 26494 (python) S 26479 26479 25829 0 -1 4202560 903 0 0 0 0 0 0 0 18 0 1 0 657986752 317579264 5792 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 7919398529607368961 0 0 17 4 0 0 0
/proc/26494/statm: 77534 5792 370 364 0 13443 0
[pid=26496] ppid=26494 vsize=418636 CPUtime=4.6 cores=0,2,4,6
/proc/26496/stat : 26496 (adaptg2wsat2009) R 26494 26496 26496 0 -1 4202496 1219 0 0 0 460 0 0 0 25 0 1 0 657986753 428683264 956 33554432000 134512640 135107411 4287037456 18446744073709551615 134532229 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/26496/statm: 104659 956 59 146 0 103535 0
[pid=26479/tid=26486] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26486/stat : 26486 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 19 0 5 0 657986749 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26489/stat : 26489 (python) S 26477 26479 25829 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 5 0 657986750 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26492/stat : 26492 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 5 0 657986751 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26495/stat : 26495 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 22 0 5 0 657986752 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (KiB) 4373756

[startup+12.7013 s]
/proc/loadavg: 8.35 8.04 6.70 9/353 26496
/proc/meminfo: memFree=20084056/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=320380 CPUtime=1.31 cores=0,2,4,6
/proc/26479/stat : 26479 (python) S 26477 26479 25829 0 -1 4202496 14094 934 1 0 122 9 0 0 22 0 5 0 657986586 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 1
/proc/26479/statm: 80095 7309 1883 364 0 16004 0
[pid=26485] ppid=26479 vsize=279232 CPUtime=0.01 cores=0,2,4,6
/proc/26485/stat : 26485 (python) S 26479 26479 25829 0 -1 4202560 881 0 0 0 1 0 0 0 18 0 1 0 657986749 285933568 5737 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557711 0 0 16781312 514 8266832105061712130 0 0 17 6 0 0 0
/proc/26485/statm: 69808 5737 377 364 0 5726 0
[pid=26487] ppid=26485 vsize=1018616 CPUtime=10.88 cores=0,2,4,6
/proc/26487/stat : 26487 (gnovelty+2) R 26485 26487 26487 0 -1 4202496 763 0 0 0 1088 0 0 0 25 0 1 0 657986750 1043062784 500 33554432000 134512640 135663704 4292891168 18446744073709551615 134524553 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/26487/statm: 254654 500 113 282 0 254370 0
[pid=26488] ppid=26479 vsize=289624 CPUtime=0.02 cores=0,2,4,6
/proc/26488/stat : 26488 (python) S 26479 26479 25829 0 -1 4202560 905 0 0 0 1 1 0 0 18 0 1 0 657986750 296574976 5785 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 8266832105061712129 0 0 17 4 0 0 0
/proc/26488/statm: 72406 5785 371 364 0 8321 0
[pid=26490] ppid=26488 vsize=1018616 CPUtime=11.05 cores=0,2,4,6
/proc/26490/stat : 26490 (gnovelty+2) R 26488 26490 26490 0 -1 4202496 763 0 0 0 1105 0 0 0 25 0 1 0 657986751 1043062784 501 33554432000 134512640 135663704 4294461264 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/26490/statm: 254654 501 113 282 0 254370 0
[pid=26491] ppid=26479 vsize=299880 CPUtime=0.02 cores=0,2,4,6
/proc/26491/stat : 26491 (python) S 26479 26479 25829 0 -1 4202560 897 0 0 0 1 1 0 0 18 0 1 0 657986751 307077120 5789 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 8266832105061712129 0 0 17 6 0 0 0
/proc/26491/statm: 74970 5789 371 364 0 10882 0
[pid=26493] ppid=26491 vsize=418636 CPUtime=11.04 cores=0,2,4,6
/proc/26493/stat : 26493 (adaptg2wsat2009) R 26491 26493 26493 0 -1 4202496 1221 0 0 0 1104 0 0 0 25 0 1 0 657986752 428683264 957 33554432000 134512640 135107411 4294214272 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/26493/statm: 104659 957 59 146 0 103535 0
[pid=26494] ppid=26479 vsize=310136 CPUtime=0.02 cores=0,2,4,6
/proc/26494/stat : 26494 (python) S 26479 26479 25829 0 -1 4202560 906 0 0 0 1 1 0 0 18 0 1 0 657986752 317579264 5793 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 8266832105061712129 0 0 17 4 0 0 0
/proc/26494/statm: 77534 5793 371 364 0 13443 0
[pid=26496] ppid=26494 vsize=418636 CPUtime=10.97 cores=0,2,4,6
/proc/26496/stat : 26496 (adaptg2wsat2009) R 26494 26496 26496 0 -1 4202496 1219 0 0 0 1097 0 0 0 25 0 1 0 657986753 428683264 956 33554432000 134512640 135107411 4287037456 18446744073709551615 134531435 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/26496/statm: 104659 956 59 146 0 103535 0
[pid=26479/tid=26486] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26486/stat : 26486 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 19 0 5 0 657986749 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26489/stat : 26489 (python) S 26477 26479 25829 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 5 0 657986750 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26492/stat : 26492 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 5 0 657986751 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=320380 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26495/stat : 26495 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 22 0 5 0 657986752 328069120 7309 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 45.32
Current children cumulated vsize (KiB) 4373756

[startup+25.501 s]
/proc/loadavg: 8.29 8.03 6.71 9/358 26501
/proc/meminfo: memFree=20067624/32951124 swapFree=67056788/67111528
[pid=26479] ppid=26477 vsize=320380 CPUtime=1.31 cores=0,2,4,6

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

[pid=26496] ppid=26494 vsize=418636 CPUtime=197.02 cores=0,2,4,6
/proc/26496/stat : 26496 (adaptg2wsat2009) T 26494 26496 26496 0 -1 4202496 1219 0 0 0 19702 0 0 0 25 0 1 0 657986753 428683264 956 33554432000 134512640 135107411 4287037456 18446744073709551615 134531246 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26496/statm: 104659 956 59 146 0 103535 0
[pid=26494/tid=26512] ppid=26479 vsize=310136 CPUtime=0 cores=0,2,4,6
/proc/26494/task/26512/stat : 26512 (python) S 26479 26479 25829 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 657996779 317579264 5823 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604446166637312 0 0 -1 4 0 0 0
[pid=26505] ppid=26479 vsize=320524 CPUtime=0.22 cores=0,2,4,6
/proc/26505/stat : 26505 (python) S 26479 26479 25829 0 -1 4202560 1089 0 0 0 12 10 0 0 19 0 2 0 657996775 328216576 5844 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/26505/statm: 80131 5844 400 364 0 16037 0
[pid=26507] ppid=26505 vsize=418636 CPUtime=99.93 cores=0,2,4,6
/proc/26507/stat : 26507 (adaptg2wsat2009) T 26505 26507 26507 0 -1 4202496 1222 0 0 0 9991 2 0 0 25 0 1 0 657996775 428683264 955 33554432000 134512640 135107411 4291012832 18446744073709551615 134532107 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26507/statm: 104659 955 59 146 0 103535 0
[pid=26505/tid=26577] ppid=26479 vsize=320524 CPUtime=0 cores=0,2,4,6
/proc/26505/task/26577/stat : 26577 (python) S 26479 26479 25829 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658006797 328216576 5844 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604451053259776 0 0 -1 4 0 0 0
[pid=26509] ppid=26479 vsize=331320 CPUtime=0.23 cores=0,2,4,6
/proc/26509/stat : 26509 (python) S 26479 26479 25829 0 -1 4202560 1090 0 0 0 13 10 0 0 18 0 2 0 657996779 339271680 5983 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/26509/statm: 82830 5983 399 364 0 18733 0
[pid=26511] ppid=26509 vsize=1018616 CPUtime=99.12 cores=0,2,4,6
/proc/26511/stat : 26511 (gnovelty+2) T 26509 26511 26511 0 -1 4202496 763 0 0 0 9912 0 0 0 25 0 1 0 657996779 1043062784 500 33554432000 134512640 135663704 4294597696 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/26511/statm: 254654 500 113 282 0 254370 0
[pid=26509/tid=26581] ppid=26479 vsize=331320 CPUtime=0 cores=0,2,4,6
/proc/26509/task/26581/stat : 26581 (python) S 26479 26479 25829 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658006804 339271680 5983 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604453934966592 0 0 -1 6 0 0 0
[pid=26513] ppid=26479 vsize=341576 CPUtime=0.21 cores=0,2,4,6
/proc/26513/stat : 26513 (python) S 26479 26479 25829 0 -1 4202560 1094 0 0 0 12 9 0 0 19 0 2 0 657996780 349773824 5987 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/26513/statm: 85394 5987 399 364 0 21294 0
[pid=26515] ppid=26513 vsize=248656 CPUtime=100 cores=0,2,4,6
/proc/26515/stat : 26515 (FH) T 26513 26515 26515 0 -1 4202496 1119 0 0 0 10000 0 0 0 25 0 1 0 657996781 254623744 857 33554432000 134512640 134936988 4288395088 18446744073709551615 134545066 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26515/statm: 62164 857 41 104 0 61668 0
[pid=26513/tid=26582] ppid=26479 vsize=341576 CPUtime=0 cores=0,2,4,6
/proc/26513/task/26582/stat : 26582 (python) S 26479 26479 25829 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658006806 349773824 5987 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604453876205632 0 0 -1 0 0 0 0
[pid=26517] ppid=26479 vsize=351832 CPUtime=0.22 cores=0,2,4,6
/proc/26517/stat : 26517 (python) S 26479 26479 25829 0 -1 4202560 1124 0 0 0 11 11 0 0 19 0 2 0 657997183 360275968 5997 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/26517/statm: 87958 5997 405 364 0 23855 0
[pid=26519] ppid=26517 vsize=418636 CPUtime=99.68 cores=0,2,4,6
/proc/26519/stat : 26519 (adaptg2wsat2009) T 26517 26519 26519 0 -1 4202496 1226 0 0 0 9968 0 0 0 25 0 1 0 657997184 428683264 956 33554432000 134512640 135107411 4293349008 18446744073709551615 134532349 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/26519/statm: 104659 956 59 146 0 103535 0
[pid=26517/tid=26589] ppid=26479 vsize=351832 CPUtime=0 cores=0,2,4,6
/proc/26517/task/26589/stat : 26589 (python) S 26479 26479 25829 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 658007205 360275968 5997 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604453876204736 0 0 -1 2 0 0 0
[pid=26578] ppid=26479 vsize=362088 CPUtime=0.23 cores=0,2,4,6
/proc/26578/stat : 26578 (python) S 26479 26479 25829 0 -1 4202560 1148 0 0 0 12 11 0 0 19 0 2 0 658006799 370778112 6001 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/26578/statm: 90522 6001 406 364 0 26416 0
[pid=26580] ppid=26578 vsize=418636 CPUtime=100.21 cores=0,2,4,6
/proc/26580/stat : 26580 (adaptg2wsat2009) T 26578 26580 26580 0 -1 4202496 1226 0 0 0 10021 0 0 0 25 0 1 0 658006799 428683264 956 33554432000 134512640 135107411 4291532544 18446744073709551615 134531848 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26580/statm: 104659 956 59 146 0 103535 0
[pid=26578/tid=26612] ppid=26479 vsize=362088 CPUtime=0 cores=0,2,4,6
/proc/26578/task/26612/stat : 26612 (python) S 26479 26479 25829 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658016822 370778112 6001 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604453944666944 0 0 -1 2 0 0 0
[pid=26583] ppid=26479 vsize=372344 CPUtime=0.23 cores=0,2,4,6
/proc/26583/stat : 26583 (python) S 26479 26479 25829 0 -1 4202560 1108 0 0 0 12 11 0 0 19 0 2 0 658006806 381280256 5999 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/26583/statm: 93086 5999 399 364 0 28977 0
[pid=26585] ppid=26583 vsize=248648 CPUtime=99.72 cores=0,2,4,6
/proc/26585/stat : 26585 (FH) T 26583 26585 26585 0 -1 4202496 1124 0 0 0 9972 0 0 0 25 0 1 0 658006807 254615552 857 33554432000 134512640 134936988 4288757920 18446744073709551615 134545257 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/26585/statm: 62162 857 41 104 0 61666 0
[pid=26583/tid=26616] ppid=26479 vsize=372344 CPUtime=0 cores=0,2,4,6
/proc/26583/task/26616/stat : 26616 (python) S 26479 26479 25829 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658016829 381280256 5999 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604450991859904 0 0 -1 2 0 0 0
[pid=26586] ppid=26479 vsize=382600 CPUtime=1.23 cores=0,2,4,6
/proc/26586/stat : 26586 (python) S 26479 26479 25829 0 -1 4202560 1169 0 0 0 65 58 0 0 18 0 2 0 658006807 391782400 6003 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/26586/statm: 95650 6003 400 364 0 31538 0
[pid=26588] ppid=26586 vsize=268424 CPUtime=487.37 cores=0,2,4,6
/proc/26588/stat : 26588 (hybridGM3) R 26586 26588 26588 0 -1 4202496 5165 0 0 0 48734 3 0 0 25 0 1 0 658006808 274866176 4897 33554432000 134512640 135204385 4288407360 18446744073709551615 134538044 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/26588/statm: 67106 4897 63 169 0 66936 0
[pid=26586/tid=26642] ppid=26479 vsize=382600 CPUtime=0 cores=0,2,4,6
/proc/26586/task/26642/stat : 26642 (python) S 26479 26479 25829 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 658027058 391782400 6003 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604441789716352 0 0 -1 6 0 0 0
[pid=26590] ppid=26479 vsize=393096 CPUtime=0.23 cores=0,2,4,6
/proc/26590/stat : 26590 (python) S 26479 26479 25829 0 -1 4202560 1134 0 0 0 13 10 0 0 19 0 2 0 658007207 402530304 6067 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/26590/statm: 98274 6067 400 364 0 34159 0
[pid=26592] ppid=26590 vsize=1018616 CPUtime=99.88 cores=0,2,4,6
/proc/26592/stat : 26592 (gnovelty+2) T 26590 26592 26592 0 -1 4202496 768 0 0 0 9987 1 0 0 25 0 1 0 658007207 1043062784 501 33554432000 134512640 135663704 4293576096 18446744073709551615 134524509 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26592/statm: 254654 501 113 282 0 254370 0
[pid=26590/tid=26620] ppid=26479 vsize=393096 CPUtime=0 cores=0,2,4,6
/proc/26590/task/26620/stat : 26620 (python) S 26479 26479 25829 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658017241 402530304 6067 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604449742039872 0 0 -1 0 0 0 0
[pid=26613] ppid=26479 vsize=403352 CPUtime=1.01 cores=0,2,4,6
/proc/26613/stat : 26613 (python) S 26479 26479 25829 0 -1 4202560 1168 0 0 0 56 45 0 0 18 0 2 0 658016823 413032448 6071 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/26613/statm: 100838 6071 400 364 0 36720 0
[pid=26615] ppid=26613 vsize=268424 CPUtime=394.93 cores=0,2,4,6
/proc/26615/stat : 26615 (hybridGM3) R 26613 26615 26615 0 -1 4202496 5167 0 0 0 39491 2 0 0 25 0 1 0 658016823 274866176 4897 33554432000 134512640 135204385 4293011664 18446744073709551615 134537792 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/26615/statm: 67106 4897 63 169 0 66936 0
[pid=26613/tid=26658] ppid=26479 vsize=403352 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26658/stat : 26658 (python) S 26479 26479 25829 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 658036474 413032448 6071 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604443723963392 0 0 -1 0 0 0 0
[pid=26617] ppid=26479 vsize=413608 CPUtime=0.24 cores=0,2,4,6
/proc/26617/stat : 26617 (python) S 26479 26479 25829 0 -1 4202560 1148 0 0 0 13 11 0 0 19 0 2 0 658016830 423534592 6075 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/26617/statm: 103402 6075 400 364 0 39281 0
[pid=26619] ppid=26617 vsize=418636 CPUtime=100.17 cores=0,2,4,6
/proc/26619/stat : 26619 (adaptg2wsat2009) T 26617 26619 26619 0 -1 4202496 1226 0 0 0 10017 0 0 0 25 0 1 0 658016831 428683264 957 33554432000 134512640 135107411 4292546752 18446744073709551615 134531942 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26619/statm: 104659 957 59 146 0 103535 0
[pid=26617/tid=26638] ppid=26479 vsize=413608 CPUtime=0 cores=0,2,4,6
/proc/26617/task/26638/stat : 26638 (python) S 26479 26479 25829 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658026855 423534592 6075 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604447743946816 0 0 -1 4 0 0 0
[pid=26621] ppid=26479 vsize=423864 CPUtime=0.75 cores=0,2,4,6
/proc/26621/stat : 26621 (python) S 26479 26479 25829 0 -1 4202560 1229 0 0 0 41 34 0 0 18 0 2 0 658017242 434036736 6087 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/26621/statm: 105966 6087 408 364 0 41842 0
[pid=26623] ppid=26621 vsize=268424 CPUtime=296.07 cores=0,2,4,6
/proc/26623/stat : 26623 (hybridGM3) T 26621 26623 26623 0 -1 4202496 5171 0 0 0 29605 2 0 0 25 0 1 0 658017242 274866176 4897 33554432000 134512640 135204385 4292758032 18446744073709551615 134537690 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/26623/statm: 67106 4897 63 169 0 66936 0
[pid=26621/tid=26660] ppid=26479 vsize=423864 CPUtime=0 cores=0,2,4,6
/proc/26621/task/26660/stat : 26660 (python) S 26479 26479 25829 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 658036901 434036736 6087 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604448148629440 0 0 -1 0 0 0 0
[pid=26639] ppid=26479 vsize=434120 CPUtime=0.24 cores=0,2,4,6
/proc/26639/stat : 26639 (python) S 26479 26479 25829 0 -1 4202560 1180 0 0 0 13 11 0 0 19 0 2 0 658026856 444538880 6091 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562364363 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/26639/statm: 108530 6091 408 364 0 44403 0
[pid=26641] ppid=26639 vsize=248652 CPUtime=98.04 cores=0,2,4,6
/proc/26641/stat : 26641 (FH) T 26639 26641 26641 0 -1 4202496 1135 0 0 0 9804 0 0 0 25 0 1 0 658026856 254619648 857 33554432000 134512640 134936988 4290222432 18446744073709551615 134544965 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/26641/statm: 62163 857 41 104 0 61667 0
[pid=26639/tid=26659] ppid=26479 vsize=434120 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26659/stat : 26659 (python) S 26479 26479 25829 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658036880 444538880 6091 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 514 18446604445520115776 0 0 -1 0 0 0 0
[pid=26678] ppid=26479 vsize=444376 CPUtime=0.25 cores=0,2,4,6
/proc/26678/stat : 26678 (python) S 26479 26479 25829 0 -1 4202560 1037 0 0 0 12 13 0 0 18 0 1 0 658046928 455041024 6068 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 8266832105061712130 0 0 17 6 0 0 0
/proc/26678/statm: 111094 6068 379 364 0 46964 0
[pid=26680] ppid=26678 vsize=457132 CPUtime=91.66 cores=0,2,4,6
/proc/26680/stat : 26680 (TNM) R 26678 26680 26680 0 -1 4202496 1114 0 0 0 9166 0 0 0 25 0 1 0 658046929 468103168 837 33554432000 134512640 135008748 4294641728 18446744073709551615 134529320 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/26680/statm: 114283 837 46 122 0 113183 0
[pid=26688] ppid=26479 vsize=454632 CPUtime=0 cores=0,2,4,6
/proc/26688/stat : 26688 (python) S 26479 26479 25829 0 -1 4202560 840 0 0 0 0 0 0 0 19 0 1 0 658056334 465543168 6049 33554432000 4194304 5683644 140735663778000 18446744073709551615 271550557766 0 0 16781312 514 3201374068733378559 0 0 17 6 0 0 0
/proc/26688/statm: 113658 6049 350 364 0 49525 0
[pid=26690] ppid=26688 vsize=1018616 CPUtime=0.89 cores=0,2,4,6
/proc/26690/stat : 26690 (gnovelty+2) R 26688 26690 26690 0 -1 4202496 774 0 0 0 89 0 0 0 23 0 1 0 658056334 1043062784 501 33554432000 134512640 135663704 4286617152 18446744073709551615 134525699 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/26690/statm: 254654 501 113 282 0 254370 0
[pid=26479/tid=26486] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26486/stat : 26486 (python) S 26477 26479 25829 0 -1 4202560 23 934 0 0 0 0 0 0 19 0 19 0 657986749 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26489] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26489/stat : 26489 (python) S 26477 26479 25829 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 19 0 657986750 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
[pid=26479/tid=26492] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26492/stat : 26492 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 19 0 657986751 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26495] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26495/stat : 26495 (python) S 26477 26479 25829 0 -1 4202560 33 934 0 0 0 0 0 0 18 0 19 0 657986752 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
[pid=26479/tid=26506] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26506/stat : 26506 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 19 0 657996775 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 4 0 0 0
[pid=26479/tid=26510] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26510/stat : 26510 (python) S 26477 26479 25829 0 -1 4202560 27 934 0 0 0 0 0 0 21 0 19 0 657996779 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 0 0 0 0
[pid=26479/tid=26514] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26514/stat : 26514 (python) S 26477 26479 25829 0 -1 4202560 27 934 0 0 0 0 0 0 22 0 19 0 657996781 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 2 0 0 0
[pid=26479/tid=26518] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26518/stat : 26518 (python) S 26477 26479 25829 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 19 0 657997184 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 2 0 0 0
[pid=26479/tid=26579] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26579/stat : 26579 (python) S 26477 26479 25829 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 19 0 658006799 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 2 0 0 0
[pid=26479/tid=26584] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26584/stat : 26584 (python) S 26477 26479 25829 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 19 0 658006806 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 2 0 0 0
[pid=26479/tid=26587] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26587/stat : 26587 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 19 0 658006807 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26591] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26591/stat : 26591 (python) S 26477 26479 25829 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 19 0 658007207 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 0 0 0 0
[pid=26479/tid=26614] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26614/stat : 26614 (python) S 26477 26479 25829 0 -1 4202560 36 934 0 0 0 0 0 0 18 0 19 0 658016823 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 0 0 0 0
[pid=26479/tid=26618] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26618/stat : 26618 (python) S 26477 26479 25829 0 -1 4202560 26 934 0 0 0 0 0 0 21 0 19 0 658016831 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 0 0 0 0
[pid=26479/tid=26622] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26622/stat : 26622 (python) S 26477 26479 25829 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 19 0 658017242 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 0 0 0 0
[pid=26479/tid=26640] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26640/stat : 26640 (python) S 26477 26479 25829 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 19 0 658026856 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 0 0 0 0
[pid=26479/tid=26679] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26679/stat : 26679 (python) S 26477 26479 25829 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 19 0 658046929 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
[pid=26479/tid=26689] ppid=26477 vsize=464876 CPUtime=0 cores=0,2,4,6
/proc/26479/task/26689/stat : 26689 (python) S 26477 26479 25829 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 19 0 658056334 476033024 7615 33554432000 4194304 5683644 140735663778000 18446744073709551615 271562361265 0 0 16781312 2 18446604447743947712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2773.51
Current children cumulated vsize (KiB) 16696580

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26479 and gives
#  childrusage.ru_utime.tv_sec=980
#  childrusage.ru_utime.tv_usec=343965
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=447475
# CPU time returned by wait4() is 983.791
# while last known CPU time is 2773.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 698.527
CPU time (s): 2773.51
CPU user time (s): 2770.15
CPU system time (s): 3.36
CPU usage (%): 397.051
Max. virtual memory (cumulated for all children) (KiB): 16696580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 980.344
system time used= 3.44747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62523
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6994
involuntary context switches= 12411

runsolver used 4.94225 second user time and 9.41757 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 14:51:27
IDJOB=3378224
IDBENCH=82633
IDSOLVER=1859
FILE ID=node133/3378224-1305463887
RUNJOBID= node133-1305462765-25847
PBS_JOBID= 13324974
Free space on /tmp= 73620 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378224-1305463887/watcher-3378224-1305463887 -o /tmp/evaluation-result-3378224-1305463887/solver-3378224-1305463887 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378224-1305463887.cnf -seed 1306285444 -budget 4800 -cores 4

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

MD5SUM BENCH= be984e6bbe5620bf919456b943096fcf
RANDOM SEED=1306285444

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.74
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.834
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:      20134344 kB
Buffers:        304692 kB
Cached:        4183928 kB
SwapCached:       8724 kB
Active:        9343608 kB
Inactive:      3167220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20134344 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           31948 kB
Writeback:           4 kB
AnonPages:     8019252 kB
Mapped:          31100 kB
Slab:           202368 kB
PageTables:      39348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 48323056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73580 MiB
End job on node133 at 2011-05-15 15:03:08