Trace number 3317257

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.06 1205.61

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf
MD5SUM700fcf61c35143a2185883134d0eb67b
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 variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

Solver Data 

0.30/0.46	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.30/0.46	c INFO: solving HOME/instance-3317257-1304268526.cnf
0.30/0.46	c INFO: computing task features
0.38/0.51	c INFO: computed variable-clause graph statistics
0.38/0.51	c INFO: computed clause balance statistics
0.57/0.73	c INFO: computed variable balance statistics
0.67/0.82	c INFO: computed small-clause counts
0.67/0.82	c INFO: computed Horn-clause counts
0.67/0.82	c INFO: computed variable graph statistics
0.67/0.82	c INFO: collected features for HOME/instance-3317257-1304268526.cnf in 0.36 s
0.67/0.85	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.50)
0.67/0.88	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.09)
0.77/0.91	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.05)
0.77/0.94	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.04)
396.50/100.08	c INFO: running adaptg2wsat2009++@0 for 97 with 4700 remaining (b = 0.03)
399.58/101.03	c INFO: running gnovelty+2@0 for 97 with 4699 remaining (b = 0.02)
399.58/101.07	c INFO: running FH@0 for 97 with 4699 remaining (b = 0.02)
400.85/101.15	c INFO: running march_hi@0 for 388 with 4699 remaining (b = 0.07)
796.50/200.28	c INFO: running adaptg2wsat2009++@0 for 97 with 4600 remaining (b = 0.02)
800.47/201.26	c INFO: running march_hi@0 for 388 with 4599 remaining (b = 0.06)
800.47/201.30	c INFO: running hybridGM3@0 for 194 with 4599 remaining (b = 0.03)
1195.47/300.48	c INFO: running adaptg2wsat2009++@0 for 97 with 4500 remaining (b = 0.01)
1582.59/397.68	c INFO: running adaptg2wsat2009++@98 for 97 with 4402 remaining (b = 0.01)
1598.91/401.73	c INFO: running hybridGM3@99 for 97 with 4398 remaining (b = 0.01)
1965.72/493.90	c INFO: running FH@0 for 97 with 4306 remaining (b = 0.01)
1971.26/495.27	c INFO: running march_hi@100 for 291 with 4305 remaining (b = 0.05)
1997.93/501.97	c INFO: running march_hi@0 for 485 with 4298 remaining (b = 0.06)
2365.15/594.11	c INFO: running hybridGM3@0 for 194 with 4206 remaining (b = 0.02)
2373.13/596.15	c INFO: running march_hi@99 for 291 with 4204 remaining (b = 0.04)
3125.80/785.18	c INFO: running march_hi@198 for 291 with 4015 remaining (b = 0.04)
3146.93/790.50	c INFO: running adaptg2wsat2009++@100 for 97 with 4009 remaining (b = 0.01)
3534.03/887.70	c INFO: running gnovelty+2@0 for 97 with 3912 remaining (b = 0.01)
3541.20/889.44	c INFO: running march_hi@388 for 1746 with 3911 remaining (b = 0.18)
3933.44/987.94	c INFO: running march_hi@0 for 485 with 3812 remaining (b = 0.06)
3935.58/988.66	c INFO: running march_hi@99 for 291 with 3811 remaining (b = 0.04)
4290.23/1077.50	c INFO: running march_hi@394 for 97 with 3722 remaining (b = 0.02)
4697.65/1179.87	c INFO: running march_hi@496 for 194 with 3620 remaining (b = 0.03)
4800.06/1205.60	c INFO: running march_hi@0 for 388 with 3594 remaining (b = 0.04)

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-3317257-1304268526/watcher-3317257-1304268526 -o /tmp/evaluation-result-3317257-1304268526/solver-3317257-1304268526 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317257-1304268526.cnf -seed 1493208630 -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: 7.76 7.85 5.85 5/233 20149
/proc/meminfo: memFree=28735472/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/20149/stat : 20149 (python) R 20147 20149 19167 0 -1 4202496 870 0 0 0 0 0 0 0 25 0 1 0 519268134 16158720 751 33554432000 4194304 5683644 140733744817632 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20149/statm: 3945 751 343 364 0 432 0

[startup+0.081772 s]
/proc/loadavg: 7.76 7.85 5.85 5/233 20149
/proc/meminfo: memFree=28735472/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=87708 CPUtime=0.06 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 2638 0 0 0 4 2 0 0 18 0 1 0 519268134 89812992 2354 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20149/statm: 21927 2354 717 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87708

[startup+0.100912 s]
/proc/loadavg: 7.76 7.85 5.85 5/233 20149
/proc/meminfo: memFree=28735472/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=104232 CPUtime=0.07 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 3072 0 0 0 5 2 0 0 17 0 1 0 519268134 106733568 2752 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20149/statm: 26058 2752 847 364 0 1806 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104232

[startup+0.301701 s]
/proc/loadavg: 7.76 7.85 5.85 5/233 20149
/proc/meminfo: memFree=28735472/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=187692 CPUtime=0.22 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 6825 936 1 0 17 5 0 0 17 0 1 0 519268134 192196608 4882 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20149/statm: 46923 4882 1399 364 0 3724 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 187692

[startup+0.7007 s]
/proc/loadavg: 7.76 7.85 5.85 5/233 20149
/proc/meminfo: memFree=28735472/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=279752 CPUtime=0.57 cores=0,2,4,6
/proc/20149/stat : 20149 (python) R 20147 20149 19167 0 -1 4202496 10030 936 1 0 51 6 0 0 17 0 1 0 519268134 286466048 7322 33554432000 4194304 5683644 140733744817632 18446744073709551615 47864276534273 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20149/statm: 69938 7322 1826 364 0 5862 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 279752

[startup+1.50049 s]
/proc/loadavg: 7.76 7.85 5.85 9/246 20166
/proc/meminfo: memFree=28694820/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=320268 CPUtime=0.81 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 12980 936 1 0 74 7 0 0 22 0 5 0 519268134 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20149/statm: 80067 7265 1883 364 0 15976 0
[pid=20155] ppid=20149 vsize=278752 CPUtime=0 cores=0,2,4,6
/proc/20155/stat : 20155 (python) S 20149 20149 19167 0 -1 4202560 743 0 0 0 0 0 0 0 19 0 1 0 519268219 285442048 5626 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471119 0 0 16781312 514 15256848914960089087 0 0 17 4 0 0 0
/proc/20155/statm: 69688 5626 354 364 0 5606 0
[pid=20157] ppid=20155 vsize=1018076 CPUtime=0.63 cores=0,2,4,6
/proc/20157/stat : 20157 (gnovelty+2) R 20155 20157 20157 0 -1 4202496 531 0 0 0 63 0 0 0 22 0 1 0 519268220 1042509824 268 33554432000 134512640 135663704 4291835184 18446744073709551615 134524509 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 254519 268 113 282 0 254235 0
[pid=20158] ppid=20149 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/20158/stat : 20158 (python) S 20149 20149 19167 0 -1 4202560 747 0 0 0 0 0 0 0 19 0 1 0 519268222 296325120 5701 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 12914301183954255871 0 0 17 0 0 0 0
/proc/20158/statm: 72345 5701 348 364 0 8260 0
[pid=20160] ppid=20158 vsize=1018076 CPUtime=0.61 cores=0,2,4,6
/proc/20160/stat : 20160 (gnovelty+2) R 20158 20160 20160 0 -1 4202496 530 0 0 0 61 0 0 0 22 0 1 0 519268223 1042509824 268 33554432000 134512640 135663704 4291720880 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/20160/statm: 254519 268 113 282 0 254235 0
[pid=20161] ppid=20149 vsize=299768 CPUtime=0 cores=0,2,4,6
/proc/20161/stat : 20161 (python) S 20149 20149 19167 0 -1 4202560 724 0 0 0 0 0 0 0 19 0 1 0 519268225 306962432 5718 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 4526178652697657343 0 0 17 6 0 0 0
/proc/20161/statm: 74942 5718 344 364 0 10854 0
[pid=20163] ppid=20161 vsize=416784 CPUtime=0.58 cores=0,2,4,6
/proc/20163/stat : 20163 (adaptg2wsat2009) R 20161 20163 20163 0 -1 4202496 608 0 0 0 58 0 0 0 22 0 1 0 519268226 426786816 341 33554432000 134512640 135107411 4293702400 18446744073709551615 134523302 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/20163/statm: 104196 341 49 146 0 103072 0
[pid=20164] ppid=20149 vsize=310024 CPUtime=0 cores=0,2,4,6
/proc/20164/stat : 20164 (python) S 20149 20149 19167 0 -1 4202560 733 0 0 0 0 0 0 0 21 0 1 0 519268228 317464576 5722 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 4481189110790225919 0 0 17 6 0 0 0
/proc/20164/statm: 77506 5722 344 364 0 13415 0
[pid=20166] ppid=20164 vsize=416784 CPUtime=0.54 cores=0,2,4,6
/proc/20166/stat : 20166 (adaptg2wsat2009) R 20164 20166 20166 0 -1 4202496 608 0 0 0 54 0 0 0 25 0 1 0 519268228 426786816 342 33554432000 134512640 135107411 4291245120 18446744073709551615 134523312 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20166/statm: 104196 342 49 146 0 103072 0
[pid=20149/tid=20156] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20156/stat : 20156 (python) S 20147 20149 19167 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 5 0 519268220 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20159] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20159/stat : 20159 (python) S 20147 20149 19167 0 -1 4202560 24 936 0 0 0 0 0 0 20 0 5 0 519268223 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20162] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20162/stat : 20162 (python) S 20147 20149 19167 0 -1 4202560 23 936 0 0 0 0 0 0 20 0 5 0 519268225 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20165] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20165/stat : 20165 (python) S 20147 20149 19167 0 -1 4202560 23 936 0 0 0 0 0 0 22 0 5 0 519268228 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 4367912

[startup+3.10119 s]
/proc/loadavg: 7.76 7.85 5.85 9/246 20166
/proc/meminfo: memFree=28692960/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=320268 CPUtime=0.81 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 12980 936 1 0 74 7 0 0 22 0 5 0 519268134 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20149/statm: 80067 7265 1883 364 0 15976 0
[pid=20155] ppid=20149 vsize=278752 CPUtime=0 cores=0,2,4,6
/proc/20155/stat : 20155 (python) S 20149 20149 19167 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 1 0 519268219 285442048 5626 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471119 0 0 16781312 514 15256848914960056577 0 0 17 4 0 0 0
/proc/20155/statm: 69688 5626 354 364 0 5606 0
[pid=20157] ppid=20155 vsize=1018076 CPUtime=2.23 cores=0,2,4,6
/proc/20157/stat : 20157 (gnovelty+2) R 20155 20157 20157 0 -1 4202496 531 0 0 0 223 0 0 0 25 0 1 0 519268220 1042509824 268 33554432000 134512640 135663704 4291835184 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 254519 268 113 282 0 254235 0
[pid=20158] ppid=20149 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/20158/stat : 20158 (python) S 20149 20149 19167 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 519268222 296325120 5701 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 12914301183954223364 0 0 17 0 0 0 0
/proc/20158/statm: 72345 5701 348 364 0 8260 0
[pid=20160] ppid=20158 vsize=1018076 CPUtime=2.21 cores=0,2,4,6
/proc/20160/stat : 20160 (gnovelty+2) R 20158 20160 20160 0 -1 4202496 530 0 0 0 221 0 0 0 25 0 1 0 519268223 1042509824 268 33554432000 134512640 135663704 4291720880 18446744073709551615 134525278 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/20160/statm: 254519 268 113 282 0 254235 0
[pid=20161] ppid=20149 vsize=299768 CPUtime=0 cores=0,2,4,6
/proc/20161/stat : 20161 (python) S 20149 20149 19167 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 1 0 519268225 306962432 5722 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 4526178652697624835 0 0 17 6 0 0 0
/proc/20161/statm: 74942 5722 348 364 0 10854 0
[pid=20163] ppid=20161 vsize=416920 CPUtime=2.18 cores=0,2,4,6
/proc/20163/stat : 20163 (adaptg2wsat2009) R 20161 20163 20163 0 -1 4202496 673 0 0 0 218 0 0 0 25 0 1 0 519268226 426926080 406 33554432000 134512640 135107411 4293702400 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/20163/statm: 104230 406 59 146 0 103106 0
[pid=20164] ppid=20149 vsize=310024 CPUtime=0 cores=0,2,4,6
/proc/20164/stat : 20164 (python) S 20149 20149 19167 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 519268228 317464576 5726 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 4481189110790193410 0 0 17 6 0 0 0
/proc/20164/statm: 77506 5726 348 364 0 13415 0
[pid=20166] ppid=20164 vsize=416920 CPUtime=2.13 cores=0,2,4,6
/proc/20166/stat : 20166 (adaptg2wsat2009) R 20164 20166 20166 0 -1 4202496 674 0 0 0 213 0 0 0 25 0 1 0 519268228 426926080 408 33554432000 134512640 135107411 4291245120 18446744073709551615 134532304 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20166/statm: 104230 408 59 146 0 103106 0
[pid=20149/tid=20156] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20156/stat : 20156 (python) S 20147 20149 19167 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 5 0 519268220 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20159] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20159/stat : 20159 (python) S 20147 20149 19167 0 -1 4202560 24 936 0 0 0 0 0 0 20 0 5 0 519268223 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20162] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20162/stat : 20162 (python) S 20147 20149 19167 0 -1 4202560 23 936 0 0 0 0 0 0 20 0 5 0 519268225 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20165] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20165/stat : 20165 (python) S 20147 20149 19167 0 -1 4202560 23 936 0 0 0 0 0 0 22 0 5 0 519268228 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 4368184

[startup+6.30061 s]
/proc/loadavg: 7.78 7.85 5.86 9/246 20166
/proc/meminfo: memFree=28692004/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=320268 CPUtime=0.81 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 12980 936 1 0 74 7 0 0 22 0 5 0 519268134 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20149/statm: 80067 7265 1883 364 0 15976 0
[pid=20155] ppid=20149 vsize=278752 CPUtime=0 cores=0,2,4,6
/proc/20155/stat : 20155 (python) S 20149 20149 19167 0 -1 4202560 907 0 0 0 0 0 0 0 18 0 1 0 519268219 285442048 5648 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471119 0 0 16781312 514 15256848914960056577 0 0 17 4 0 0 0
/proc/20155/statm: 69688 5648 376 364 0 5606 0
[pid=20157] ppid=20155 vsize=1018076 CPUtime=5.43 cores=0,2,4,6
/proc/20157/stat : 20157 (gnovelty+2) R 20155 20157 20157 0 -1 4202496 531 0 0 0 543 0 0 0 25 0 1 0 519268220 1042509824 268 33554432000 134512640 135663704 4291835184 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 254519 268 113 282 0 254235 0
[pid=20158] ppid=20149 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/20158/stat : 20158 (python) S 20149 20149 19167 0 -1 4202560 926 0 0 0 0 0 0 0 18 0 1 0 519268222 296325120 5724 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 12914301183954223364 0 0 17 0 0 0 0
/proc/20158/statm: 72345 5724 371 364 0 8260 0
[pid=20160] ppid=20158 vsize=1018076 CPUtime=5.4 cores=0,2,4,6
/proc/20160/stat : 20160 (gnovelty+2) R 20158 20160 20160 0 -1 4202496 530 0 0 0 540 0 0 0 25 0 1 0 519268223 1042509824 268 33554432000 134512640 135663704 4291720880 18446744073709551615 134525286 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/20160/statm: 254519 268 113 282 0 254235 0
[pid=20161] ppid=20149 vsize=299768 CPUtime=0 cores=0,2,4,6
/proc/20161/stat : 20161 (python) S 20149 20149 19167 0 -1 4202560 916 0 0 0 0 0 0 0 18 0 1 0 519268225 306962432 5745 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 4526178652697624835 0 0 17 6 0 0 0
/proc/20161/statm: 74942 5745 371 364 0 10854 0
[pid=20163] ppid=20161 vsize=416920 CPUtime=5.37 cores=0,2,4,6
/proc/20163/stat : 20163 (adaptg2wsat2009) R 20161 20163 20163 0 -1 4202496 673 0 0 0 537 0 0 0 25 0 1 0 519268226 426926080 406 33554432000 134512640 135107411 4293702400 18446744073709551615 134531232 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/20163/statm: 104230 406 59 146 0 103106 0
[pid=20164] ppid=20149 vsize=310024 CPUtime=0 cores=0,2,4,6
/proc/20164/stat : 20164 (python) S 20149 20149 19167 0 -1 4202560 927 0 0 0 0 0 0 0 18 0 1 0 519268228 317464576 5749 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 4481189110790193410 0 0 17 6 0 0 0
/proc/20164/statm: 77506 5749 371 364 0 13415 0
[pid=20166] ppid=20164 vsize=416920 CPUtime=5.3 cores=0,2,4,6
/proc/20166/stat : 20166 (adaptg2wsat2009) R 20164 20166 20166 0 -1 4202496 674 0 0 0 530 0 0 0 25 0 1 0 519268228 426926080 408 33554432000 134512640 135107411 4291245120 18446744073709551615 134539320 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20166/statm: 104230 408 59 146 0 103106 0
[pid=20149/tid=20156] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20156/stat : 20156 (python) S 20147 20149 19167 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 5 0 519268220 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20159] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20159/stat : 20159 (python) S 20147 20149 19167 0 -1 4202560 24 936 0 0 0 0 0 0 20 0 5 0 519268223 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20162] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20162/stat : 20162 (python) S 20147 20149 19167 0 -1 4202560 23 936 0 0 0 0 0 0 20 0 5 0 519268225 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20165] ppid=20147 vsize=320268 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20165/stat : 20165 (python) S 20147 20149 19167 0 -1 4202560 23 936 0 0 0 0 0 0 22 0 5 0 519268228 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 4368184

[startup+12.7004 s]
/proc/loadavg: 7.80 7.85 5.87 9/246 20166
/proc/meminfo: memFree=28691584/32951124 swapFree=67111348/67111528
[pid=20149] ppid=20147 vsize=320268 CPUtime=0.81 cores=0,2,4,6
/proc/20149/stat : 20149 (python) S 20147 20149 19167 0 -1 4202496 12980 936 1 0 74 7 0 0 22 0 5 0 519268134 327954432 7265 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20149/statm: 80067 7265 1883 364 0 15976 0
[pid=20155] ppid=20149 vsize=278752 CPUtime=0.01 cores=0,2,4,6
/proc/20155/stat : 20155 (python) S 20149 20149 19167 0 -1 4202560 910 0 0 0 1 0 0 0 18 0 1 0 519268219 285442048 5649 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471119 0 0 16781312 514 5740136792246419713 0 0 17 4 0 0 0
/proc/20155/statm: 69688 5649 377 364 0 5606 0
[pid=20157] ppid=20155 vsize=1018076 CPUtime=11.83 cores=0,2,4,6
/proc/20157/stat : 20157 (gnovelty+2) R 20155 20157 20157 0 -1 4202496 531 0 0 0 1183 0 0 0 25 0 1 0 519268220 1042509824 268 33554432000 134512640 135663704 4291835184 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20157/statm: 254519 268 113 282 0 254235 0
[pid=20158] ppid=20149 vsize=289380 CPUtime=0 cores=0,2,4,6

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

/proc/20157/stat : 20157 (gnovelty+2) T 20155 20157 20157 0 -1 4202496 531 0 0 0 10013 0 0 0 25 0 1 0 519268220 1042509824 268 33554432000 134512640 135663704 4291835184 18446744073709551615 134524498 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/20157/statm: 254519 268 113 282 0 254235 0
[pid=20155/tid=20189] ppid=20149 vsize=288996 CPUtime=0 cores=0,2,4,6
/proc/20155/task/20189/stat : 20189 (python) S 20149 20149 19167 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 519278235 295931904 5687 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604443580053312 0 0 -1 4 0 0 0
[pid=20158] ppid=20149 vsize=289380 CPUtime=0.14 cores=0,2,4,6
/proc/20158/stat : 20158 (python) S 20149 20149 19167 0 -1 4202560 1110 0 0 0 8 6 0 0 19 0 2 0 519268222 296325120 5754 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20158/statm: 72345 5754 400 364 0 8260 0
[pid=20160] ppid=20158 vsize=1018076 CPUtime=99.98 cores=0,2,4,6
/proc/20160/stat : 20160 (gnovelty+2) T 20158 20160 20160 0 -1 4202496 530 0 0 0 9998 0 0 0 25 0 1 0 519268223 1042509824 268 33554432000 134512640 135663704 4291720880 18446744073709551615 134547014 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/20160/statm: 254519 268 113 282 0 254235 0
[pid=20158/tid=20190] ppid=20149 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/20158/task/20190/stat : 20190 (python) S 20149 20149 19167 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 519278237 296325120 5754 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604451624571008 0 0 -1 0 0 0 0
[pid=20161] ppid=20149 vsize=299768 CPUtime=0.33 cores=0,2,4,6
/proc/20161/stat : 20161 (python) S 20149 20149 19167 0 -1 4202560 1136 0 0 0 19 14 0 0 18 0 2 0 519268225 306962432 5775 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20161/statm: 74942 5775 400 364 0 10854 0
[pid=20163] ppid=20161 vsize=416920 CPUtime=195.98 cores=0,2,4,6
/proc/20163/stat : 20163 (adaptg2wsat2009) T 20161 20163 20163 0 -1 4202496 673 0 0 0 19597 1 0 0 25 0 1 0 519268226 426926080 406 33554432000 134512640 135107411 4293702400 18446744073709551615 134532242 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/20163/statm: 104230 406 59 146 0 103106 0
[pid=20161/tid=20185] ppid=20149 vsize=299768 CPUtime=0 cores=0,2,4,6
/proc/20161/task/20185/stat : 20185 (python) S 20149 20149 19167 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 519278140 306962432 5775 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453966526336 0 0 -1 6 0 0 0
[pid=20164] ppid=20149 vsize=310024 CPUtime=0.33 cores=0,2,4,6
/proc/20164/stat : 20164 (python) S 20149 20149 19167 0 -1 4202560 1157 0 0 0 20 13 0 0 18 0 2 0 519268228 317464576 5779 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20164/statm: 77506 5779 400 364 0 13415 0
[pid=20166] ppid=20164 vsize=416920 CPUtime=195.2 cores=0,2,4,6
/proc/20166/stat : 20166 (adaptg2wsat2009) T 20164 20166 20166 0 -1 4202496 674 0 0 0 19520 0 0 0 25 0 1 0 519268228 426926080 408 33554432000 134512640 135107411 4291245120 18446744073709551615 134532128 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/20166/statm: 104230 408 59 146 0 103106 0
[pid=20164/tid=20197] ppid=20149 vsize=310024 CPUtime=0 cores=0,2,4,6
/proc/20164/task/20197/stat : 20197 (python) S 20149 20149 19167 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 519278246 317464576 5779 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453956051392 0 0 -1 6 0 0 0
[pid=20186] ppid=20149 vsize=320280 CPUtime=0.35 cores=0,2,4,6
/proc/20186/stat : 20186 (python) S 20149 20149 19167 0 -1 4202560 1159 0 0 0 19 16 0 0 18 0 2 0 519278142 327966720 5800 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20186/statm: 80070 5800 400 364 0 15976 0
[pid=20188] ppid=20186 vsize=416920 CPUtime=197.32 cores=0,2,4,6
/proc/20188/stat : 20188 (adaptg2wsat2009) T 20186 20188 20188 0 -1 4202496 673 0 0 0 19732 0 0 0 25 0 1 0 519278143 426926080 405 33554432000 134512640 135107411 4292169504 18446744073709551615 134531435 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/20188/statm: 104230 405 59 146 0 103106 0
[pid=20186/tid=20216] ppid=20149 vsize=320280 CPUtime=0 cores=0,2,4,6
/proc/20186/task/20216/stat : 20216 (python) S 20149 20149 19167 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 519288159 327966720 5800 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453913774976 0 0 -1 6 0 0 0
[pid=20191] ppid=20149 vsize=330680 CPUtime=0.17 cores=0,2,4,6
/proc/20191/stat : 20191 (python) S 20149 20149 19167 0 -1 4202560 1134 0 0 0 9 8 0 0 19 0 2 0 519278238 338616320 5823 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20191/statm: 82670 5823 400 364 0 18573 0
[pid=20193] ppid=20191 vsize=1018076 CPUtime=100.17 cores=0,2,4,6
/proc/20193/stat : 20193 (gnovelty+2) T 20191 20193 20193 0 -1 4202496 533 0 0 0 10017 0 0 0 25 0 1 0 519278238 1042509824 267 33554432000 134512640 135663704 4291619760 18446744073709551615 134524534 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/20193/statm: 254519 267 113 282 0 254235 0
[pid=20191/tid=20220] ppid=20149 vsize=330680 CPUtime=0 cores=0,2,4,6
/proc/20191/task/20220/stat : 20220 (python) S 20149 20149 19167 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519288255 338616320 5823 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453913773184 0 0 -1 6 0 0 0
[pid=20194] ppid=20149 vsize=340936 CPUtime=0.17 cores=0,2,4,6
/proc/20194/stat : 20194 (python) S 20149 20149 19167 0 -1 4202560 1192 0 0 0 9 8 0 0 19 0 2 0 519278241 349118464 5854 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20194/statm: 85234 5854 406 364 0 21134 0
[pid=20196] ppid=20194 vsize=247068 CPUtime=99.06 cores=0,2,4,6
/proc/20196/stat : 20196 (FH) T 20194 20196 20196 0 -1 4202496 632 0 0 0 9906 0 0 0 25 0 1 0 519278241 252997632 366 33554432000 134512640 134936988 4288574848 18446744073709551615 134544774 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/20196/statm: 61767 366 41 104 0 61271 0
[pid=20194/tid=20221] ppid=20149 vsize=340936 CPUtime=0 cores=0,2,4,6
/proc/20194/task/20221/stat : 20221 (python) S 20149 20149 19167 0 -1 4202560 96 0 0 0 0 0 0 0 19 0 2 0 519288259 349118464 5854 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453944152192 0 0 -1 4 0 0 0
[pid=20198] ppid=20149 vsize=351192 CPUtime=2.02 cores=0,2,4,6
/proc/20198/stat : 20198 (python) S 20149 20149 19167 0 -1 4202560 1230 0 0 0 103 99 0 0 15 0 2 0 519278249 359620608 5858 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20198/statm: 87798 5858 406 364 0 23695 0
[pid=20200] ppid=20198 vsize=8028 CPUtime=1098.19 cores=0,2,4,6
/proc/20200/stat : 20200 (march_hi) R 20198 20200 20200 0 -1 4202496 2594 0 0 0 109817 2 0 0 25 0 1 0 519278250 8220672 1559 33554432000 4194304 4955518 140737167090032 18446744073709551615 4297483 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/20200/statm: 2007 1559 106 186 0 1820 0
[pid=20198/tid=20251] ppid=20149 vsize=351192 CPUtime=0 cores=0,2,4,6
/proc/20198/task/20251/stat : 20251 (python) S 20149 20149 19167 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 519317657 359620608 5858 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453948331264 0 0 -1 4 0 0 0
[pid=20217] ppid=20149 vsize=361680 CPUtime=0.17 cores=0,2,4,6
/proc/20217/stat : 20217 (python) S 20149 20149 19167 0 -1 4202560 1155 0 0 0 10 7 0 0 19 0 2 0 519288162 370360320 5893 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/20217/statm: 90420 5893 400 364 0 26314 0
[pid=20219] ppid=20217 vsize=416920 CPUtime=99.78 cores=0,2,4,6
/proc/20219/stat : 20219 (adaptg2wsat2009) T 20217 20219 20219 0 -1 4202496 677 0 0 0 9978 0 0 0 25 0 1 0 519288163 426926080 406 33554432000 134512640 135107411 4294101328 18446744073709551615 134532313 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/20219/statm: 104230 406 59 146 0 103106 0
[pid=20217/tid=20235] ppid=20149 vsize=361680 CPUtime=0 cores=0,2,4,6
/proc/20217/task/20235/stat : 20235 (python) S 20149 20149 19167 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 519298178 370360320 5893 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453956053184 0 0 -1 4 0 0 0
[pid=20222] ppid=20149 vsize=371936 CPUtime=1.89 cores=0,2,4,6
/proc/20222/stat : 20222 (python) S 20149 20149 19167 0 -1 4202560 1208 0 0 0 107 82 0 0 15 0 2 0 519288260 380862464 5897 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20222/statm: 92984 5897 400 364 0 28875 0
[pid=20224] ppid=20222 vsize=8028 CPUtime=998.03 cores=0,2,4,6
/proc/20224/stat : 20224 (march_hi) R 20222 20224 20224 0 -1 4202496 2500 0 0 0 99802 1 0 0 25 0 1 0 519288261 8220672 1462 33554432000 4194304 4955518 140734976094336 18446744073709551615 4208724 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20224/statm: 2007 1462 106 186 0 1820 0
[pid=20222/tid=20403] ppid=20149 vsize=371936 CPUtime=0 cores=0,2,4,6
/proc/20222/task/20403/stat : 20403 (python) S 20149 20149 19167 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 519327744 380862464 5897 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453985580864 0 0 -1 0 0 0 0
[pid=20225] ppid=20149 vsize=382192 CPUtime=0.53 cores=0,2,4,6
/proc/20225/stat : 20225 (python) S 20149 20149 19167 0 -1 4202560 1194 0 0 0 28 25 0 0 18 0 2 0 519288264 391364608 5901 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20225/statm: 95548 5901 400 364 0 31436 0
[pid=20227] ppid=20225 vsize=268420 CPUtime=296.38 cores=0,2,4,6
/proc/20227/stat : 20227 (hybridGM3) T 20225 20227 20227 0 -1 4202496 4898 0 0 0 29638 0 0 0 25 0 1 0 519288265 274862080 4628 33554432000 134512640 135204385 4290327392 18446744073709551615 134537452 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/20227/statm: 67105 4628 64 169 0 66935 0
[pid=20225/tid=20241] ppid=20149 vsize=382192 CPUtime=0 cores=0,2,4,6
/proc/20225/task/20241/stat : 20241 (python) S 20149 20149 19167 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 519308304 391364608 5901 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453982658752 0 0 -1 0 0 0 0
[pid=20248] ppid=20149 vsize=392056 CPUtime=0.17 cores=0,2,4,6
/proc/20248/stat : 20248 (python) S 20149 20149 19167 0 -1 4202560 1184 0 0 0 10 7 0 0 19 0 2 0 519317525 401465344 5822 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/20248/statm: 98014 5822 400 364 0 33899 0
[pid=20250] ppid=20248 vsize=247064 CPUtime=99.96 cores=0,2,4,6
/proc/20250/stat : 20250 (FH) T 20248 20250 20250 0 -1 4202496 635 0 0 0 9993 3 0 0 25 0 1 0 519317525 252993536 365 33554432000 134512640 134936988 4288278496 18446744073709551615 134545269 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/20250/statm: 61766 365 41 104 0 61270 0
[pid=20248/tid=20399] ppid=20149 vsize=392056 CPUtime=0 cores=0,2,4,6
/proc/20248/task/20399/stat : 20399 (python) S 20149 20149 19167 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519327541 401465344 5822 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453939724736 0 0 -1 2 0 0 0
[pid=20252] ppid=20149 vsize=402816 CPUtime=1.35 cores=0,2,4,6
/proc/20252/stat : 20252 (python) S 20149 20149 19167 0 -1 4202560 1202 0 0 0 79 56 0 0 15 0 2 0 519318331 412483584 5937 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20252/statm: 100704 5937 400 364 0 36586 0
[pid=20254] ppid=20252 vsize=6304 CPUtime=697.98 cores=0,2,4,6
/proc/20254/stat : 20254 (march_hi) R 20252 20254 20254 0 -1 4202496 2196 0 0 0 69794 4 0 0 25 0 1 0 519318331 6455296 1160 33554432000 4194304 4955518 140734898949488 18446744073709551615 4237810 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20254/statm: 1576 1160 106 186 0 1389 0
[pid=20252/tid=20439] ppid=20149 vsize=402816 CPUtime=0 cores=0,2,4,6
/proc/20252/task/20439/stat : 20439 (python) S 20149 20149 19167 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 519366996 412483584 5937 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453939726528 0 0 -1 0 0 0 0
[pid=20400] ppid=20149 vsize=413072 CPUtime=0.33 cores=0,2,4,6
/proc/20400/stat : 20400 (python) S 20149 20149 19167 0 -1 4202560 1200 0 0 0 18 15 0 0 19 0 2 0 519327545 422985728 5941 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20400/statm: 103268 5941 400 364 0 39147 0
[pid=20402] ppid=20400 vsize=268424 CPUtime=196.29 cores=0,2,4,6
/proc/20402/stat : 20402 (hybridGM3) T 20400 20402 20402 0 -1 4202496 4902 0 0 0 19629 0 0 0 25 0 1 0 519327546 274866176 4629 33554432000 134512640 135204385 4288930448 18446744073709551615 134537403 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/20402/statm: 67106 4629 64 169 0 66936 0
[pid=20400/tid=20426] ppid=20149 vsize=413072 CPUtime=0 cores=0,2,4,6
/proc/20400/task/20426/stat : 20426 (python) S 20149 20149 19167 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 519347180 422985728 5941 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453915226496 0 0 -1 2 0 0 0
[pid=20429] ppid=20149 vsize=423484 CPUtime=0.18 cores=0,2,4,6
/proc/20429/stat : 20429 (python) S 20149 20149 19167 0 -1 4202560 1230 0 0 0 12 6 0 0 19 0 2 0 519356905 433647616 5992 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/20429/statm: 105871 5992 408 364 0 41747 0
[pid=20431] ppid=20429 vsize=1018076 CPUtime=98.07 cores=0,2,4,6
/proc/20431/stat : 20431 (gnovelty+2) T 20429 20431 20431 0 -1 4202496 540 0 0 0 9807 0 0 0 25 0 1 0 519356906 1042509824 267 33554432000 134512640 135663704 4286706880 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/20431/statm: 254519 267 113 282 0 254235 0
[pid=20429/tid=20435] ppid=20149 vsize=423484 CPUtime=0 cores=0,2,4,6
/proc/20429/task/20435/stat : 20435 (python) S 20149 20149 19167 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519366925 433647616 5992 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 514 18446604453920994496 0 0 -1 6 0 0 0
[pid=20436] ppid=20149 vsize=433740 CPUtime=0.43 cores=0,2,4,6
/proc/20436/stat : 20436 (python) S 20149 20149 19167 0 -1 4202560 1087 0 0 0 22 21 0 0 15 0 1 0 519366928 444149760 5966 33554432000 4194304 5683644 140733744817632 18446744073709551615 228095471174 0 0 16781312 514 5740136792246419716 0 0 17 4 0 0 0
/proc/20436/statm: 108435 5966 379 364 0 44308 0
[pid=20438] ppid=20436 vsize=3876 CPUtime=217.14 cores=0,2,4,6
/proc/20438/stat : 20438 (march_hi) R 20436 20438 20438 0 -1 4202496 1746 0 0 0 21713 1 0 0 25 0 1 0 519366929 3969024 707 33554432000 4194304 4955518 140737461768368 18446744073709551615 4297472 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/20438/statm: 969 707 106 186 0 782 0
[pid=20149/tid=20156] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20156/stat : 20156 (python) S 20147 20149 19167 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 17 0 519268220 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20159] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20159/stat : 20159 (python) S 20147 20149 19167 0 -1 4202560 24 936 0 0 0 0 0 0 20 0 17 0 519268223 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20162] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20162/stat : 20162 (python) S 20147 20149 19167 0 -1 4202560 27 936 0 0 0 0 0 0 18 0 17 0 519268225 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20165] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20165/stat : 20165 (python) S 20147 20149 19167 0 -1 4202560 27 936 0 0 0 0 0 0 18 0 17 0 519268228 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20187] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20187/stat : 20187 (python) S 20147 20149 19167 0 -1 4202560 32 936 0 0 0 0 0 0 18 0 17 0 519278143 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20192] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20192/stat : 20192 (python) S 20147 20149 19167 0 -1 4202560 25 936 0 0 0 0 0 0 20 0 17 0 519278238 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20195] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20195/stat : 20195 (python) S 20147 20149 19167 0 -1 4202560 30 936 0 0 0 0 0 0 22 0 17 0 519278241 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20199] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20199/stat : 20199 (python) S 20147 20149 19167 0 -1 4202560 44 936 0 0 0 0 0 0 18 0 17 0 519278250 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20218] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20218/stat : 20218 (python) S 20147 20149 19167 0 -1 4202560 31 936 0 0 0 0 0 0 20 0 17 0 519288162 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
[pid=20149/tid=20223] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20223/stat : 20223 (python) S 20147 20149 19167 0 -1 4202560 31 936 0 0 0 0 0 0 18 0 17 0 519288260 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 0 0 0 0
[pid=20149/tid=20226] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20226/stat : 20226 (python) S 20147 20149 19167 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 17 0 519288265 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20249] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20249/stat : 20249 (python) S 20147 20149 19167 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 17 0 519317525 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20253] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20253/stat : 20253 (python) S 20147 20149 19167 0 -1 4202560 35 936 0 0 0 0 0 0 18 0 17 0 519318331 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20401] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20401/stat : 20401 (python) S 20147 20149 19167 0 -1 4202560 32 936 0 0 0 0 0 0 20 0 17 0 519327545 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20430] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20430/stat : 20430 (python) S 20147 20149 19167 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 17 0 519356905 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 6 0 0 0
[pid=20149/tid=20437] ppid=20147 vsize=443400 CPUtime=0 cores=0,2,4,6
/proc/20149/task/20437/stat : 20437 (python) S 20147 20149 19167 0 -1 4202560 27 936 0 0 0 0 0 0 20 0 17 0 519366929 454041600 7379 33554432000 4194304 5683644 140733744817632 18446744073709551615 228107274673 0 0 16781312 2 18446604451624573696 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 12952828

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20149 and gives
#  childrusage.ru_utime.tv_sec=1919
#  childrusage.ru_utime.tv_usec=792147
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=187363
# CPU time returned by wait4() is 1923.98
# while last known CPU time is 4800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1205.61
CPU time (s): 4800.06
CPU user time (s): 4795.93
CPU system time (s): 4.13
CPU usage (%): 398.145
Max. virtual memory (cumulated for all children) (KiB): 12953632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1919.79
system time used= 4.18736
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52512
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= 7496
involuntary context switches= 19258

runsolver used 6.15506 second user time and 12.6451 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-01 18:48:46
IDJOB=3317257
IDBENCH=82722
IDSOLVER=1705
FILE ID=node142/3317257-1304268526
RUNJOBID= node142-1304267280-19185
PBS_JOBID= 13173937
Free space on /tmp= 73292 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1516725086-012.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-3317257-1304268526/watcher-3317257-1304268526 -o /tmp/evaluation-result-3317257-1304268526/solver-3317257-1304268526 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317257-1304268526.cnf -seed 1493208630 -budget 4800 -cores 4

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

MD5SUM BENCH= 700fcf61c35143a2185883134d0eb67b
RANDOM SEED=1493208630

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28735628 kB
Buffers:       1132920 kB
Cached:        2179932 kB
SwapCached:        176 kB
Active:         994744 kB
Inactive:      2707712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28735628 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           32068 kB
Writeback:           0 kB
AnonPages:      389592 kB
Mapped:          23660 kB
Slab:           438524 kB
PageTables:      14672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21114228 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= 73252 MiB
End job on node142 at 2011-05-01 19:08:54