Trace number 3322312

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-randomUNSAT 3621.49 454.499

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf
MD5SUMf9a60c414c65108f1df33ba3a81b8715
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark352.104
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

Solver Data 

0.34/0.46	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.34/0.46	c INFO: solving HOME/instance-3322312-1304380195.cnf
0.34/0.46	c INFO: computing task features
0.42/0.50	c INFO: computed variable-clause graph statistics
0.42/0.50	c INFO: computed clause balance statistics
0.52/0.69	c INFO: computed variable balance statistics
0.62/0.76	c INFO: computed small-clause counts
0.62/0.76	c INFO: computed Horn-clause counts
0.62/0.77	c INFO: computed variable graph statistics
0.62/0.77	c INFO: collected features for HOME/instance-3322312-1304380195.cnf in 0.30 s
0.72/0.80	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.55)
0.72/0.84	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.09)
0.72/0.88	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.04)
0.82/0.92	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.03)
0.82/0.95	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.03)
0.82/0.99	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.02)
1.50/1.03	c INFO: running FH@0 for 97 with 39999 remaining (b = 0.02)
1.50/1.07	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.01)
800.50/101.02	c INFO: running march_hi@0 for 2134 with 39899 remaining (b = 0.31)
800.50/101.07	c INFO: running march_hi@0 for 2134 with 39899 remaining (b = 0.29)
801.24/101.12	c INFO: running march_hi@0 for 388 with 39899 remaining (b = 0.11)
801.24/101.17	c INFO: running march_hi@0 for 388 with 39899 remaining (b = 0.09)
801.85/101.22	c INFO: running march_hi@0 for 485 with 39899 remaining (b = 0.09)
801.85/101.28	c INFO: running hybridGM3@0 for 194 with 39899 remaining (b = 0.02)
802.24/101.34	c INFO: running adaptg2wsat2009++@0 for 97 with 39899 remaining (b = 0.01)
802.24/101.39	c INFO: running adaptg2wsat2009++@0 for 97 with 39899 remaining (b = 0.01)
1562.30/196.57	c INFO: running adaptg2wsat2009++@0 for 97 with 39803 remaining (b = 0.01)
1563.05/196.62	c INFO: running adaptg2wsat2009++@100 for 97 with 39803 remaining (b = 0.01)
2338.88/293.81	c INFO: running FH@0 for 97 with 39706 remaining (b = 0.01)
2338.88/293.88	c INFO: running march_hi@0 for 2134 with 39706 remaining (b = 0.24)
2417.82/303.74	c INFO: running march_hi@0 for 388 with 39696 remaining (b = 0.07)
3138.55/394.09	c INFO: running march_hi@0 for 388 with 39606 remaining (b = 0.05)
3620.54/454.47	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322312-1304380195/watcher-3322312-1304380195 -o /tmp/evaluation-result-3322312-1304380195/solver-3322312-1304380195 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322312-1304380195.cnf -seed 30957823 -budget 40000 -cores 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.74 0.18 0.05 1/258 3411
/proc/meminfo: memFree=23654324/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=15384 CPUtime=0 cores=0-7
/proc/3411/stat : 3411 (python) S 3408 3411 2634 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 549617744 15753216 681 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3411/statm: 3846 681 322 364 0 333 0

[startup+0.041487 s]
/proc/loadavg: 0.74 0.18 0.05 1/258 3411
/proc/meminfo: memFree=23654324/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=21108 CPUtime=0.02 cores=0-7
/proc/3411/stat : 3411 (python) S 3408 3411 2634 0 -1 4202496 1316 0 0 0 2 0 0 0 25 0 1 0 549617744 21614592 1166 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3411/statm: 5277 1166 428 364 0 724 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21108

[startup+0.100494 s]
/proc/loadavg: 0.74 0.18 0.05 1/258 3411
/proc/meminfo: memFree=23654324/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=104224 CPUtime=0.07 cores=0-7
/proc/3411/stat : 3411 (python) R 3408 3411 2634 0 -1 4202496 3058 0 0 0 5 2 0 0 17 0 1 0 549617744 106725376 2740 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516832256 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3411/statm: 26056 2740 847 364 0 1804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104224

[startup+0.300483 s]
/proc/loadavg: 0.74 0.18 0.05 1/258 3411
/proc/meminfo: memFree=23654324/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=172860 CPUtime=0.25 cores=0-7
/proc/3411/stat : 3411 (python) R 3408 3411 2634 0 -1 4202496 6746 931 1 0 17 8 0 0 18 0 1 0 549617744 177008640 4813 33554432000 4194304 5683644 140735941105904 18446744073709551615 246511911952 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3411/statm: 43215 4813 1338 364 0 3454 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 172860

[startup+0.700409 s]
/proc/loadavg: 0.74 0.18 0.05 1/258 3411
/proc/meminfo: memFree=23654324/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=279556 CPUtime=0.62 cores=0-7
/proc/3411/stat : 3411 (python) R 3408 3411 2634 0 -1 4202496 9754 931 1 0 52 10 0 0 18 0 1 0 549617744 286265344 7274 33554432000 4194304 5683644 140735941105904 18446744073709551615 246520242865 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3411/statm: 69889 7274 1827 364 0 5813 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 279556

[startup+1.50122 s]
/proc/loadavg: 0.74 0.18 0.05 8/277 3435
/proc/meminfo: memFree=23606424/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=426464 CPUtime=1 cores=0-7
/proc/3411/stat : 3411 (python) S 3408 3411 2634 0 -1 4202496 15728 931 1 0 88 12 0 0 25 0 9 0 549617744 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3411/statm: 106616 7341 1891 364 0 42513 0
[pid=3417] ppid=3411 vsize=278704 CPUtime=0 cores=0-7
/proc/3417/stat : 3417 (python) S 3411 3411 2634 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 1 0 549617825 285392896 5614 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854287 0 0 16781312 514 11899056402208915455 0 0 17 5 0 0 0
/proc/3417/statm: 69676 5614 354 364 0 5594 0
[pid=3419] ppid=3417 vsize=1017932 CPUtime=0.68 cores=0-7
/proc/3419/stat : 3419 (gnovelty+2) R 3417 3419 3419 0 -1 4202496 512 0 0 0 68 0 0 0 23 0 1 0 549617825 1042362368 247 33554432000 134512640 135663704 4288162576 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/3419/statm: 254483 247 113 282 0 254199 0
[pid=3420] ppid=3411 vsize=289356 CPUtime=0 cores=0-7
/proc/3420/stat : 3420 (python) S 3411 3411 2634 0 -1 4202560 736 0 0 0 0 0 0 0 21 0 1 0 549617828 296300544 5696 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 11899060250499612671 0 0 17 0 0 0 0
/proc/3420/statm: 72339 5696 348 364 0 8254 0
[pid=3422] ppid=3420 vsize=1017932 CPUtime=0.65 cores=0-7
/proc/3422/stat : 3422 (gnovelty+2) R 3420 3422 3422 0 -1 4202496 510 0 0 0 65 0 0 0 25 0 1 0 549617829 1042362368 248 33554432000 134512640 135663704 4291254320 18446744073709551615 134524509 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3422/statm: 254483 248 113 282 0 254199 0
[pid=3423] ppid=3411 vsize=299404 CPUtime=0 cores=0-7
/proc/3423/stat : 3423 (python) S 3411 3411 2634 0 -1 4202560 722 0 0 0 0 0 0 0 19 0 1 0 549617832 306589696 5627 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 5994018429441409023 0 0 17 2 0 0 0
/proc/3423/statm: 74851 5627 344 364 0 10763 0
[pid=3425] ppid=3423 vsize=416652 CPUtime=0.61 cores=0-7
/proc/3425/stat : 3425 (adaptg2wsat2009) R 3423 3425 3425 0 -1 4202496 569 0 0 0 61 0 0 0 22 0 1 0 549617832 426651648 302 33554432000 134512640 135107411 4287670016 18446744073709551615 134523360 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3425/statm: 104163 302 49 146 0 103039 0
[pid=3426] ppid=3411 vsize=375196 CPUtime=0 cores=0-7
/proc/3426/stat : 3426 (python) S 3411 3411 2634 0 -1 4202560 694 0 0 0 0 0 0 0 21 0 1 0 549617836 384200704 5804 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 11379202356794097663 0 0 17 0 0 0 0
/proc/3426/statm: 93799 5804 344 364 0 29708 0
[pid=3428] ppid=3426 vsize=416652 CPUtime=0.57 cores=0-7
/proc/3428/stat : 3428 (adaptg2wsat2009) R 3426 3428 3428 0 -1 4202496 556 0 0 0 57 0 0 0 25 0 1 0 549617836 426651648 303 33554432000 134512640 135107411 4288258080 18446744073709551615 134523442 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/3428/statm: 104163 303 49 146 0 103039 0
[pid=3430] ppid=3411 vsize=385452 CPUtime=0 cores=0-7
/proc/3430/stat : 3430 (python) S 3411 3411 2634 0 -1 4202560 708 0 0 0 0 0 0 0 23 0 1 0 549617840 394702848 5763 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 11751271868953264127 0 0 17 1 0 0 0
/proc/3430/statm: 96363 5763 344 364 0 32269 0
[pid=3432] ppid=3430 vsize=416652 CPUtime=0.53 cores=0-7
/proc/3432/stat : 3432 (adaptg2wsat2009) R 3430 3432 3432 0 -1 4202496 561 0 0 0 53 0 0 0 25 0 1 0 549617840 426651648 304 33554432000 134512640 135107411 4292644784 18446744073709551615 134523328 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3432/statm: 104163 304 49 146 0 103039 0
[pid=3433] ppid=3411 vsize=395708 CPUtime=0 cores=0-7
/proc/3433/stat : 3433 (python) S 3411 3411 2634 0 -1 4202560 728 0 0 0 0 0 0 0 25 0 1 0 549617844 405204992 5753 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 10193691327539970047 0 0 17 1 0 0 0
/proc/3433/statm: 98927 5753 348 364 0 34830 0
[pid=3435] ppid=3433 vsize=1017932 CPUtime=0.49 cores=0-7
/proc/3435/stat : 3435 (gnovelty+2) R 3433 3435 3435 0 -1 4202496 504 0 0 0 49 0 0 0 25 0 1 0 549617844 1042362368 248 33554432000 134512640 135663704 4287764432 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/3435/statm: 254483 248 113 282 0 254199 0
[pid=3411/tid=3418] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3418/stat : 3418 (python) S 3408 3411 2634 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 9 0 549617825 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3421] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2634 0 -1 4202560 22 931 0 0 0 0 0 0 22 0 9 0 549617828 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3424] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3424/stat : 3424 (python) S 3408 3411 2634 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 9 0 549617832 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
[pid=3411/tid=3427] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3427/stat : 3427 (python) S 3408 3411 2634 0 -1 4202560 82 931 0 0 0 0 0 0 22 0 9 0 549617836 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3431] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3431/stat : 3431 (python) S 3408 3411 2634 0 -1 4202560 35 931 0 0 0 0 0 0 23 0 9 0 549617840 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3434] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3434/stat : 3434 (python) S 3408 3411 2634 0 -1 4202560 30 931 0 0 0 0 0 0 24 0 9 0 549617844 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 6754036

[startup+3.10093 s]
/proc/loadavg: 0.74 0.18 0.05 9/283 3441
/proc/meminfo: memFree=23595092/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=426464 CPUtime=1 cores=0-7
/proc/3411/stat : 3411 (python) S 3408 3411 2634 0 -1 4202496 15728 931 1 0 88 12 0 0 25 0 9 0 549617744 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3411/statm: 106616 7341 1891 364 0 42513 0
[pid=3417] ppid=3411 vsize=278704 CPUtime=0 cores=0-7
/proc/3417/stat : 3417 (python) S 3411 3411 2634 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 549617825 285392896 5614 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854287 0 0 16781312 514 11899056402208882947 0 0 17 5 0 0 0
/proc/3417/statm: 69676 5614 354 364 0 5594 0
[pid=3419] ppid=3417 vsize=1017932 CPUtime=2.28 cores=0-7
/proc/3419/stat : 3419 (gnovelty+2) R 3417 3419 3419 0 -1 4202496 512 0 0 0 228 0 0 0 25 0 1 0 549617825 1042362368 247 33554432000 134512640 135663704 4288162576 18446744073709551615 134524540 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/3419/statm: 254483 247 113 282 0 254199 0
[pid=3420] ppid=3411 vsize=289356 CPUtime=0 cores=0-7
/proc/3420/stat : 3420 (python) S 3411 3411 2634 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 549617828 296300544 5696 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 11899060250499580162 0 0 17 0 0 0 0
/proc/3420/statm: 72339 5696 348 364 0 8254 0
[pid=3422] ppid=3420 vsize=1017932 CPUtime=2.25 cores=0-7
/proc/3422/stat : 3422 (gnovelty+2) R 3420 3422 3422 0 -1 4202496 510 0 0 0 225 0 0 0 25 0 1 0 549617829 1042362368 248 33554432000 134512640 135663704 4291254320 18446744073709551615 134525691 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3422/statm: 254483 248 113 282 0 254199 0
[pid=3423] ppid=3411 vsize=299404 CPUtime=0 cores=0-7
/proc/3423/stat : 3423 (python) S 3411 3411 2634 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 549617832 306589696 5631 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 5994018429441376514 0 0 17 2 0 0 0
/proc/3423/statm: 74851 5631 348 364 0 10763 0
[pid=3425] ppid=3423 vsize=416788 CPUtime=2.21 cores=0-7
/proc/3425/stat : 3425 (adaptg2wsat2009) R 3423 3425 3425 0 -1 4202496 630 0 0 0 221 0 0 0 25 0 1 0 549617832 426790912 363 33554432000 134512640 135107411 4287670016 18446744073709551615 134531248 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3425/statm: 104197 363 59 146 0 103073 0
[pid=3426] ppid=3411 vsize=375196 CPUtime=0 cores=0-7
/proc/3426/stat : 3426 (python) S 3411 3411 2634 0 -1 4202560 710 0 0 0 0 0 0 0 18 0 1 0 549617836 384200704 5808 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 11379202356794065156 0 0 17 0 0 0 0
/proc/3426/statm: 93799 5808 348 364 0 29708 0
[pid=3428] ppid=3426 vsize=416788 CPUtime=2.17 cores=0-7
/proc/3428/stat : 3428 (adaptg2wsat2009) R 3426 3428 3428 0 -1 4202496 617 0 0 0 217 0 0 0 25 0 1 0 549617836 426790912 364 33554432000 134512640 135107411 4288258080 18446744073709551615 134531781 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/3428/statm: 104197 364 59 146 0 103073 0
[pid=3430] ppid=3411 vsize=385452 CPUtime=0 cores=0-7
/proc/3430/stat : 3430 (python) S 3411 3411 2634 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 549617840 394702848 5767 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 11751271868953231618 0 0 17 1 0 0 0
/proc/3430/statm: 96363 5767 348 364 0 32269 0
[pid=3432] ppid=3430 vsize=416788 CPUtime=2.13 cores=0-7
/proc/3432/stat : 3432 (adaptg2wsat2009) R 3430 3432 3432 0 -1 4202496 621 0 0 0 213 0 0 0 25 0 1 0 549617840 426790912 364 33554432000 134512640 135107411 4292644784 18446744073709551615 134531928 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3432/statm: 104197 364 59 146 0 103073 0
[pid=3433] ppid=3411 vsize=395708 CPUtime=0 cores=0-7
/proc/3433/stat : 3433 (python) S 3411 3411 2634 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 549617844 405204992 5753 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 10193691327539937540 0 0 17 1 0 0 0
/proc/3433/statm: 98927 5753 348 364 0 34830 0
[pid=3435] ppid=3433 vsize=1017932 CPUtime=2.08 cores=0-7
/proc/3435/stat : 3435 (gnovelty+2) R 3433 3435 3435 0 -1 4202496 504 0 0 0 208 0 0 0 25 0 1 0 549617844 1042362368 248 33554432000 134512640 135663704 4287764432 18446744073709551615 134525229 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/3435/statm: 254483 248 113 282 0 254199 0
[pid=3436] ppid=3411 vsize=405964 CPUtime=0 cores=0-7
/proc/3436/stat : 3436 (python) S 3411 3411 2634 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 549617847 415707136 5893 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 10193695175830634756 0 0 17 1 0 0 0
/proc/3436/statm: 101491 5893 348 364 0 37391 0
[pid=3438] ppid=3436 vsize=246936 CPUtime=2.03 cores=0-7
/proc/3438/stat : 3438 (FH) R 3436 3438 3438 0 -1 4202496 585 0 0 0 203 0 0 0 25 0 1 0 549617849 252862464 326 33554432000 134512640 134936988 4291996160 18446744073709551615 134554594 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/3438/statm: 61734 326 41 104 0 61238 0
[pid=3439] ppid=3411 vsize=416220 CPUtime=0 cores=0-7
/proc/3439/stat : 3439 (python) S 3411 3411 2634 0 -1 4202560 774 0 0 0 0 0 0 0 18 0 1 0 549617851 426209280 5800 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 1784872688913711364 0 0 17 2 0 0 0
/proc/3439/statm: 104055 5800 354 364 0 39952 0
[pid=3441] ppid=3439 vsize=416788 CPUtime=2.02 cores=0-7
/proc/3441/stat : 3441 (adaptg2wsat2009) R 3439 3441 3441 0 -1 4202496 627 0 0 0 202 0 0 0 25 0 1 0 549617851 426790912 363 33554432000 134512640 135107411 4293066176 18446744073709551615 134532376 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/3441/statm: 104197 363 59 146 0 103073 0
[pid=3411/tid=3418] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3418/stat : 3418 (python) S 3408 3411 2634 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 9 0 549617825 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3421] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2634 0 -1 4202560 22 931 0 0 0 0 0 0 22 0 9 0 549617828 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3424] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3424/stat : 3424 (python) S 3408 3411 2634 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 9 0 549617832 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
[pid=3411/tid=3427] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3427/stat : 3427 (python) S 3408 3411 2634 0 -1 4202560 82 931 0 0 0 0 0 0 22 0 9 0 549617836 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3431] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3431/stat : 3431 (python) S 3408 3411 2634 0 -1 4202560 35 931 0 0 0 0 0 0 23 0 9 0 549617840 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3434] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3434/stat : 3434 (python) S 3408 3411 2634 0 -1 4202560 30 931 0 0 0 0 0 0 24 0 9 0 549617844 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 7 0 0 0
[pid=3411/tid=3437] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3437/stat : 3437 (python) S 3408 3411 2634 0 -1 4202560 32 931 0 0 0 0 0 0 25 0 9 0 549617847 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
[pid=3411/tid=3440] ppid=3408 vsize=426464 CPUtime=0 cores=0-7
/proc/3411/task/3440/stat : 3440 (python) S 3408 3411 2634 0 -1 4202560 33 931 0 0 0 0 0 0 25 0 9 0 549617851 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.17
Current children cumulated vsize (KiB) 8240352

[startup+6.30134 s]
/proc/loadavg: 1.32 0.31 0.09 9/283 3441
/proc/meminfo: memFree=23594240/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=426464 CPUtime=1 cores=0-7
/proc/3411/stat : 3411 (python) S 3408 3411 2634 0 -1 4202496 15728 931 1 0 88 12 0 0 25 0 9 0 549617744 436699136 7341 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3411/statm: 106616 7341 1891 364 0 42513 0

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

/proc/meminfo: memFree=23514044/32951124 swapFree=65796668/67111528
[pid=3411] ppid=3408 vsize=529024 CPUtime=1.77 cores=0-7
/proc/3411/stat : 3411 (python) S 3408 3411 2634 0 -1 4202496 26383 931 1 0 162 15 0 0 19 0 19 0 549617744 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3411/statm: 132256 7523 1912 364 0 68123 0
[pid=3417] ppid=3411 vsize=288948 CPUtime=0.18 cores=0-7
/proc/3417/stat : 3417 (python) S 3411 3411 2634 0 -1 4202560 1084 0 0 0 10 8 0 0 19 0 2 0 549617825 295882752 5675 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/3417/statm: 72237 5675 410 364 0 8155 0
[pid=3419] ppid=3417 vsize=1017932 CPUtime=100.17 cores=0-7
/proc/3419/stat : 3419 (gnovelty+2) T 3417 3419 3419 0 -1 4202496 512 0 0 0 10017 0 0 0 25 0 1 0 549617825 1042362368 247 33554432000 134512640 135663704 4288162576 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/3419/statm: 254483 247 113 282 0 254199 0
[pid=3417/tid=3445] ppid=3411 vsize=288948 CPUtime=0 cores=0-7
/proc/3417/task/3445/stat : 3445 (python) S 3411 3411 2634 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 549627843 295882752 5675 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604447093223616 0 0 -1 5 0 0 0
[pid=3420] ppid=3411 vsize=289356 CPUtime=0.18 cores=0-7
/proc/3420/stat : 3420 (python) S 3411 3411 2634 0 -1 4202560 1081 0 0 0 10 8 0 0 18 0 2 0 549617828 296300544 5749 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/3420/statm: 72339 5749 400 364 0 8254 0
[pid=3422] ppid=3420 vsize=1017932 CPUtime=100.18 cores=0-7
/proc/3422/stat : 3422 (gnovelty+2) T 3420 3422 3422 0 -1 4202496 510 0 0 0 10018 0 0 0 25 0 1 0 549617829 1042362368 248 33554432000 134512640 135663704 4291254320 18446744073709551615 134524947 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/3422/statm: 254483 248 113 282 0 254199 0
[pid=3420/tid=3446] ppid=3411 vsize=289356 CPUtime=0 cores=0-7
/proc/3420/task/3446/stat : 3446 (python) S 3411 3411 2634 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 549627847 296300544 5749 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604447093224512 0 0 -1 4 0 0 0
[pid=3423] ppid=3411 vsize=364940 CPUtime=0.37 cores=0-7
/proc/3423/stat : 3423 (python) S 3411 3411 2634 0 -1 4202560 1097 0 0 0 17 20 0 0 18 0 2 0 549617832 373698560 5690 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3423/statm: 91235 5690 400 364 0 27147 0
[pid=3425] ppid=3423 vsize=416788 CPUtime=194.87 cores=0-7
/proc/3425/stat : 3425 (adaptg2wsat2009) T 3423 3425 3425 0 -1 4202496 630 0 0 0 19487 0 0 0 25 0 1 0 549617832 426790912 363 33554432000 134512640 135107411 4287670016 18446744073709551615 134531844 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/3425/statm: 104197 363 59 146 0 103073 0
[pid=3423/tid=3450] ppid=3411 vsize=364940 CPUtime=0 cores=0-7
/proc/3423/task/3450/stat : 3450 (python) S 3411 3411 2634 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 2 0 549627849 373698560 5690 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604441423382528 0 0 -1 5 0 0 0
[pid=3426] ppid=3411 vsize=375196 CPUtime=0.35 cores=0-7
/proc/3426/stat : 3426 (python) S 3411 3411 2634 0 -1 4202560 1016 0 0 0 19 16 0 0 18 0 2 0 549617836 384200704 5861 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/3426/statm: 93799 5861 400 364 0 29708 0
[pid=3428] ppid=3426 vsize=416788 CPUtime=195.08 cores=0-7
/proc/3428/stat : 3428 (adaptg2wsat2009) T 3426 3428 3428 0 -1 4202496 617 0 0 0 19507 1 0 0 25 0 1 0 549617836 426790912 364 33554432000 134512640 135107411 4288258080 18446744073709551615 134532242 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/3428/statm: 104197 364 59 146 0 103073 0
[pid=3426/tid=3454] ppid=3411 vsize=375196 CPUtime=0 cores=0-7
/proc/3426/task/3454/stat : 3454 (python) S 3411 3411 2634 0 -1 4202560 116 0 0 0 0 0 0 0 18 0 2 0 549627854 384200704 5861 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604446972185664 0 0 -1 0 0 0 0
[pid=3430] ppid=3411 vsize=385452 CPUtime=0.38 cores=0-7
/proc/3430/stat : 3430 (python) S 3411 3411 2634 0 -1 4202560 982 0 0 0 23 15 0 0 18 0 2 0 549617840 394702848 5820 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/3430/statm: 96363 5820 400 364 0 32269 0
[pid=3432] ppid=3430 vsize=416788 CPUtime=196.77 cores=0-7
/proc/3432/stat : 3432 (adaptg2wsat2009) T 3430 3432 3432 0 -1 4202496 621 0 0 0 19676 1 0 0 25 0 1 0 549617840 426790912 364 33554432000 134512640 135107411 4292644784 18446744073709551615 134532381 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/3432/statm: 104197 364 59 146 0 103073 0
[pid=3430/tid=3458] ppid=3411 vsize=385452 CPUtime=0 cores=0-7
/proc/3430/task/3458/stat : 3458 (python) S 3411 3411 2634 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 2 0 549627857 394702848 5820 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604442763847552 0 0 -1 1 0 0 0
[pid=3433] ppid=3411 vsize=395708 CPUtime=0.18 cores=0-7
/proc/3433/stat : 3433 (python) S 3411 3411 2634 0 -1 4202560 985 0 0 0 10 8 0 0 19 0 2 0 549617844 405204992 5806 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/3433/statm: 98927 5806 400 364 0 34830 0
[pid=3435] ppid=3433 vsize=1017932 CPUtime=99.35 cores=0-7
/proc/3435/stat : 3435 (gnovelty+2) T 3433 3435 3435 0 -1 4202496 504 0 0 0 9935 0 0 0 25 0 1 0 549617844 1042362368 248 33554432000 134512640 135663704 4287764432 18446744073709551615 134525253 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/3435/statm: 254483 248 113 282 0 254199 0
[pid=3433/tid=3462] ppid=3411 vsize=395708 CPUtime=0 cores=0-7
/proc/3433/task/3462/stat : 3462 (python) S 3411 3411 2634 0 -1 4202560 72 0 0 0 0 0 0 0 19 0 2 0 549627863 405204992 5806 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604442401195072 0 0 -1 0 0 0 0
[pid=3436] ppid=3411 vsize=405964 CPUtime=0.18 cores=0-7
/proc/3436/stat : 3436 (python) S 3411 3411 2634 0 -1 4202560 996 0 0 0 11 7 0 0 19 0 2 0 549617847 415707136 5946 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/3436/statm: 101491 5946 400 364 0 37391 0
[pid=3438] ppid=3436 vsize=246936 CPUtime=99.63 cores=0-7
/proc/3438/stat : 3438 (FH) T 3436 3438 3438 0 -1 4202496 585 0 0 0 9963 0 0 0 25 0 1 0 549617849 252862464 326 33554432000 134512640 134936988 4291996160 18446744073709551615 134553254 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/3438/statm: 61734 326 41 104 0 61238 0
[pid=3436/tid=3466] ppid=3411 vsize=405964 CPUtime=0 cores=0-7
/proc/3436/task/3466/stat : 3466 (python) S 3411 3411 2634 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 2 0 549627869 415707136 5946 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604442401195968 0 0 -1 0 0 0 0
[pid=3439] ppid=3411 vsize=416220 CPUtime=0.39 cores=0-7
/proc/3439/stat : 3439 (python) S 3411 3411 2634 0 -1 4202560 1041 0 0 0 24 15 0 0 18 0 2 0 549617851 426209280 5853 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3439/statm: 104055 5853 406 364 0 39952 0
[pid=3441] ppid=3439 vsize=416788 CPUtime=196.57 cores=0-7
/proc/3441/stat : 3441 (adaptg2wsat2009) T 3439 3441 3441 0 -1 4202496 627 0 0 0 19657 0 0 0 25 0 1 0 549617851 426790912 363 33554432000 134512640 135107411 4293066176 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/3441/statm: 104197 363 59 146 0 103073 0
[pid=3439/tid=3467] ppid=3411 vsize=416220 CPUtime=0 cores=0-7
/proc/3439/task/3467/stat : 3467 (python) S 3411 3411 2634 0 -1 4202560 77 0 0 0 0 0 0 0 18 0 2 0 549627870 426209280 5853 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604453328266304 0 0 -1 1 0 0 0
[pid=3447] ppid=3411 vsize=426476 CPUtime=0.79 cores=0-7
/proc/3447/stat : 3447 (python) S 3411 3411 2634 0 -1 4202560 851 0 0 0 44 35 0 0 15 0 1 0 549627847 436711424 5840 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 4292840844806816004 0 0 17 1 0 0 0
/proc/3447/statm: 106619 5840 371 364 0 42513 0
[pid=3449] ppid=3447 vsize=4696 CPUtime=353.04 cores=0-7
/proc/3449/stat : 3449 (march_hi) R 3447 3449 3449 0 -1 4202496 1693 0 0 0 35304 0 0 0 25 0 1 0 549627847 4808704 798 33554432000 4194304 4955518 140736978619552 18446744073709551615 4297472 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/3449/statm: 1174 798 106 186 0 987 0
[pid=3451] ppid=3411 vsize=436732 CPUtime=0.8 cores=0-7
/proc/3451/stat : 3451 (python) S 3411 3411 2634 0 -1 4202560 870 0 0 0 44 36 0 0 15 0 1 0 549627851 447213568 5853 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 12148182922196648193 0 0 17 5 0 0 0
/proc/3451/statm: 109183 5853 371 364 0 45074 0
[pid=3453] ppid=3451 vsize=3932 CPUtime=352.37 cores=0-7
/proc/3453/stat : 3453 (march_hi) R 3451 3453 3453 0 -1 4202496 1693 0 0 0 35237 0 0 0 25 0 1 0 549627852 4026368 796 33554432000 4194304 4955518 140737283899312 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3453/statm: 983 796 106 186 0 796 0
[pid=3455] ppid=3411 vsize=446988 CPUtime=0.79 cores=0-7
/proc/3455/stat : 3455 (python) S 3411 3411 2634 0 -1 4202560 869 0 0 0 42 37 0 0 15 0 1 0 549627856 457715712 5891 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 17745673473901953282 0 0 17 4 0 0 0
/proc/3455/statm: 111747 5891 371 364 0 47635 0
[pid=3457] ppid=3455 vsize=3932 CPUtime=352.51 cores=0-7
/proc/3457/stat : 3457 (march_hi) R 3455 3457 3457 0 -1 4202496 1695 0 0 0 35251 0 0 0 25 0 1 0 549627856 4026368 798 33554432000 4194304 4955518 140737052956992 18446744073709551615 4297472 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3457/statm: 983 798 106 186 0 796 0
[pid=3459] ppid=3411 vsize=457244 CPUtime=0.78 cores=0-7
/proc/3459/stat : 3459 (python) S 3411 3411 2634 0 -1 4202560 884 0 0 0 45 33 0 0 15 0 1 0 549627861 468217856 5872 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 3969065456752361729 0 0 17 0 0 0 0
/proc/3459/statm: 114311 5872 372 364 0 50196 0
[pid=3461] ppid=3459 vsize=3932 CPUtime=352.7 cores=0-7
/proc/3461/stat : 3461 (march_hi) R 3459 3461 3461 0 -1 4202496 1696 0 0 0 35270 0 0 0 25 0 1 0 549627862 4026368 797 33554432000 4194304 4955518 140735121025600 18446744073709551615 4237804 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/3461/statm: 983 797 106 186 0 796 0
[pid=3463] ppid=3411 vsize=467500 CPUtime=0.81 cores=0-7
/proc/3463/stat : 3463 (python) S 3411 3411 2634 0 -1 4202560 888 0 0 0 44 37 0 0 15 0 1 0 549627866 478720000 5946 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 5602272237580157185 0 0 17 0 0 0 0
/proc/3463/statm: 116875 5946 371 364 0 52757 0
[pid=3465] ppid=3463 vsize=3932 CPUtime=351.37 cores=0-7
/proc/3465/stat : 3465 (march_hi) R 3463 3465 3465 0 -1 4202496 1692 0 0 0 35134 3 0 0 25 0 1 0 549627867 4026368 795 33554432000 4194304 4955518 140734056035872 18446744073709551615 4237818 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3465/statm: 983 795 106 186 0 796 0
[pid=3468] ppid=3411 vsize=477756 CPUtime=0.39 cores=0-7
/proc/3468/stat : 3468 (python) S 3411 3411 2634 0 -1 4202560 1070 0 0 0 22 17 0 0 19 0 2 0 549627872 489222144 5937 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/3468/statm: 119439 5937 400 364 0 55318 0
[pid=3470] ppid=3468 vsize=268424 CPUtime=198.69 cores=0-7
/proc/3470/stat : 3470 (hybridGM3) T 3468 3470 3470 0 -1 4202496 4878 0 0 0 19869 0 0 0 25 0 1 0 549627873 274866176 4610 33554432000 134512640 135204385 4286990800 18446744073709551615 134537167 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/3470/statm: 67106 4610 64 169 0 66936 0
[pid=3468/tid=3483] ppid=3411 vsize=477756 CPUtime=0 cores=0-7
/proc/3468/task/3483/stat : 3483 (python) S 3411 3411 2634 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 549648112 489222144 5937 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604445272172352 0 0 -1 7 0 0 0
[pid=3476] ppid=3411 vsize=488012 CPUtime=0.2 cores=0-7
/proc/3476/stat : 3476 (python) S 3411 3411 2634 0 -1 4202560 1125 0 0 0 11 9 0 0 19 0 2 0 549647125 499724288 5932 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/3476/statm: 122003 5932 407 364 0 57879 0
[pid=3478] ppid=3476 vsize=246940 CPUtime=99.74 cores=0-7
/proc/3478/stat : 3478 (FH) T 3476 3478 3478 0 -1 4202496 601 0 0 0 9974 0 0 0 25 0 1 0 549647128 252866560 326 33554432000 134512640 134936988 4291517232 18446744073709551615 134554594 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/3478/statm: 61735 326 41 104 0 61239 0
[pid=3476/tid=3490] ppid=3411 vsize=488012 CPUtime=0 cores=0-7
/proc/3476/task/3490/stat : 3490 (python) S 3411 3411 2634 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 2 0 549657146 499724288 5932 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 514 18446604449277564224 0 0 -1 0 0 0 0
[pid=3479] ppid=3411 vsize=498268 CPUtime=0.37 cores=0-7
/proc/3479/stat : 3479 (python) S 3411 3411 2634 0 -1 4202560 937 0 0 0 22 15 0 0 15 0 1 0 549647133 510226432 6058 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 4497631482549862657 0 0 17 2 0 0 0
/proc/3479/statm: 124567 6058 379 364 0 60440 0
[pid=3482] ppid=3479 vsize=3080 CPUtime=157.64 cores=0-7
/proc/3482/stat : 3482 (march_hi) R 3479 3482 3482 0 -1 4202496 1460 0 0 0 15764 0 0 0 25 0 1 0 549647133 3153920 556 33554432000 4194304 4955518 140735799930032 18446744073709551615 4208667 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/3482/statm: 770 556 106 186 0 583 0
[pid=3484] ppid=3411 vsize=508524 CPUtime=0.34 cores=0-7
/proc/3484/stat : 3484 (python) S 3411 3411 2634 0 -1 4202560 945 0 0 0 18 16 0 0 15 0 1 0 549648118 520728576 6009 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 2182297488965206274 0 0 17 3 0 0 0
/proc/3484/statm: 127131 6009 374 364 0 63001 0
[pid=3486] ppid=3484 vsize=3080 CPUtime=150.47 cores=0-7
/proc/3486/stat : 3486 (march_hi) R 3484 3486 3486 0 -1 4202496 1459 0 0 0 15047 0 0 0 25 0 1 0 549648118 3153920 551 33554432000 4194304 4955518 140736291187824 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/3486/statm: 770 551 106 186 0 583 0
[pid=3491] ppid=3411 vsize=518780 CPUtime=0.13 cores=0-7
/proc/3491/stat : 3491 (python) S 3411 3411 2634 0 -1 4202560 938 0 0 0 6 7 0 0 15 0 1 0 549657153 531230720 5982 33554432000 4194304 5683644 140735941105904 18446744073709551615 246516854342 0 0 16781312 514 3825856266257793283 0 0 17 2 0 0 0
/proc/3491/statm: 129695 5982 374 364 0 65562 0
[pid=3493] ppid=3491 vsize=2620 CPUtime=60.01 cores=0-7
/proc/3493/stat : 3493 (march_hi) R 3491 3493 3493 0 -1 4202496 1298 0 0 0 6001 0 0 0 25 0 1 0 549657154 2682880 438 33554432000 4194304 4955518 140735700933888 18446744073709551615 4208656 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/3493/statm: 655 438 106 186 0 468 0
[pid=3411/tid=3418] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3418/stat : 3418 (python) S 3408 3411 2634 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 19 0 549617825 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3421] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3421/stat : 3421 (python) S 3408 3411 2634 0 -1 4202560 22 931 0 0 0 0 0 0 22 0 19 0 549617828 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3424] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3424/stat : 3424 (python) S 3408 3411 2634 0 -1 4202560 30 931 0 0 0 0 0 0 15 0 19 0 549617832 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
[pid=3411/tid=3427] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3427/stat : 3427 (python) S 3408 3411 2634 0 -1 4202560 88 931 0 0 0 0 0 0 18 0 19 0 549617836 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3431] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3431/stat : 3431 (python) S 3408 3411 2634 0 -1 4202560 41 931 0 0 0 0 0 0 18 0 19 0 549617840 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3434] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3434/stat : 3434 (python) S 3408 3411 2634 0 -1 4202560 30 931 0 0 0 0 0 0 24 0 19 0 549617844 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 7 0 0 0
[pid=3411/tid=3437] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3437/stat : 3437 (python) S 3408 3411 2634 0 -1 4202560 32 931 0 0 0 0 0 0 25 0 19 0 549617847 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
[pid=3411/tid=3440] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3440/stat : 3440 (python) S 3408 3411 2634 0 -1 4202560 40 931 0 0 0 0 0 0 18 0 19 0 549617851 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3448] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3448/stat : 3448 (python) S 3408 3411 2634 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 19 0 549627847 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3452] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3452/stat : 3452 (python) S 3408 3411 2634 0 -1 4202560 34 931 0 0 0 0 0 0 21 0 19 0 549627851 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 5 0 0 0
[pid=3411/tid=3456] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3456/stat : 3456 (python) S 3408 3411 2634 0 -1 4202560 32 931 0 0 0 0 0 0 23 0 19 0 549627856 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 4 0 0 0
[pid=3411/tid=3460] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3460/stat : 3460 (python) S 3408 3411 2634 0 -1 4202560 33 931 0 0 0 0 0 0 25 0 19 0 549627861 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3464] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3464/stat : 3464 (python) S 3408 3411 2634 0 -1 4202560 33 931 0 0 0 0 0 0 25 0 19 0 549627867 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 0 0 0 0
[pid=3411/tid=3469] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3469/stat : 3469 (python) S 3408 3411 2634 0 -1 4202560 32 931 0 0 0 0 0 0 25 0 19 0 549627872 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 6 0 0 0
[pid=3411/tid=3477] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3477/stat : 3477 (python) S 3408 3411 2634 0 -1 4202560 36 931 0 0 0 0 0 0 19 0 19 0 549647125 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
[pid=3411/tid=3481] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3481/stat : 3481 (python) S 3408 3411 2634 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 19 0 549647133 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3485] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3485/stat : 3485 (python) S 3408 3411 2634 0 -1 4202560 34 931 0 0 0 0 0 0 20 0 19 0 549648118 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 2 0 0 0
[pid=3411/tid=3492] ppid=3408 vsize=529024 CPUtime=0 cores=0-7
/proc/3411/task/3492/stat : 3492 (python) S 3408 3411 2634 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 19 0 549657153 541720576 7523 33554432000 4194304 5683644 140735941105904 18446744073709551615 246528657841 0 0 16781312 2 18446604453861981184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3620.54
Current children cumulated vsize (KiB) 13689540

Child status: 0
Real time (s): 454.499
CPU time (s): 3621.49
CPU user time (s): 3617.69
CPU system time (s): 3.79342
CPU usage (%): 796.808
Max. virtual memory (cumulated for all children) (KiB): 13689540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3617.69
system time used= 3.79342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73255
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= 9114
involuntary context switches= 42483

runsolver used 2.29265 second user time and 5.06223 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-03 01:49:55
IDJOB=3322312
IDBENCH=83090
IDSOLVER=1712
FILE ID=node134/3322312-1304380195
RUNJOBID= node134-1304369188-2648
PBS_JOBID= 13181770
Free space on /tmp= 73136 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1675230100-032.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-3322312-1304380195/watcher-3322312-1304380195 -o /tmp/evaluation-result-3322312-1304380195/solver-3322312-1304380195 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322312-1304380195.cnf -seed 30957823 -budget 40000 -cores 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f9a60c414c65108f1df33ba3a81b8715
RANDOM SEED=30957823

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23654728 kB
Buffers:        243040 kB
Cached:        1151672 kB
SwapCached:       8900 kB
Active:        5689596 kB
Inactive:      3273896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23654728 kB
SwapTotal:    67111528 kB
SwapFree:     65796668 kB
Dirty:           32412 kB
Writeback:           0 kB
AnonPages:     7562256 kB
Mapped:          20536 kB
Slab:           236556 kB
PageTables:      31224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38902156 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= 73104 MiB
End job on node134 at 2011-05-03 01:57:30