Trace number 3317116

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? (MO) 3166.11 796.418

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf
MD5SUM6f9c7c042784ec486e9e8bc570309805
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 variables250
Number of clauses21250
Sum of the clauses size148750
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 521250

Solver Data 

0.31/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.31/0.47	c INFO: solving HOME/instance-3317116-1304267349.cnf
0.31/0.47	c INFO: computing task features
0.50/0.61	c INFO: computed variable-clause graph statistics
0.50/0.62	c INFO: computed clause balance statistics
1.20/1.33	c INFO: computed variable balance statistics
1.50/1.63	c INFO: computed small-clause counts
1.50/1.63	c INFO: computed Horn-clause counts
1.50/1.65	c INFO: computed variable graph statistics
1.50/1.65	c INFO: collected features for HOME/instance-3317116-1304267349.cnf in 1.17 s
1.50/1.68	c INFO: running gnovelty+2@0 for 97 with 4798 remaining (b = 0.36)
1.60/1.71	c INFO: running gnovelty+2@0 for 97 with 4798 remaining (b = 0.13)
1.60/1.74	c INFO: running adaptg2wsat2009++@0 for 97 with 4798 remaining (b = 0.08)
1.60/1.77	c INFO: running adaptg2wsat2009++@0 for 97 with 4798 remaining (b = 0.07)
397.73/100.90	c INFO: running adaptg2wsat2009++@0 for 97 with 4699 remaining (b = 0.05)
397.73/100.94	c INFO: running gnovelty+2@0 for 97 with 4699 remaining (b = 0.04)
401.29/101.86	c INFO: running FH@0 for 97 with 4698 remaining (b = 0.03)
401.66/101.92	c INFO: running adaptg2wsat2009++@0 for 97 with 4698 remaining (b = 0.03)
796.91/201.08	c INFO: running adaptg2wsat2009++@0 for 97 with 4599 remaining (b = 0.02)
797.29/201.14	c INFO: running FH@0 for 97 with 4599 remaining (b = 0.02)
800.86/202.02	c INFO: running hybridGM3@0 for 194 with 4598 remaining (b = 0.04)
800.86/202.09	c INFO: running gnovelty+2@0 for 97 with 4598 remaining (b = 0.02)
1196.05/301.25	c INFO: running hybridGM3@0 for 194 with 4499 remaining (b = 0.03)
1196.41/301.31	c INFO: running hybridGM3@0 for 194 with 4499 remaining (b = 0.03)
1196.41/301.36	c INFO: running TNM@0 for 1552 with 4499 remaining (b = 0.20)
1607.01/404.40	c INFO: running hybridGM3@100 for 97 with 4396 remaining (b = 0.01)
1978.29/497.65	c INFO: running hybridGM3@99 for 97 with 4302 remaining (b = 0.01)
1978.29/497.69	c INFO: running hybridGM3@100 for 97 with 4302 remaining (b = 0.01)
1985.83/499.60	c INFO: running hybridGM3@296 for 97 with 4300 remaining (b = 0.01)
2357.47/592.86	c INFO: running adaptg2wsat2009++@0 for 97 with 4207 remaining (b = 0.01)
2381.30/598.83	c INFO: running hybridGM3@193 for 97 with 4201 remaining (b = 0.01)
2388.83/600.78	c INFO: running hybridGM3@295 for 97 with 4199 remaining (b = 0.01)
2763.15/694.95	c INFO: running FH@0 for 97 with 4105 remaining (b = 0.01)
2775.48/698.07	c INFO: running hybridGM3@390 for 97 with 4102 remaining (b = 0.01)
2787.38/701.03	c INFO: running hybridGM3@292 for 97 with 4099 remaining (b = 0.01)
3161.31/795.16	c INFO: running adaptg2wsat2009++@98 for 97 with 4005 remaining (b = 0.01)
3161.72/795.27	c INFO: running gnovelty+2@0 for 97 with 4005 remaining (b = 0.01)
3166.11/796.38	c INFO: running hybridGM3@389 for 97 with 4004 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-3317116-1304267349/watcher-3317116-1304267349 -o /tmp/evaluation-result-3317116-1304267349/solver-3317116-1304267349 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317116-1304267349.cnf -seed 1558148818 -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: 4.02 1.04 0.35 6/189 6257
/proc/meminfo: memFree=18441520/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/6257/stat : 6257 (python) R 6255 6257 6070 0 -1 4202496 786 0 0 0 0 0 0 0 25 0 1 0 538337558 15753216 674 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634209261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6257/statm: 3846 675 322 364 0 333 0

[startup+0.035917 s]
/proc/loadavg: 4.02 1.04 0.35 6/189 6257
/proc/meminfo: memFree=18441520/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/6257/stat : 6257 (python) R 6255 6257 6070 0 -1 4202496 1285 0 0 0 2 0 0 0 17 0 1 0 538337558 19341312 1137 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634164338 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6257/statm: 4722 1137 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888

[startup+0.100871 s]
/proc/loadavg: 4.02 1.04 0.35 6/189 6257
/proc/meminfo: memFree=18441520/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=102016 CPUtime=0.06 cores=0,2,4,6
/proc/6257/stat : 6257 (python) R 6255 6257 6070 0 -1 4202496 3027 0 0 0 5 1 0 0 17 0 1 0 538337558 104464384 2718 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634513408 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6257/statm: 25505 2719 841 364 0 1805 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 102016

[startup+0.30084 s]
/proc/loadavg: 4.02 1.04 0.35 6/189 6257
/proc/meminfo: memFree=18441520/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=157384 CPUtime=0.23 cores=0,2,4,6
/proc/6257/stat : 6257 (python) S 6255 6257 6070 0 -1 4202496 6597 933 1 0 17 6 0 0 17 0 1 0 538337558 161161216 4695 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/6257/statm: 39346 4695 1257 364 0 3454 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 157384

[startup+0.700837 s]
/proc/loadavg: 4.02 1.04 0.35 6/189 6257
/proc/meminfo: memFree=18441520/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=283916 CPUtime=0.6 cores=0,2,4,6
/proc/6257/stat : 6257 (python) R 6255 6257 6070 0 -1 4202496 11846 933 1 0 51 9 0 0 17 0 1 0 538337558 290729984 8363 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634170376 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6257/statm: 70979 8363 1826 364 0 6903 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283916

[startup+1.50066 s]
/proc/loadavg: 4.02 1.04 0.35 6/190 6262
/proc/meminfo: memFree=18413004/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=283916 CPUtime=1.4 cores=0,2,4,6
/proc/6257/stat : 6257 (python) R 6255 6257 6070 0 -1 4202496 11847 933 1 0 131 9 0 0 18 0 1 0 538337558 290729984 8364 33554432000 4194304 5683644 140733906641936 18446744073709551615 47514773942374 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6257/statm: 70979 8364 1827 364 0 6903 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 283916

[startup+3.10134 s]
/proc/loadavg: 4.02 1.04 0.35 9/202 6274
/proc/meminfo: memFree=18391084/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=321096 CPUtime=1.67 cores=0,2,4,6
/proc/6257/stat : 6257 (python) S 6255 6257 6070 0 -1 4202496 14719 933 1 0 156 11 0 0 25 0 5 0 538337558 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6257/statm: 80274 7472 1883 364 0 16183 0
[pid=6263] ppid=6257 vsize=279928 CPUtime=0 cores=0,2,4,6
/proc/6263/stat : 6263 (python) S 6257 6257 6070 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 538337726 286646272 5769 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535439 0 0 16781312 514 4403008886252994820 0 0 17 2 0 0 0
/proc/6263/statm: 69982 5769 355 364 0 5900 0
[pid=6265] ppid=6263 vsize=1018820 CPUtime=1.41 cores=0,2,4,6
/proc/6265/stat : 6265 (gnovelty+2) R 6263 6265 6265 0 -1 4202496 857 0 0 0 141 0 0 0 25 0 1 0 538337727 1043271680 595 33554432000 134512640 135663704 4289665824 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6265/statm: 254705 595 113 282 0 254421 0
[pid=6266] ppid=6257 vsize=290824 CPUtime=0 cores=0,2,4,6
/proc/6266/stat : 6266 (python) S 6257 6257 6070 0 -1 4202560 746 0 0 0 0 0 0 0 18 0 1 0 538337729 297803776 5792 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 7727134352961667330 0 0 17 6 0 0 0
/proc/6266/statm: 72706 5792 349 364 0 8621 0
[pid=6268] ppid=6266 vsize=1018820 CPUtime=1.37 cores=0,2,4,6
/proc/6268/stat : 6268 (gnovelty+2) R 6266 6268 6268 0 -1 4202496 860 0 0 0 137 0 0 0 25 0 1 0 538337730 1043271680 595 33554432000 134512640 135663704 4286652592 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6268/statm: 254705 595 113 282 0 254421 0
[pid=6269] ppid=6257 vsize=300596 CPUtime=0 cores=0,2,4,6
/proc/6269/stat : 6269 (python) S 6257 6257 6070 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 538337732 307810304 5928 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 8412384359130071039 0 0 17 2 0 0 0
/proc/6269/statm: 75149 5928 347 364 0 11061 0
[pid=6271] ppid=6269 vsize=419160 CPUtime=1.34 cores=0,2,4,6
/proc/6271/stat : 6271 (adaptg2wsat2009) R 6269 6271 6271 0 -1 4202496 1252 0 0 0 134 0 0 0 25 0 1 0 538337733 429219840 990 33554432000 134512640 135107411 4290300064 18446744073709551615 134523452 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6271/statm: 104790 990 49 146 0 103666 0
[pid=6272] ppid=6257 vsize=310852 CPUtime=0 cores=0,2,4,6
/proc/6272/stat : 6272 (python) S 6257 6257 6070 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 1 0 538337735 318312448 5933 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 7727126656380305407 0 0 17 0 0 0 0
/proc/6272/statm: 77713 5933 347 364 0 13622 0
[pid=6274] ppid=6272 vsize=419160 CPUtime=1.31 cores=0,2,4,6
/proc/6274/stat : 6274 (adaptg2wsat2009) R 6272 6274 6274 0 -1 4202496 1255 0 0 0 131 0 0 0 25 0 1 0 538337736 429219840 990 33554432000 134512640 135107411 4293663952 18446744073709551615 134523319 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6274/statm: 104790 990 49 146 0 103666 0
[pid=6257/tid=6264] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6264/stat : 6264 (python) S 6255 6257 6070 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 5 0 538337727 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6267] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6267/stat : 6267 (python) S 6255 6257 6070 0 -1 4202560 24 933 0 0 0 0 0 0 23 0 5 0 538337729 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6270] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6270/stat : 6270 (python) S 6255 6257 6070 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 538337733 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6273] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6273/stat : 6273 (python) S 6255 6257 6070 0 -1 4202560 30 933 0 0 0 0 0 0 25 0 5 0 538337736 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 4379256

[startup+6.30078 s]
/proc/loadavg: 4.34 1.16 0.39 9/202 6274
/proc/meminfo: memFree=18389784/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=321096 CPUtime=1.67 cores=0,2,4,6
/proc/6257/stat : 6257 (python) S 6255 6257 6070 0 -1 4202496 14719 933 1 0 156 11 0 0 25 0 5 0 538337558 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6257/statm: 80274 7472 1883 364 0 16183 0
[pid=6263] ppid=6257 vsize=279928 CPUtime=0 cores=0,2,4,6
/proc/6263/stat : 6263 (python) S 6257 6257 6070 0 -1 4202560 896 0 0 0 0 0 0 0 18 0 1 0 538337726 286646272 5792 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535439 0 0 16781312 514 4403008886252994820 0 0 17 2 0 0 0
/proc/6263/statm: 69982 5792 378 364 0 5900 0
[pid=6265] ppid=6263 vsize=1018820 CPUtime=4.61 cores=0,2,4,6
/proc/6265/stat : 6265 (gnovelty+2) R 6263 6265 6265 0 -1 4202496 857 0 0 0 461 0 0 0 25 0 1 0 538337727 1043271680 595 33554432000 134512640 135663704 4289665824 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6265/statm: 254705 595 113 282 0 254421 0
[pid=6266] ppid=6257 vsize=290824 CPUtime=0 cores=0,2,4,6
/proc/6266/stat : 6266 (python) S 6257 6257 6070 0 -1 4202560 902 0 0 0 0 0 0 0 18 0 1 0 538337729 297803776 5815 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 7727134352961667330 0 0 17 6 0 0 0
/proc/6266/statm: 72706 5815 372 364 0 8621 0
[pid=6268] ppid=6266 vsize=1018820 CPUtime=4.54 cores=0,2,4,6
/proc/6268/stat : 6268 (gnovelty+2) R 6266 6268 6268 0 -1 4202496 860 0 0 0 454 0 0 0 25 0 1 0 538337730 1043271680 595 33554432000 134512640 135663704 4286652592 18446744073709551615 134525286 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6268/statm: 254705 595 113 282 0 254421 0
[pid=6269] ppid=6257 vsize=300596 CPUtime=0 cores=0,2,4,6
/proc/6269/stat : 6269 (python) S 6257 6257 6070 0 -1 4202560 903 0 0 0 0 0 0 0 18 0 1 0 538337732 307810304 5951 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 8412384359130038529 0 0 17 2 0 0 0
/proc/6269/statm: 75149 5951 370 364 0 11061 0
[pid=6271] ppid=6269 vsize=419428 CPUtime=4.53 cores=0,2,4,6
/proc/6271/stat : 6271 (adaptg2wsat2009) R 6269 6271 6271 0 -1 4202496 1436 0 0 0 453 0 0 0 25 0 1 0 538337733 429494272 1174 33554432000 134512640 135107411 4290300064 18446744073709551615 134531428 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6271/statm: 104857 1174 59 146 0 103733 0
[pid=6272] ppid=6257 vsize=310852 CPUtime=0 cores=0,2,4,6
/proc/6272/stat : 6272 (python) S 6257 6257 6070 0 -1 4202560 928 0 0 0 0 0 0 0 18 0 1 0 538337735 318312448 5956 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 7727126656380272898 0 0 17 0 0 0 0
/proc/6272/statm: 77713 5956 370 364 0 13622 0
[pid=6274] ppid=6272 vsize=419428 CPUtime=4.5 cores=0,2,4,6
/proc/6274/stat : 6274 (adaptg2wsat2009) R 6272 6274 6274 0 -1 4202496 1440 0 0 0 450 0 0 0 25 0 1 0 538337736 429494272 1175 33554432000 134512640 135107411 4293663952 18446744073709551615 134532326 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6274/statm: 104857 1175 59 146 0 103733 0
[pid=6257/tid=6264] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6264/stat : 6264 (python) S 6255 6257 6070 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 5 0 538337727 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6267] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6267/stat : 6267 (python) S 6255 6257 6070 0 -1 4202560 24 933 0 0 0 0 0 0 23 0 5 0 538337729 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6270] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6270/stat : 6270 (python) S 6255 6257 6070 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 538337733 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6273] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6273/stat : 6273 (python) S 6255 6257 6070 0 -1 4202560 30 933 0 0 0 0 0 0 25 0 5 0 538337736 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (KiB) 4379792

[startup+12.7006 s]
/proc/loadavg: 4.63 1.27 0.43 9/202 6274
/proc/meminfo: memFree=18388808/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=321096 CPUtime=1.67 cores=0,2,4,6
/proc/6257/stat : 6257 (python) S 6255 6257 6070 0 -1 4202496 14719 933 1 0 156 11 0 0 25 0 5 0 538337558 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6257/statm: 80274 7472 1883 364 0 16183 0
[pid=6263] ppid=6257 vsize=279928 CPUtime=0 cores=0,2,4,6
/proc/6263/stat : 6263 (python) S 6257 6257 6070 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 538337726 286646272 5792 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535439 0 0 16781312 514 16297752995267838212 0 0 17 2 0 0 0
/proc/6263/statm: 69982 5792 378 364 0 5900 0
[pid=6265] ppid=6263 vsize=1018820 CPUtime=11.01 cores=0,2,4,6
/proc/6265/stat : 6265 (gnovelty+2) R 6263 6265 6265 0 -1 4202496 857 0 0 0 1101 0 0 0 25 0 1 0 538337727 1043271680 595 33554432000 134512640 135663704 4289665824 18446744073709551615 134525224 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6265/statm: 254705 595 113 282 0 254421 0
[pid=6266] ppid=6257 vsize=290824 CPUtime=0 cores=0,2,4,6
/proc/6266/stat : 6266 (python) S 6257 6257 6070 0 -1 4202560 905 0 0 0 0 0 0 0 18 0 1 0 538337729 297803776 5815 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 16297752995267838210 0 0 17 6 0 0 0
/proc/6266/statm: 72706 5815 372 364 0 8621 0
[pid=6268] ppid=6266 vsize=1018820 CPUtime=10.9 cores=0,2,4,6
/proc/6268/stat : 6268 (gnovelty+2) R 6266 6268 6268 0 -1 4202496 860 0 0 0 1090 0 0 0 25 0 1 0 538337730 1043271680 595 33554432000 134512640 135663704 4286652592 18446744073709551615 134545772 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6268/statm: 254705 595 113 282 0 254421 0
[pid=6269] ppid=6257 vsize=300596 CPUtime=0 cores=0,2,4,6
/proc/6269/stat : 6269 (python) S 6257 6257 6070 0 -1 4202560 907 0 0 0 0 0 0 0 18 0 1 0 538337732 307810304 5951 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 16297752995267838209 0 0 17 2 0 0 0
/proc/6269/statm: 75149 5951 370 364 0 11061 0
[pid=6271] ppid=6269 vsize=419428 CPUtime=10.91 cores=0,2,4,6
/proc/6271/stat : 6271 (adaptg2wsat2009) R 6269 6271 6271 0 -1 4202496 1436 0 0 0 1091 0 0 0 25 0 1 0 538337733 429494272 1174 33554432000 134512640 135107411 4290300064 18446744073709551615 134532135 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6271/statm: 104857 1174 59 146 0 103733 0
[pid=6272] ppid=6257 vsize=310852 CPUtime=0.01 cores=0,2,4,6
/proc/6272/stat : 6272 (python) S 6257 6257 6070 0 -1 4202560 930 0 0 0 1 0 0 0 18 0 1 0 538337735 318312448 5956 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 16297752995267838210 0 0 17 0 0 0 0
/proc/6272/statm: 77713 5956 370 364 0 13622 0
[pid=6274] ppid=6272 vsize=419428 CPUtime=10.9 cores=0,2,4,6
/proc/6274/stat : 6274 (adaptg2wsat2009) R 6272 6274 6274 0 -1 4202496 1440 0 0 0 1090 0 0 0 25 0 1 0 538337736 429494272 1175 33554432000 134512640 135107411 4293663952 18446744073709551615 134532364 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6274/statm: 104857 1175 59 146 0 103733 0
[pid=6257/tid=6264] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6264/stat : 6264 (python) S 6255 6257 6070 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 5 0 538337727 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6267] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6267/stat : 6267 (python) S 6255 6257 6070 0 -1 4202560 24 933 0 0 0 0 0 0 23 0 5 0 538337729 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6270] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6270/stat : 6270 (python) S 6255 6257 6070 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 538337733 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6273] ppid=6255 vsize=321096 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6273/stat : 6273 (python) S 6255 6257 6070 0 -1 4202560 30 933 0 0 0 0 0 0 25 0 5 0 538337736 328802304 7472 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.4
Current children cumulated vsize (KiB) 4379792

[startup+25.5014 s]
/proc/loadavg: 5.53 1.63 0.56 9/202 6275
/proc/meminfo: memFree=18389136/32951124 swapFree=67111528/67111528
[pid=6257] ppid=6255 vsize=321096 CPUtime=1.67 cores=0,2,4,6

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

[pid=6269/tid=6294] ppid=6257 vsize=300596 CPUtime=0 cores=0,2,4,6
/proc/6269/task/6294/stat : 6294 (python) S 6257 6257 6070 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538347747 307810304 5981 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604446281419520 0 0 -1 2 0 0 0
[pid=6272] ppid=6257 vsize=310852 CPUtime=0.13 cores=0,2,4,6
/proc/6272/stat : 6272 (python) S 6257 6257 6070 0 -1 4202560 1121 0 0 0 9 4 0 0 18 0 2 0 538337735 318312448 5986 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6272/statm: 77713 5986 399 364 0 13622 0
[pid=6274] ppid=6272 vsize=419428 CPUtime=100.1 cores=0,2,4,6
/proc/6274/stat : 6274 (adaptg2wsat2009) R 6272 6274 6274 0 -1 4202496 1440 0 0 0 10010 0 0 0 19 0 1 0 538337736 429494272 1175 33554432000 134512640 135107411 4293663952 18446744073709551615 134531848 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6274/statm: 104857 1175 59 146 0 103733 0
[pid=6272/tid=6285] ppid=6257 vsize=310852 CPUtime=0 cores=0,2,4,6
/proc/6272/task/6285/stat : 6285 (python) S 6257 6257 6070 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538347650 318312448 5986 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604441826903232 0 0 -1 0 0 0 0
[pid=6283] ppid=6257 vsize=321108 CPUtime=0.13 cores=0,2,4,6
/proc/6283/stat : 6283 (python) S 6257 6257 6070 0 -1 4202560 1125 0 0 0 8 5 0 0 19 0 2 0 538347649 328814592 5990 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/6283/statm: 80277 5990 399 364 0 16183 0
[pid=6286] ppid=6283 vsize=419428 CPUtime=98.85 cores=0,2,4,6
/proc/6286/stat : 6286 (adaptg2wsat2009) T 6283 6286 6286 0 -1 4202496 1441 0 0 0 9883 2 0 0 25 0 1 0 538347650 429494272 1175 33554432000 134512640 135107411 4287257744 18446744073709551615 134532128 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/6286/statm: 104857 1175 59 146 0 103733 0
[pid=6283/tid=6303] ppid=6257 vsize=321108 CPUtime=0 cores=0,2,4,6
/proc/6283/task/6303/stat : 6303 (python) S 6257 6257 6070 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538357662 328814592 5990 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453939695808 0 0 -1 6 0 0 0
[pid=6287] ppid=6257 vsize=331568 CPUtime=0.13 cores=0,2,4,6
/proc/6287/stat : 6287 (python) S 6257 6257 6070 0 -1 4202560 1124 0 0 0 8 5 0 0 19 0 2 0 538347653 339525632 5995 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6287/statm: 82892 5995 400 364 0 18795 0
[pid=6289] ppid=6287 vsize=1018820 CPUtime=99.74 cores=0,2,4,6
/proc/6289/stat : 6289 (gnovelty+2) T 6287 6289 6289 0 -1 4202496 859 0 0 0 9973 1 0 0 25 0 1 0 538347653 1043271680 596 33554432000 134512640 135663704 4287506576 18446744073709551615 134524681 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/6289/statm: 254705 596 113 282 0 254421 0
[pid=6287/tid=6307] ppid=6257 vsize=331568 CPUtime=0 cores=0,2,4,6
/proc/6287/task/6307/stat : 6307 (python) S 6257 6257 6070 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538357669 339525632 5995 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453949603968 0 0 -1 0 0 0 0
[pid=6291] ppid=6257 vsize=341796 CPUtime=0.13 cores=0,2,4,6
/proc/6291/stat : 6291 (python) S 6257 6257 6070 0 -1 4202560 1173 0 0 0 7 6 0 0 19 0 2 0 538347744 349999104 6005 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6291/statm: 85449 6005 406 364 0 21349 0
[pid=6293] ppid=6291 vsize=249196 CPUtime=100.11 cores=0,2,4,6
/proc/6293/stat : 6293 (FH) T 6291 6293 6293 0 -1 4202496 1325 0 0 0 10011 0 0 0 25 0 1 0 538347744 255176704 1059 33554432000 134512640 134936988 4292244912 18446744073709551615 134553410 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/6293/statm: 62299 1059 41 104 0 61803 0
[pid=6291/tid=6312] ppid=6257 vsize=341796 CPUtime=0 cores=0,2,4,6
/proc/6291/task/6312/stat : 6312 (python) S 6257 6257 6070 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538357757 349999104 6005 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604441826902336 0 0 -1 0 0 0 0
[pid=6295] ppid=6257 vsize=352148 CPUtime=0.13 cores=0,2,4,6
/proc/6295/stat : 6295 (python) S 6257 6257 6070 0 -1 4202560 1164 0 0 0 7 6 0 0 19 0 2 0 538347750 360599552 6009 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6295/statm: 88037 6009 406 364 0 23934 0
[pid=6297] ppid=6295 vsize=419428 CPUtime=100.1 cores=0,2,4,6
/proc/6297/stat : 6297 (adaptg2wsat2009) T 6295 6297 6297 0 -1 4202496 1445 0 0 0 10010 0 0 0 25 0 1 0 538347751 429494272 1175 33554432000 134512640 135107411 4293692512 18446744073709551615 134531822 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/6297/statm: 104857 1175 59 146 0 103733 0
[pid=6295/tid=6316] ppid=6257 vsize=352148 CPUtime=0 cores=0,2,4,6
/proc/6295/task/6316/stat : 6316 (python) S 6257 6257 6070 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538357763 360599552 6009 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453909256960 0 0 -1 0 0 0 0
[pid=6304] ppid=6257 vsize=362404 CPUtime=0.14 cores=0,2,4,6
/proc/6304/stat : 6304 (python) S 6257 6257 6070 0 -1 4202560 1147 0 0 0 10 4 0 0 19 0 2 0 538357666 371101696 6007 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6304/statm: 90601 6007 400 364 0 26495 0
[pid=6306] ppid=6304 vsize=419428 CPUtime=98.52 cores=0,2,4,6
/proc/6306/stat : 6306 (adaptg2wsat2009) T 6304 6306 6306 0 -1 4202496 1444 0 0 0 9852 0 0 0 25 0 1 0 538357666 429494272 1176 33554432000 134512640 135107411 4293546784 18446744073709551615 134531428 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/6306/statm: 104857 1176 59 146 0 103733 0
[pid=6304/tid=6335] ppid=6257 vsize=362404 CPUtime=0 cores=0,2,4,6
/proc/6304/task/6335/stat : 6335 (python) S 6257 6257 6070 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538367679 371101696 6007 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453918257472 0 0 -1 6 0 0 0
[pid=6308] ppid=6257 vsize=372884 CPUtime=0.13 cores=0,2,4,6
/proc/6308/stat : 6308 (python) S 6257 6257 6070 0 -1 4202560 1159 0 0 0 6 7 0 0 19 0 2 0 538357673 381833216 6011 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6308/statm: 93221 6011 400 364 0 29112 0
[pid=6310] ppid=6308 vsize=249192 CPUtime=100.1 cores=0,2,4,6
/proc/6310/stat : 6310 (FH) T 6308 6310 6310 0 -1 4202496 1330 0 0 0 10010 0 0 0 25 0 1 0 538357673 255172608 1059 33554432000 134512640 134936988 4289717648 18446744073709551615 134545336 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/6310/statm: 62298 1059 41 104 0 61802 0
[pid=6308/tid=6339] ppid=6257 vsize=372884 CPUtime=0 cores=0,2,4,6
/proc/6308/task/6339/stat : 6339 (python) S 6257 6257 6070 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538367686 381833216 6011 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453918260160 0 0 -1 0 0 0 0
[pid=6313] ppid=6257 vsize=382848 CPUtime=0.76 cores=0,2,4,6
/proc/6313/stat : 6313 (python) S 6257 6257 6070 0 -1 4202560 1176 0 0 0 43 33 0 0 18 0 2 0 538357761 392036352 6018 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6313/statm: 95712 6018 400 364 0 31600 0
[pid=6315] ppid=6313 vsize=268424 CPUtime=489.77 cores=0,2,4,6
/proc/6315/stat : 6315 (hybridGM3) T 6313 6315 6315 0 -1 4202496 5277 0 0 0 48974 3 0 0 25 0 1 0 538357761 274866176 5010 33554432000 134512640 135204385 4286609856 18446744073709551615 134537939 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/6315/statm: 67106 5010 63 169 0 66936 0
[pid=6313/tid=6354] ppid=6257 vsize=382848 CPUtime=0 cores=0,2,4,6
/proc/6313/task/6354/stat : 6354 (python) S 6257 6257 6070 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 538377994 392036352 6018 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604452784547648 0 0 -1 0 0 0 0
[pid=6317] ppid=6257 vsize=393712 CPUtime=0.14 cores=0,2,4,6
/proc/6317/stat : 6317 (python) S 6257 6257 6070 0 -1 4202560 1155 0 0 0 5 9 0 0 19 0 2 0 538357767 403161088 6022 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/6317/statm: 98428 6022 400 364 0 34313 0
[pid=6319] ppid=6317 vsize=1018820 CPUtime=99.17 cores=0,2,4,6
/proc/6319/stat : 6319 (gnovelty+2) T 6317 6319 6319 0 -1 4202496 866 0 0 0 9917 0 0 0 25 0 1 0 538357767 1043271680 595 33554432000 134512640 135663704 4288072928 18446744073709551615 134544167 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/6319/statm: 254705 595 113 282 0 254421 0
[pid=6317/tid=6338] ppid=6257 vsize=393712 CPUtime=0 cores=0,2,4,6
/proc/6317/task/6338/stat : 6338 (python) S 6257 6257 6070 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538367685 403161088 6022 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604452784545856 0 0 -1 2 0 0 0
[pid=6336] ppid=6257 vsize=403624 CPUtime=0.6 cores=0,2,4,6
/proc/6336/stat : 6336 (python) S 6257 6257 6070 0 -1 4202560 1177 0 0 0 33 27 0 0 18 0 2 0 538367684 413310976 6105 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6336/statm: 100906 6105 400 364 0 36788 0
[pid=6340] ppid=6336 vsize=268424 CPUtime=391.16 cores=0,2,4,6
/proc/6340/stat : 6340 (hybridGM3) T 6336 6340 6340 0 -1 4202496 5277 0 0 0 39116 0 0 0 25 0 1 0 538367686 274866176 5009 33554432000 134512640 135204385 4291661744 18446744073709551615 134538264 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/6340/statm: 67106 5009 63 169 0 66936 0
[pid=6336/tid=6360] ppid=6257 vsize=403624 CPUtime=0 cores=0,2,4,6
/proc/6336/task/6360/stat : 6360 (python) S 6257 6257 6070 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 538387318 413310976 6105 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453938677056 0 0 -1 2 0 0 0
[pid=6341] ppid=6257 vsize=413884 CPUtime=0.76 cores=0,2,4,6
/proc/6341/stat : 6341 (python) S 6257 6257 6070 0 -1 4202560 1197 0 0 0 39 37 0 0 18 0 2 0 538367690 423817216 6109 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/6341/statm: 103471 6109 400 364 0 39350 0
[pid=6343] ppid=6341 vsize=268424 CPUtime=485.41 cores=0,2,4,6
/proc/6343/stat : 6343 (hybridGM3) R 6341 6343 6343 0 -1 4202496 5285 0 0 0 48540 1 0 0 25 0 1 0 538367690 274866176 5010 33554432000 134512640 135204385 4294464448 18446744073709551615 134538034 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6343/statm: 67106 5010 63 169 0 66936 0
[pid=6341/tid=6361] ppid=6257 vsize=413884 CPUtime=0 cores=0,2,4,6
/proc/6341/task/6361/stat : 6361 (python) S 6257 6257 6070 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 538387322 423817216 6109 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604443312823168 0 0 -1 2 0 0 0
[pid=6344] ppid=6257 vsize=424440 CPUtime=0.77 cores=0,2,4,6
/proc/6344/stat : 6344 (python) S 6257 6257 6070 0 -1 4202560 1076 0 0 0 39 38 0 0 18 0 1 0 538367695 434626560 6092 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 16297752995267838209 0 0 17 6 0 0 0
/proc/6344/statm: 106110 6092 380 364 0 41986 0
[pid=6346] ppid=6344 vsize=457664 CPUtime=494.3 cores=0,2,4,6
/proc/6346/stat : 6346 (TNM) R 6344 6346 6346 0 -1 4202496 1311 0 0 0 49429 1 0 0 25 0 1 0 538367695 468647936 1036 33554432000 134512640 135008748 4287196576 18446744073709551615 134527320 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6346/statm: 114416 1036 46 122 0 113316 0
[pid=6372] ppid=6257 vsize=434560 CPUtime=0.16 cores=0,2,4,6
/proc/6372/stat : 6372 (python) S 6257 6257 6070 0 -1 4202560 1190 0 0 0 10 6 0 0 19 0 2 0 538396845 444989440 6125 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 108640 6125 408 364 0 44513 0
[pid=6374] ppid=6372 vsize=419428 CPUtime=102.08 cores=0,2,4,6
/proc/6374/stat : 6374 (adaptg2wsat2009) T 6372 6374 6374 0 -1 4202496 1453 0 0 0 10208 0 0 0 25 0 1 0 538396845 429494272 1176 33554432000 134512640 135107411 4293339248 18446744073709551615 134531246 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/6374/statm: 104857 1176 59 146 0 103733 0
[pid=6372/tid=6385] ppid=6257 vsize=434560 CPUtime=0 cores=0,2,4,6
/proc/6372/task/6385/stat : 6385 (python) S 6257 6257 6070 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538407361 444989440 6125 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604453913347392 0 0 -1 0 0 0 0
[pid=6382] ppid=6257 vsize=445184 CPUtime=0.16 cores=0,2,4,6
/proc/6382/stat : 6382 (python) S 6257 6257 6070 0 -1 4202560 1184 0 0 0 9 7 0 0 19 0 2 0 538407054 455868416 6177 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646342091 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/6382/statm: 111296 6177 402 364 0 47166 0
[pid=6384] ppid=6382 vsize=249188 CPUtime=99.88 cores=0,2,4,6
/proc/6384/stat : 6384 (FH) T 6382 6384 6384 0 -1 4202496 1335 0 0 0 9987 1 0 0 25 0 1 0 538407054 255168512 1058 33554432000 134512640 134936988 4291379520 18446744073709551615 134554227 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/6384/statm: 62297 1058 41 104 0 61801 0
[pid=6382/tid=6399] ppid=6257 vsize=445184 CPUtime=0 cores=0,2,4,6
/proc/6382/task/6399/stat : 6399 (python) S 6257 6257 6070 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538417070 455868416 6177 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 514 18446604448177853632 0 0 -1 0 0 0 0
[pid=6400] ppid=6257 vsize=455464 CPUtime=0 cores=0,2,4,6
/proc/6400/stat : 6400 (python) S 6257 6257 6070 0 -1 4202560 846 0 0 0 0 0 0 0 18 0 1 0 538417085 466395136 6129 33554432000 4194304 5683644 140733906641936 18446744073709551615 216634535494 0 0 16781312 514 17986621276646506755 0 0 17 2 0 0 0
/proc/6400/statm: 113866 6129 351 364 0 49733 0
[pid=6402] ppid=6400 vsize=1018820 CPUtime=1.04 cores=0,2,4,6
/proc/6402/stat : 6402 (gnovelty+2) R 6400 6402 6402 0 -1 4202496 867 0 0 0 104 0 0 0 24 0 1 0 538417085 1043271680 595 33554432000 134512640 135663704 4291472384 18446744073709551615 134524888 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6402/statm: 254705 595 113 282 0 254421 0
[pid=6257/tid=6264] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6264/stat : 6264 (python) S 6255 6257 6070 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 19 0 538337727 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6267] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6267/stat : 6267 (python) S 6255 6257 6070 0 -1 4202560 24 933 0 0 0 0 0 0 23 0 19 0 538337729 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6270] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6270/stat : 6270 (python) S 6255 6257 6070 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 19 0 538337733 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6273] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6273/stat : 6273 (python) S 6255 6257 6070 0 -1 4202560 34 933 0 0 0 0 0 0 18 0 19 0 538337736 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6284] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6284/stat : 6284 (python) S 6255 6257 6070 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 19 0 538347649 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 6 0 0 0
[pid=6257/tid=6288] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6288/stat : 6288 (python) S 6255 6257 6070 0 -1 4202560 31 933 0 0 0 0 0 0 21 0 19 0 538347653 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6292] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6292/stat : 6292 (python) S 6255 6257 6070 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 19 0 538347744 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6296] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6296/stat : 6296 (python) S 6255 6257 6070 0 -1 4202560 29 933 0 0 0 0 0 0 21 0 19 0 538347751 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6305] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6305/stat : 6305 (python) S 6255 6257 6070 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 19 0 538357666 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6309] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6309/stat : 6309 (python) S 6255 6257 6070 0 -1 4202560 27 933 0 0 0 0 0 0 21 0 19 0 538357673 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6314] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6314/stat : 6314 (python) S 6255 6257 6070 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 19 0 538357761 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6318] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6318/stat : 6318 (python) S 6255 6257 6070 0 -1 4202560 23 933 0 0 0 0 0 0 21 0 19 0 538357767 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 0 0 0 0
[pid=6257/tid=6337] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6337/stat : 6337 (python) S 6255 6257 6070 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 19 0 538367684 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 4 0 0 0
[pid=6257/tid=6342] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6342/stat : 6342 (python) S 6255 6257 6070 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 19 0 538367690 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
[pid=6257/tid=6345] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6345/stat : 6345 (python) S 6255 6257 6070 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 19 0 538367695 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 6 0 0 0
[pid=6257/tid=6373] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6373/stat : 6373 (python) S 6255 6257 6070 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 19 0 538396845 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 6 0 0 0
[pid=6257/tid=6383] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6383/stat : 6383 (python) S 6255 6257 6070 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 19 0 538407054 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 6 0 0 0
[pid=6257/tid=6401] ppid=6255 vsize=465224 CPUtime=0 cores=0,2,4,6
/proc/6257/task/6401/stat : 6401 (python) S 6255 6257 6070 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 19 0 538417085 476389376 7693 33554432000 4194304 5683644 140733906641936 18446744073709551615 216646338993 0 0 16781312 2 18446604447567194112 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3166.11
Current children cumulated vsize (KiB) 16714472

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6257 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=583607
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=159975
# CPU time returned by wait4() is 2.74358
# while last known CPU time is 3166.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 796.418
CPU time (s): 3166.11
CPU user time (s): 3163.8
CPU system time (s): 2.31
CPU usage (%): 397.544
Max. virtual memory (cumulated for all children) (KiB): 16714472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.58361
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29856
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= 1417
involuntary context switches= 79

runsolver used 4.49932 second user time and 8.95064 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-01 18:29:09
IDJOB=3317116
IDBENCH=82581
IDSOLVER=1705
FILE ID=node103/3317116-1304267349
RUNJOBID= node103-1304267295-6088
PBS_JOBID= 13173975
Free space on /tmp= 72588 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S317257086-003-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-3317116-1304267349/watcher-3317116-1304267349 -o /tmp/evaluation-result-3317116-1304267349/solver-3317116-1304267349 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317116-1304267349.cnf -seed 1558148818 -budget 4800 -cores 4

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

MD5SUM BENCH= 6f9c7c042784ec486e9e8bc570309805
RANDOM SEED=1558148818

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.75
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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:      18441800 kB
Buffers:       2154564 kB
Cached:       11513508 kB
SwapCached:          0 kB
Active:        5984332 kB
Inactive:      7928472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18441800 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           39284 kB
Writeback:           0 kB
AnonPages:      243868 kB
Mapped:          21112 kB
Slab:           529308 kB
PageTables:       8348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1636860 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= 72556 MiB
End job on node103 at 2011-05-01 18:42:28