Trace number 3317267

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-random? (TO) 4800.31 1206.41

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf
MD5SUM6416f44b34786f590ff716f4b8e2cf7c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

Solver Data 

0.27/0.48	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.27/0.48	c INFO: solving HOME/instance-3317267-1304268539.cnf
0.27/0.48	c INFO: computing task features
0.35/0.53	c INFO: computed variable-clause graph statistics
0.35/0.53	c INFO: computed clause balance statistics
0.55/0.78	c INFO: computed variable balance statistics
0.65/0.87	c INFO: computed small-clause counts
0.65/0.87	c INFO: computed Horn-clause counts
0.65/0.88	c INFO: computed variable graph statistics
0.65/0.88	c INFO: collected features for HOME/instance-3317267-1304268539.cnf in 0.40 s
0.75/0.91	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.49)
0.75/0.94	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.10)
0.75/0.97	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.06)
0.75/1.00	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.04)
400.25/101.09	c INFO: running adaptg2wsat2009++@0 for 97 with 4699 remaining (b = 0.03)
400.68/101.13	c INFO: running gnovelty+2@0 for 97 with 4699 remaining (b = 0.03)
400.68/101.16	c INFO: running FH@0 for 97 with 4699 remaining (b = 0.02)
400.68/101.20	c INFO: running adaptg2wsat2009++@0 for 97 with 4699 remaining (b = 0.02)
800.22/201.30	c INFO: running adaptg2wsat2009++@0 for 97 with 4599 remaining (b = 0.01)
800.60/201.34	c INFO: running hybridGM3@0 for 194 with 4599 remaining (b = 0.03)
800.60/201.38	c INFO: running FH@0 for 97 with 4599 remaining (b = 0.01)
800.82/201.43	c INFO: running march_hi@0 for 485 with 4599 remaining (b = 0.06)
1199.55/301.52	c INFO: running hybridGM3@0 for 194 with 4498 remaining (b = 0.02)
1199.55/301.60	c INFO: running march_hi@0 for 388 with 4498 remaining (b = 0.05)
1582.65/397.75	c INFO: running hybridGM3@99 for 97 with 4402 remaining (b = 0.01)
1977.73/496.96	c INFO: running hybridGM3@100 for 97 with 4303 remaining (b = 0.01)
1982.10/498.01	c INFO: running hybridGM3@295 for 97 with 4302 remaining (b = 0.01)
2360.84/593.20	c INFO: running gnovelty+2@0 for 97 with 4207 remaining (b = 0.01)
2380.75/598.16	c INFO: running march_hi@0 for 388 with 4202 remaining (b = 0.04)
2755.84/692.30	c INFO: running march_hi@98 for 291 with 4108 remaining (b = 0.03)
2756.24/692.43	c INFO: running adaptg2wsat2009++@0 for 97 with 4108 remaining (b = 0.01)
2788.93/700.64	c INFO: running march_hi@196 for 291 with 4099 remaining (b = 0.04)
3143.20/789.64	c INFO: running adaptg2wsat2009++@99 for 97 with 4010 remaining (b = 0.01)
3530.21/886.85	c INFO: running hybridGM3@389 for 97 with 3913 remaining (b = 0.01)
3910.79/982.42	c INFO: running march_hi@197 for 291 with 3818 remaining (b = 0.04)
3917.17/984.06	c INFO: running hybridGM3@0 for 194 with 3816 remaining (b = 0.02)
3937.42/989.18	c INFO: running march_hi@292 for 97 with 3811 remaining (b = 0.02)
3960.47/994.93	c INFO: running march_hi@489 for 194 with 3805 remaining (b = 0.03)
4337.48/1089.84	c INFO: running march_hi@681 for 1455 with 3710 remaining (b = 0.14)
4697.40/1180.49	c INFO: running march_hi@0 for 388 with 3620 remaining (b = 0.04)
4760.95/1196.42	c INFO: running march_hi@587 for 97 with 3604 remaining (b = 0.01)

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: 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-3317267-1304268539/watcher-3317267-1304268539 -o /tmp/evaluation-result-3317267-1304268539/solver-3317267-1304268539 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317267-1304268539.cnf -seed 225418663 -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.11 7.98 5.93 6/237 17198
/proc/meminfo: memFree=23957868/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/17198/stat : 17198 (python) R 17196 17198 16783 0 -1 4202496 860 0 0 0 0 0 0 0 25 0 1 0 519269743 16154624 741 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510297232 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17198/statm: 3944 741 335 364 0 431 0

[startup+0.0893939 s]
/proc/loadavg: 8.11 7.98 5.93 6/237 17198
/proc/meminfo: memFree=23957868/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=94176 CPUtime=0.05 cores=0,2,4,6
/proc/17198/stat : 17198 (python) R 17196 17198 16783 0 -1 4202496 2751 0 0 0 5 0 0 0 25 0 1 0 519269743 96436224 2461 33554432000 4194304 5683644 140735728899392 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17198/statm: 23544 2464 764 364 0 1676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 94176

[startup+0.10039 s]
/proc/loadavg: 8.11 7.98 5.93 6/237 17198
/proc/meminfo: memFree=23957868/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=102008 CPUtime=0.06 cores=0,2,4,6
/proc/17198/stat : 17198 (python) S 17196 17198 16783 0 -1 4202496 3027 0 0 0 5 1 0 0 25 0 1 0 519269743 104456192 2717 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/17198/statm: 25502 2717 841 364 0 1802 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 102008

[startup+0.300359 s]
/proc/loadavg: 8.11 7.98 5.93 6/237 17198
/proc/meminfo: memFree=23957868/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=157380 CPUtime=0.2 cores=0,2,4,6
/proc/17198/stat : 17198 (python) R 17196 17198 16783 0 -1 4202496 6590 937 1 0 16 4 0 0 17 0 1 0 519269743 161157120 4695 33554432000 4194304 5683644 140735728899392 18446744073709551615 4540682 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17198/statm: 39345 4695 1257 364 0 3453 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 157380

[startup+0.700285 s]
/proc/loadavg: 8.11 7.98 5.93 6/237 17198
/proc/meminfo: memFree=23957868/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=279940 CPUtime=0.55 cores=0,2,4,6
/proc/17198/stat : 17198 (python) R 17196 17198 16783 0 -1 4202496 10127 937 1 0 49 6 0 0 17 0 1 0 519269743 286658560 7384 33554432000 4194304 5683644 140735728899392 18446744073709551615 47327315477121 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17198/statm: 69985 7384 1826 364 0 5909 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 279940

[startup+1.5011 s]
/proc/loadavg: 7.86 7.93 5.93 10/247 17212
/proc/meminfo: memFree=23920836/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=320356 CPUtime=0.84 cores=0,2,4,6
/proc/17198/stat : 17198 (python) S 17196 17198 16783 0 -1 4202496 13120 937 1 0 77 7 0 0 22 0 5 0 519269743 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 80089 7288 1883 364 0 15998 0
[pid=17204] ppid=17198 vsize=278796 CPUtime=0 cores=0,2,4,6
/proc/17204/stat : 17204 (python) S 17198 17198 16783 0 -1 4202560 730 0 0 0 0 0 0 0 19 0 1 0 519269834 285487104 5638 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317583 0 0 16781312 514 4306660881334271999 0 0 17 2 0 0 0
/proc/17204/statm: 69699 5638 354 364 0 5617 0
[pid=17206] ppid=17204 vsize=1018084 CPUtime=0.56 cores=0,2,4,6
/proc/17206/stat : 17206 (gnovelty+2) R 17204 17206 17206 0 -1 4202496 549 0 0 0 56 0 0 0 22 0 1 0 519269834 1042518016 287 33554432000 134512640 135663704 4291487008 18446744073709551615 134545772 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17206/statm: 254521 287 113 282 0 254237 0
[pid=17207] ppid=17198 vsize=289396 CPUtime=0 cores=0,2,4,6
/proc/17207/stat : 17207 (python) S 17198 17198 16783 0 -1 4202560 742 0 0 0 0 0 0 0 21 0 1 0 519269837 296341504 5707 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4306657033043574783 0 0 17 4 0 0 0
/proc/17207/statm: 72349 5707 348 364 0 8264 0
[pid=17209] ppid=17207 vsize=1018084 CPUtime=0.55 cores=0,2,4,6
/proc/17209/stat : 17209 (gnovelty+2) R 17207 17209 17209 0 -1 4202496 553 0 0 0 55 0 0 0 25 0 1 0 519269837 1042518016 287 33554432000 134512640 135663704 4288683632 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17209/statm: 254521 287 113 282 0 254237 0
[pid=17210] ppid=17198 vsize=299316 CPUtime=0 cores=0,2,4,6
/proc/17210/stat : 17210 (python) S 17198 17198 16783 0 -1 4202560 720 0 0 0 0 0 0 0 19 0 1 0 519269840 306499584 5620 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4520800666448297983 0 0 17 2 0 0 0
/proc/17210/statm: 74829 5620 344 364 0 10741 0
[pid=17212] ppid=17210 vsize=416916 CPUtime=0.52 cores=0,2,4,6
/proc/17212/stat : 17212 (adaptg2wsat2009) R 17210 17212 17212 0 -1 4202496 643 0 0 0 52 0 0 0 22 0 1 0 519269840 426921984 379 33554432000 134512640 135107411 4293868816 18446744073709551615 134523314 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17212/statm: 104229 379 49 146 0 103105 0
[pid=17198/tid=17205] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17205/stat : 17205 (python) S 17196 17198 16783 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 519269834 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=17198/tid=17208] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17208/stat : 17208 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519269837 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17211] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17211/stat : 17211 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 20 0 5 0 519269840 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17214] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17214/stat : 17214 (python) S 17196 17198 16783 0 -1 4202560 29 937 0 0 0 0 0 0 22 0 5 0 519269843 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 3640948

[startup+3.10081 s]
/proc/loadavg: 7.86 7.93 5.93 9/250 17215
/proc/meminfo: memFree=23915484/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=320356 CPUtime=0.84 cores=0,2,4,6
/proc/17198/stat : 17198 (python) S 17196 17198 16783 0 -1 4202496 13120 937 1 0 77 7 0 0 22 0 5 0 519269743 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 80089 7288 1883 364 0 15998 0
[pid=17204] ppid=17198 vsize=278796 CPUtime=0 cores=0,2,4,6
/proc/17204/stat : 17204 (python) S 17198 17198 16783 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 519269834 285487104 5638 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317583 0 0 16781312 514 4306660881334239491 0 0 17 2 0 0 0
/proc/17204/statm: 69699 5638 354 364 0 5617 0
[pid=17206] ppid=17204 vsize=1018084 CPUtime=2.15 cores=0,2,4,6
/proc/17206/stat : 17206 (gnovelty+2) R 17204 17206 17206 0 -1 4202496 549 0 0 0 215 0 0 0 25 0 1 0 519269834 1042518016 287 33554432000 134512640 135663704 4291487008 18446744073709551615 134524888 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17206/statm: 254521 287 113 282 0 254237 0
[pid=17207] ppid=17198 vsize=289396 CPUtime=0 cores=0,2,4,6
/proc/17207/stat : 17207 (python) S 17198 17198 16783 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 519269837 296341504 5707 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4306657033043542275 0 0 17 4 0 0 0
/proc/17207/statm: 72349 5707 348 364 0 8264 0
[pid=17209] ppid=17207 vsize=1018084 CPUtime=2.15 cores=0,2,4,6
/proc/17209/stat : 17209 (gnovelty+2) R 17207 17209 17209 0 -1 4202496 553 0 0 0 215 0 0 0 25 0 1 0 519269837 1042518016 287 33554432000 134512640 135663704 4288683632 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17209/statm: 254521 287 113 282 0 254237 0
[pid=17210] ppid=17198 vsize=299316 CPUtime=0 cores=0,2,4,6
/proc/17210/stat : 17210 (python) S 17198 17198 16783 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 519269840 306499584 5624 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4520800666448265475 0 0 17 2 0 0 0
/proc/17210/statm: 74829 5624 348 364 0 10741 0
[pid=17212] ppid=17210 vsize=417056 CPUtime=2.12 cores=0,2,4,6
/proc/17212/stat : 17212 (adaptg2wsat2009) R 17210 17212 17212 0 -1 4202496 714 0 0 0 212 0 0 0 25 0 1 0 519269840 427065344 450 33554432000 134512640 135107411 4293868816 18446744073709551615 134531781 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17212/statm: 104264 450 59 146 0 103140 0
[pid=17213] ppid=17198 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (python) S 17198 17198 16783 0 -1 4202560 746 0 0 0 0 0 0 0 18 0 1 0 519269843 317554688 5749 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4259520969560785155 0 0 17 2 0 0 0
/proc/17213/statm: 77528 5749 348 364 0 13437 0
[pid=17215] ppid=17213 vsize=417056 CPUtime=2.09 cores=0,2,4,6
/proc/17215/stat : 17215 (adaptg2wsat2009) R 17213 17215 17215 0 -1 4202496 713 0 0 0 209 0 0 0 25 0 1 0 519269843 427065344 450 33554432000 134512640 135107411 4291970912 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17215/statm: 104264 450 59 146 0 103140 0
[pid=17198/tid=17205] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17205/stat : 17205 (python) S 17196 17198 16783 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 519269834 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=17198/tid=17208] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17208/stat : 17208 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519269837 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17211] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17211/stat : 17211 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 20 0 5 0 519269840 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17214] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17214/stat : 17214 (python) S 17196 17198 16783 0 -1 4202560 29 937 0 0 0 0 0 0 22 0 5 0 519269843 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 4368256

[startup+6.30124 s]
/proc/loadavg: 7.86 7.93 5.93 9/250 17215
/proc/meminfo: memFree=23914372/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=320356 CPUtime=0.84 cores=0,2,4,6
/proc/17198/stat : 17198 (python) S 17196 17198 16783 0 -1 4202496 13120 937 1 0 77 7 0 0 22 0 5 0 519269743 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 80089 7288 1883 364 0 15998 0
[pid=17204] ppid=17198 vsize=278796 CPUtime=0 cores=0,2,4,6
/proc/17204/stat : 17204 (python) S 17198 17198 16783 0 -1 4202560 895 0 0 0 0 0 0 0 18 0 1 0 519269834 285487104 5661 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317583 0 0 16781312 514 4306660881334239491 0 0 17 2 0 0 0
/proc/17204/statm: 69699 5661 377 364 0 5617 0
[pid=17206] ppid=17204 vsize=1018084 CPUtime=5.34 cores=0,2,4,6
/proc/17206/stat : 17206 (gnovelty+2) R 17204 17206 17206 0 -1 4202496 549 0 0 0 533 1 0 0 25 0 1 0 519269834 1042518016 287 33554432000 134512640 135663704 4291487008 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17206/statm: 254521 287 113 282 0 254237 0
[pid=17207] ppid=17198 vsize=289396 CPUtime=0 cores=0,2,4,6
/proc/17207/stat : 17207 (python) S 17198 17198 16783 0 -1 4202560 906 0 0 0 0 0 0 0 18 0 1 0 519269837 296341504 5730 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4306657033043542275 0 0 17 4 0 0 0
/proc/17207/statm: 72349 5730 371 364 0 8264 0
[pid=17209] ppid=17207 vsize=1018084 CPUtime=5.35 cores=0,2,4,6
/proc/17209/stat : 17209 (gnovelty+2) R 17207 17209 17209 0 -1 4202496 553 0 0 0 535 0 0 0 25 0 1 0 519269837 1042518016 287 33554432000 134512640 135663704 4288683632 18446744073709551615 134524534 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17209/statm: 254521 287 113 282 0 254237 0
[pid=17210] ppid=17198 vsize=299316 CPUtime=0 cores=0,2,4,6
/proc/17210/stat : 17210 (python) S 17198 17198 16783 0 -1 4202560 907 0 0 0 0 0 0 0 18 0 1 0 519269840 306499584 5647 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4520800666448265475 0 0 17 2 0 0 0
/proc/17210/statm: 74829 5647 371 364 0 10741 0
[pid=17212] ppid=17210 vsize=417056 CPUtime=5.31 cores=0,2,4,6
/proc/17212/stat : 17212 (adaptg2wsat2009) R 17210 17212 17212 0 -1 4202496 714 0 0 0 531 0 0 0 25 0 1 0 519269840 427065344 450 33554432000 134512640 135107411 4293868816 18446744073709551615 134532306 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17212/statm: 104264 450 59 146 0 103140 0
[pid=17213] ppid=17198 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (python) S 17198 17198 16783 0 -1 4202560 924 0 0 0 0 0 0 0 18 0 1 0 519269843 317554688 5771 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 4259520969560785155 0 0 17 2 0 0 0
/proc/17213/statm: 77528 5771 370 364 0 13437 0
[pid=17215] ppid=17213 vsize=417056 CPUtime=5.26 cores=0,2,4,6
/proc/17215/stat : 17215 (adaptg2wsat2009) R 17213 17215 17215 0 -1 4202496 713 0 0 0 526 0 0 0 25 0 1 0 519269843 427065344 450 33554432000 134512640 135107411 4291970912 18446744073709551615 134532379 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17215/statm: 104264 450 59 146 0 103140 0
[pid=17198/tid=17205] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17205/stat : 17205 (python) S 17196 17198 16783 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 519269834 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=17198/tid=17208] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17208/stat : 17208 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 5 0 519269837 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17211] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17211/stat : 17211 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 20 0 5 0 519269840 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17214] ppid=17196 vsize=320356 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17214/stat : 17214 (python) S 17196 17198 16783 0 -1 4202560 29 937 0 0 0 0 0 0 22 0 5 0 519269843 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.1
Current children cumulated vsize (KiB) 4368256

[startup+12.7011 s]
/proc/loadavg: 7.88 7.93 5.95 10/250 17215
/proc/meminfo: memFree=23914024/32951124 swapFree=67111524/67111528
[pid=17198] ppid=17196 vsize=320356 CPUtime=0.84 cores=0,2,4,6
/proc/17198/stat : 17198 (python) S 17196 17198 16783 0 -1 4202496 13120 937 1 0 77 7 0 0 22 0 5 0 519269743 328044544 7288 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17198/statm: 80089 7288 1883 364 0 15998 0
[pid=17204] ppid=17198 vsize=278796 CPUtime=0.01 cores=0,2,4,6
/proc/17204/stat : 17204 (python) S 17198 17198 16783 0 -1 4202560 896 0 0 0 1 0 0 0 18 0 1 0 519269834 285487104 5661 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317583 0 0 16781312 514 5352880000850690307 0 0 17 2 0 0 0
/proc/17204/statm: 69699 5661 377 364 0 5617 0
[pid=17206] ppid=17204 vsize=1018084 CPUtime=11.69 cores=0,2,4,6
/proc/17206/stat : 17206 (gnovelty+2) R 17204 17206 17206 0 -1 4202496 549 0 0 0 1168 1 0 0 25 0 1 0 519269834 1042518016 287 33554432000 134512640 135663704 4291487008 18446744073709551615 134524925 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17206/statm: 254521 287 113 282 0 254237 0
[pid=17207] ppid=17198 vsize=289396 CPUtime=0.01 cores=0,2,4,6
/proc/17207/stat : 17207 (python) S 17198 17198 16783 0 -1 4202560 909 0 0 0 1 0 0 0 18 0 1 0 519269837 296341504 5730 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 5352880000850690307 0 0 17 4 0 0 0
/proc/17207/statm: 72349 5730 371 364 0 8264 0
[pid=17209] ppid=17207 vsize=1018084 CPUtime=11.75 cores=0,2,4,6
/proc/17209/stat : 17209 (gnovelty+2) R 17207 17209 17209 0 -1 4202496 553 0 0 0 1175 0 0 0 25 0 1 0 519269837 1042518016 287 33554432000 134512640 135663704 4288683632 18446744073709551615 134525691 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17209/statm: 254521 287 113 282 0 254237 0
[pid=17210] ppid=17198 vsize=299316 CPUtime=0.01 cores=0,2,4,6

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

[pid=17213] ppid=17198 vsize=310112 CPUtime=0.34 cores=0,2,4,6
/proc/17213/stat : 17213 (python) S 17198 17198 16783 0 -1 4202560 1149 0 0 0 18 16 0 0 18 0 2 0 519269843 317554688 5802 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/17213/statm: 77528 5802 400 364 0 13437 0
[pid=17215] ppid=17213 vsize=417056 CPUtime=196.5 cores=0,2,4,6
/proc/17215/stat : 17215 (adaptg2wsat2009) T 17213 17215 17215 0 -1 4202496 713 0 0 0 19649 1 0 0 25 0 1 0 519269843 427065344 450 33554432000 134512640 135107411 4291970912 18446744073709551615 134532313 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/17215/statm: 104264 450 59 146 0 103140 0
[pid=17213/tid=17243] ppid=17198 vsize=310112 CPUtime=0 cores=0,2,4,6
/proc/17213/task/17243/stat : 17243 (python) S 17198 17198 16783 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 519279859 317554688 5802 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453904440256 0 0 -1 2 0 0 0
[pid=17236] ppid=17198 vsize=320368 CPUtime=0.16 cores=0,2,4,6
/proc/17236/stat : 17236 (python) S 17198 17198 16783 0 -1 4202560 1119 0 0 0 10 6 0 0 19 0 2 0 519279853 328056832 5806 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/17236/statm: 80092 5806 400 364 0 15998 0
[pid=17238] ppid=17236 vsize=417056 CPUtime=100.15 cores=0,2,4,6
/proc/17238/stat : 17238 (adaptg2wsat2009) T 17236 17238 17238 0 -1 4202496 718 0 0 0 10015 0 0 0 25 0 1 0 519279853 427065344 449 33554432000 134512640 135107411 4289767616 18446744073709551615 134531822 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17238/statm: 104264 449 59 146 0 103140 0
[pid=17236/tid=17265] ppid=17198 vsize=320368 CPUtime=0 cores=0,2,4,6
/proc/17236/task/17265/stat : 17265 (python) S 17198 17198 16783 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 519289869 328056832 5806 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453941729984 0 0 -1 0 0 0 0
[pid=17240] ppid=17198 vsize=330624 CPUtime=0.16 cores=0,2,4,6
/proc/17240/stat : 17240 (python) S 17198 17198 16783 0 -1 4202560 1121 0 0 0 9 7 0 0 19 0 2 0 519279856 338558976 5831 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/17240/statm: 82656 5831 400 364 0 18559 0
[pid=17242] ppid=17240 vsize=1018084 CPUtime=100.13 cores=0,2,4,6
/proc/17242/stat : 17242 (gnovelty+2) T 17240 17242 17242 0 -1 4202496 551 0 0 0 10013 0 0 0 25 0 1 0 519279856 1042518016 287 33554432000 134512640 135663704 4292161296 18446744073709551615 134524945 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17242/statm: 254521 287 113 282 0 254237 0
[pid=17240/tid=17266] ppid=17198 vsize=330624 CPUtime=0 cores=0,2,4,6
/proc/17240/task/17266/stat : 17266 (python) S 17198 17198 16783 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519289873 338558976 5831 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453965273280 0 0 -1 0 0 0 0
[pid=17244] ppid=17198 vsize=340880 CPUtime=0.17 cores=0,2,4,6
/proc/17244/stat : 17244 (python) S 17198 17198 16783 0 -1 4202560 1178 0 0 0 10 7 0 0 19 0 2 0 519279859 349061120 5841 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17244/statm: 85220 5841 406 364 0 21120 0
[pid=17246] ppid=17244 vsize=247228 CPUtime=99.84 cores=0,2,4,6
/proc/17246/stat : 17246 (FH) T 17244 17246 17246 0 -1 4202496 671 0 0 0 9983 1 0 0 25 0 1 0 519279860 253161472 405 33554432000 134512640 134936988 4290219776 18446744073709551615 134554592 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17246/statm: 61807 405 41 104 0 61311 0
[pid=17244/tid=17273] ppid=17198 vsize=340880 CPUtime=0 cores=0,2,4,6
/proc/17244/task/17273/stat : 17273 (python) S 17198 17198 16783 0 -1 4202560 96 0 0 0 0 0 0 0 19 0 2 0 519289878 349061120 5841 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604450992151616 0 0 -1 6 0 0 0
[pid=17247] ppid=17198 vsize=350916 CPUtime=0.16 cores=0,2,4,6
/proc/17247/stat : 17247 (python) S 17198 17198 16783 0 -1 4202560 1170 0 0 0 8 8 0 0 19 0 2 0 519279863 359337984 5769 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17247/statm: 87729 5769 406 364 0 23626 0
[pid=17249] ppid=17247 vsize=417056 CPUtime=99.09 cores=0,2,4,6
/proc/17249/stat : 17249 (adaptg2wsat2009) T 17247 17249 17249 0 -1 4202496 720 0 0 0 9909 0 0 0 25 0 1 0 519279863 427065344 450 33554432000 134512640 135107411 4293719232 18446744073709551615 134532242 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17249/statm: 104264 450 59 146 0 103140 0
[pid=17247/tid=17274] ppid=17198 vsize=350916 CPUtime=0 cores=0,2,4,6
/proc/17247/task/17274/stat : 17274 (python) S 17198 17198 16783 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519289881 359337984 5769 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604450992149824 0 0 -1 6 0 0 0
[pid=17267] ppid=17198 vsize=361632 CPUtime=0.18 cores=0,2,4,6
/proc/17267/stat : 17267 (python) S 17198 17198 16783 0 -1 4202560 1151 0 0 0 10 8 0 0 19 0 2 0 519289873 370311168 5882 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17267/statm: 90408 5882 400 364 0 26302 0
[pid=17269] ppid=17267 vsize=417056 CPUtime=98.24 cores=0,2,4,6
/proc/17269/stat : 17269 (adaptg2wsat2009) T 17267 17269 17269 0 -1 4202496 718 0 0 0 9824 0 0 0 25 0 1 0 519289873 427065344 450 33554432000 134512640 135107411 4289950832 18446744073709551615 134531822 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/17269/statm: 104264 450 59 146 0 103140 0
[pid=17267/tid=17289] ppid=17198 vsize=361632 CPUtime=0 cores=0,2,4,6
/proc/17267/task/17289/stat : 17289 (python) S 17198 17198 16783 0 -1 4202560 53 0 0 0 0 0 0 0 19 0 2 0 519299891 370311168 5882 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453943851968 0 0 -1 6 0 0 0
[pid=17270] ppid=17198 vsize=371888 CPUtime=0.89 cores=0,2,4,6
/proc/17270/stat : 17270 (python) S 17198 17198 16783 0 -1 4202560 1187 0 0 0 48 41 0 0 18 0 2 0 519289877 380813312 5886 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/17270/statm: 92972 5886 400 364 0 28863 0
[pid=17272] ppid=17270 vsize=268420 CPUtime=487.55 cores=0,2,4,6
/proc/17272/stat : 17272 (hybridGM3) T 17270 17272 17272 0 -1 4202496 4919 0 0 0 48752 3 0 0 25 0 1 0 519289877 274862080 4649 33554432000 134512640 135204385 4287741312 18446744073709551615 134536977 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17272/statm: 67105 4649 64 169 0 66935 0
[pid=17270/tid=17301] ppid=17198 vsize=371888 CPUtime=0 cores=0,2,4,6
/proc/17270/task/17301/stat : 17301 (python) S 17198 17198 16783 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 519309514 380813312 5886 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453943611648 0 0 -1 0 0 0 0
[pid=17275] ppid=17198 vsize=382144 CPUtime=0.17 cores=0,2,4,6
/proc/17275/stat : 17275 (python) S 17198 17198 16783 0 -1 4202560 1162 0 0 0 11 6 0 0 19 0 2 0 519289882 391315456 5905 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/17275/statm: 95536 5905 400 364 0 31424 0
[pid=17277] ppid=17275 vsize=247236 CPUtime=100.14 cores=0,2,4,6
/proc/17277/stat : 17277 (FH) T 17275 17277 17277 0 -1 4202496 675 0 0 0 10014 0 0 0 25 0 1 0 519289882 253169664 406 33554432000 134512640 134936988 4290303520 18446744073709551615 134552507 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17277/statm: 61809 406 41 104 0 61313 0
[pid=17275/tid=17293] ppid=17198 vsize=382144 CPUtime=0 cores=0,2,4,6
/proc/17275/task/17293/stat : 17293 (python) S 17198 17198 16783 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 519299898 391315456 5905 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453943613440 0 0 -1 0 0 0 0
[pid=17278] ppid=17198 vsize=392400 CPUtime=1.94 cores=0,2,4,6
/proc/17278/stat : 17278 (python) S 17198 17198 16783 0 -1 4202560 1192 0 0 0 110 84 0 0 15 0 2 0 519289886 401817600 5909 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/17278/statm: 98100 5909 400 364 0 33985 0
[pid=17280] ppid=17278 vsize=137520 CPUtime=1002.97 cores=0,2,4,6
/proc/17280/stat : 17280 (march_hi) R 17278 17280 17280 0 -1 4202496 27770 0 0 0 100289 8 0 0 25 0 1 0 519289886 140820480 26307 33554432000 4194304 4955518 140733949694240 18446744073709551615 4224450 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17280/statm: 34380 26307 106 186 0 34193 0
[pid=17278/tid=17484] ppid=17198 vsize=392400 CPUtime=0 cores=0,2,4,6
/proc/17278/task/17484/stat : 17484 (python) S 17198 17198 16783 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 519338969 401817600 5909 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604443920964352 0 0 -1 0 0 0 0
[pid=17290] ppid=17198 vsize=402656 CPUtime=0.52 cores=0,2,4,6
/proc/17290/stat : 17290 (python) S 17198 17198 16783 0 -1 4202560 1189 0 0 0 27 25 0 0 18 0 2 0 519299895 412319744 5913 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/17290/statm: 100664 5913 400 364 0 36546 0
[pid=17292] ppid=17290 vsize=268420 CPUtime=296.32 cores=0,2,4,6
/proc/17292/stat : 17292 (hybridGM3) T 17290 17292 17292 0 -1 4202496 4915 0 0 0 29632 0 0 0 25 0 1 0 519299895 274862080 4649 33554432000 134512640 135204385 4291367984 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17292/statm: 67105 4649 64 169 0 66935 0
[pid=17290/tid=17447] ppid=17198 vsize=402656 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17447/stat : 17447 (python) S 17198 17198 16783 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 519319435 412319744 5913 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453922388992 0 0 -1 4 0 0 0
[pid=17294] ppid=17198 vsize=412508 CPUtime=1.75 cores=0,2,4,6
/proc/17294/stat : 17294 (python) S 17198 17198 16783 0 -1 4202560 1257 0 0 0 94 81 0 0 15 0 2 0 519299903 422408192 5807 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/17294/statm: 103127 5807 406 364 0 39006 0
[pid=17296] ppid=17294 vsize=137520 CPUtime=894.95 cores=0,2,4,6
/proc/17296/stat : 17296 (march_hi) R 17294 17296 17296 0 -1 4202496 24971 0 0 0 89489 6 0 0 25 0 1 0 519299903 140820480 23509 33554432000 4194304 4955518 140737081551360 18446744073709551615 4315405 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17296/statm: 34380 23509 106 186 0 34193 0
[pid=17294/tid=17486] ppid=17198 vsize=412508 CPUtime=0 cores=0,2,4,6
/proc/17294/task/17486/stat : 17486 (python) S 17198 17198 16783 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 519339803 422408192 5807 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453961565184 0 0 -1 4 0 0 0
[pid=17466] ppid=17198 vsize=423460 CPUtime=0.18 cores=0,2,4,6
/proc/17466/stat : 17466 (python) S 17198 17198 16783 0 -1 4202560 1205 0 0 0 11 7 0 0 19 0 2 0 519329063 433623040 5987 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/17466/statm: 105865 5987 408 364 0 41741 0
[pid=17468] ppid=17466 vsize=1018084 CPUtime=99.13 cores=0,2,4,6
/proc/17468/stat : 17468 (gnovelty+2) T 17466 17468 17468 0 -1 4202496 562 0 0 0 9913 0 0 0 25 0 1 0 519329063 1042518016 287 33554432000 134512640 135663704 4290539392 18446744073709551615 134525684 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17468/statm: 254521 287 113 282 0 254237 0
[pid=17466/tid=17485] ppid=17198 vsize=423460 CPUtime=0 cores=0,2,4,6
/proc/17466/task/17485/stat : 17485 (python) S 17198 17198 16783 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 519338982 433623040 5987 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604448369600320 0 0 -1 4 0 0 0
[pid=17469] ppid=17198 vsize=433716 CPUtime=1.2 cores=0,2,4,6
/proc/17469/stat : 17469 (python) S 17198 17198 16783 0 -1 4202560 1241 0 0 0 64 56 0 0 15 0 2 0 519329559 444125184 5991 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17469/statm: 108429 5991 408 364 0 44302 0
[pid=17471] ppid=17469 vsize=92296 CPUtime=596.65 cores=0,2,4,6
/proc/17471/stat : 17471 (march_hi) R 17469 17471 17471 0 -1 4202496 17596 0 0 0 59662 3 0 0 25 0 1 0 519329559 94511104 16129 33554432000 4194304 4955518 140736969987728 18446744073709551615 4235624 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17471/statm: 23074 16129 106 186 0 22887 0
[pid=17469/tid=17519] ppid=17198 vsize=433716 CPUtime=0 cores=0,2,4,6
/proc/17469/task/17519/stat : 17519 (python) S 17198 17198 16783 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 519369232 444125184 5991 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453943599360 0 0 -1 6 0 0 0
[pid=17516] ppid=17198 vsize=444036 CPUtime=0.38 cores=0,2,4,6
/proc/17516/stat : 17516 (python) S 17198 17198 16783 0 -1 4202560 1208 0 0 0 22 16 0 0 19 0 2 0 519368149 454692864 6005 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522124235 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/17516/statm: 111009 6005 402 364 0 46879 0
[pid=17518] ppid=17516 vsize=268420 CPUtime=195.74 cores=0,2,4,6
/proc/17518/stat : 17518 (hybridGM3) T 17516 17518 17518 0 -1 4202496 4929 0 0 0 19573 1 0 0 25 0 1 0 519368150 274862080 4649 33554432000 134512640 135204385 4294947472 18446744073709551615 134536965 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/17518/statm: 67105 4649 64 169 0 66935 0
[pid=17516/tid=17534] ppid=17198 vsize=444036 CPUtime=0 cores=0,2,4,6
/proc/17516/task/17534/stat : 17534 (python) S 17198 17198 16783 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 519387788 454692864 6005 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 514 18446604453934716736 0 0 -1 0 0 0 0
[pid=17535] ppid=17198 vsize=454292 CPUtime=0.06 cores=0,2,4,6
/proc/17535/stat : 17535 (python) S 17198 17198 16783 0 -1 4202560 1044 0 0 0 3 3 0 0 15 0 1 0 519387792 465195008 6008 33554432000 4194304 5683644 140735728899392 18446744073709551615 233510317638 0 0 16781312 514 12481660400854597890 0 0 17 4 0 0 0
/proc/17535/statm: 113573 6008 373 364 0 49440 0
[pid=17537] ppid=17535 vsize=6316 CPUtime=25.71 cores=0,2,4,6
/proc/17537/stat : 17537 (march_hi) R 17535 17537 17537 0 -1 4202496 2679 0 0 0 2571 0 0 0 25 0 1 0 519387792 6467584 1217 33554432000 4194304 4955518 140735207949728 18446744073709551615 4297507 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17537/statm: 1579 1217 106 186 0 1392 0
[pid=17198/tid=17205] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17205/stat : 17205 (python) S 17196 17198 16783 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 19 0 519269834 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=17198/tid=17208] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17208/stat : 17208 (python) S 17196 17198 16783 0 -1 4202560 21 937 0 0 0 0 0 0 22 0 19 0 519269837 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17211] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17211/stat : 17211 (python) S 17196 17198 16783 0 -1 4202560 25 937 0 0 0 0 0 0 18 0 19 0 519269840 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17214] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17214/stat : 17214 (python) S 17196 17198 16783 0 -1 4202560 34 937 0 0 0 0 0 0 18 0 19 0 519269843 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=17198/tid=17237] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17237/stat : 17237 (python) S 17196 17198 16783 0 -1 4202560 23 937 0 0 0 0 0 0 20 0 19 0 519279853 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 2 0 0 0
[pid=17198/tid=17241] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17241/stat : 17241 (python) S 17196 17198 16783 0 -1 4202560 28 937 0 0 0 0 0 0 22 0 19 0 519279856 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17245] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17245/stat : 17245 (python) S 17196 17198 16783 0 -1 4202560 25 937 0 0 0 0 0 0 24 0 19 0 519279860 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=17198/tid=17248] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17248/stat : 17248 (python) S 17196 17198 16783 0 -1 4202560 28 937 0 0 0 0 0 0 25 0 19 0 519279863 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=17198/tid=17268] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17268/stat : 17268 (python) S 17196 17198 16783 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 19 0 519289873 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 6 0 0 0
[pid=17198/tid=17271] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17271/stat : 17271 (python) S 17196 17198 16783 0 -1 4202560 37 937 0 0 0 0 0 0 18 0 19 0 519289877 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17276] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17276/stat : 17276 (python) S 17196 17198 16783 0 -1 4202560 24 937 0 0 0 0 0 0 23 0 19 0 519289882 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 0 0 0 0
[pid=17198/tid=17279] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17279/stat : 17279 (python) S 17196 17198 16783 0 -1 4202560 32 937 0 0 0 0 0 0 18 0 19 0 519289886 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17291] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17291/stat : 17291 (python) S 17196 17198 16783 0 -1 4202560 30 937 0 0 0 0 0 0 18 0 19 0 519299895 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17295] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17295/stat : 17295 (python) S 17196 17198 16783 0 -1 4202560 38 937 0 0 0 0 0 0 18 0 19 0 519299903 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17467] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17467/stat : 17467 (python) S 17196 17198 16783 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 19 0 519329063 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17470] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17470/stat : 17470 (python) S 17196 17198 16783 0 -1 4202560 33 937 0 0 0 0 0 0 18 0 19 0 519329559 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17517] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17517/stat : 17517 (python) S 17196 17198 16783 0 -1 4202560 25 937 0 0 0 0 0 0 20 0 19 0 519368149 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
[pid=17198/tid=17536] ppid=17196 vsize=464536 CPUtime=0 cores=0,2,4,6
/proc/17198/task/17536/stat : 17536 (python) S 17196 17198 16783 0 -1 4202560 28 937 0 0 0 0 0 0 20 0 19 0 519387792 475684864 7551 33554432000 4194304 5683644 140735728899392 18446744073709551615 233522121137 0 0 16781312 2 18446604453917985472 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 14904912

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17198 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=835720
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=115982
# CPU time returned by wait4() is 1.9517
# while last known CPU time is 4800.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1206.41
CPU time (s): 4800.31
CPU user time (s): 4795.96
CPU system time (s): 4.35
CPU usage (%): 397.9
Max. virtual memory (cumulated for all children) (KiB): 14904912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.83572
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28597
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= 1280
involuntary context switches= 63

runsolver used 7.54885 second user time and 13.8219 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-01 18:48:59
IDJOB=3317267
IDBENCH=82732
IDSOLVER=1705
FILE ID=node145/3317267-1304268539
RUNJOBID= node145-1304267279-16801
PBS_JOBID= 13173934
Free space on /tmp= 72988 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1901567697-013.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-3317267-1304268539/watcher-3317267-1304268539 -o /tmp/evaluation-result-3317267-1304268539/solver-3317267-1304268539 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317267-1304268539.cnf -seed 225418663 -budget 4800 -cores 4

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

MD5SUM BENCH= 6416f44b34786f590ff716f4b8e2cf7c
RANDOM SEED=225418663

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23958148 kB
Buffers:       1307216 kB
Cached:        6082328 kB
SwapCached:          4 kB
Active:        2058660 kB
Inactive:      6384352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23958148 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           31860 kB
Writeback:           0 kB
AnonPages:     1053624 kB
Mapped:          22108 kB
Slab:           474352 kB
PageTables:      16832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 16955580 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72952 MiB
End job on node145 at 2011-05-01 19:09:07