Trace number 3481580

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 NameAnswerobjective functionCPU timeWall clock time
borg pb-opt-11.04.03? (MO) 290.44 287.492

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
MD5SUM68d7f052f18638860d9232a7f3ed2053
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-146
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

Solver Data 

0.33/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.33/0.69	c INFO: solving HOME/instance-3481580-1307578314.opb
0.40/0.79	c INFO: wrote linearized instance to HOME/tmpxGPqdx.opb
0.54/0.88	c INFO: parsing took 0.09 s
0.75/1.06	c INFO: features took 0.18 CPU seconds
0.75/1.09	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.31)
48.18/48.22	c INFO: running scip-2.0.1-clp@0 for 45 with 1752 remaining (b = 0.06)
96.19/96.07	c INFO: running wbo1.4a@0 for 45 with 1705 remaining (b = 0.02)
146.18/145.74	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1655 remaining (b = 0.02)
194.57/192.11	c INFO: running scip-2.0.1-spx@46 for 45 with 1608 remaining (b = 0.01)
241.61/239.02	c INFO: running scip-2.0.1-clp@47 for 45 with 1561 remaining (b = 0.02)
290.23/287.23	c INFO: running sat4j-pb-v20101225@0 for 45 with 1513 remaining (b = 0.02)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3481580-1307578314/watcher-3481580-1307578314 -o /tmp/evaluation-result-3481580-1307578314/solver-3481580-1307578314 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481580-1307578314.opb -seed 1910217087 -budget 1800 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/8714/stat : 8714 (python) R 8712 8714 7156 0 -1 4202496 813 0 0 0 0 0 0 0 19 0 1 0 948062172 15753216 698 33554432000 4194304 5683644 140735678134192 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8714/statm: 3846 698 334 364 0 333 0

[startup+0.0305011 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/8714/stat : 8714 (python) R 8712 8714 7156 0 -1 4202496 1160 0 0 0 1 0 0 0 17 0 1 0 948062172 16793600 1025 33554432000 4194304 5683644 140735678134192 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8714/statm: 4100 1027 413 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+0.100516 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=85620 CPUtime=0.07 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 2664 0 0 0 5 2 0 0 17 0 1 0 948062172 87674880 2382 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/8714/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620

[startup+0.300467 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/8714/stat : 8714 (python) R 8712 8714 7156 0 -1 4202496 5358 928 1 0 11 6 0 0 16 0 1 0 948062172 126709760 3744 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284921861 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8714/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740

[startup+0.713427 s]
/proc/loadavg: 2.20 2.12 1.85 2/899 8714
/proc/meminfo: memFree=18788244/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=282536 CPUtime=0.4 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 9216 928 1 0 29 11 0 0 15 0 1 0 948062172 289316864 6946 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 2 1376284358326878208 0 0 17 5 0 0 0
/proc/8714/statm: 70634 6946 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282536

[startup+1.50021 s]
/proc/loadavg: 2.20 2.12 1.85 3/900 8722
/proc/meminfo: memFree=18760196/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 296660

[startup+3.10098 s]
/proc/loadavg: 2.20 2.12 1.85 3/903 8725
/proc/meminfo: memFree=18686020/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 706 0 0 0 0 0 0 0 15 0 1 0 948062282 293289984 6476 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 4657072728845549831 0 0 17 5 0 0 0
/proc/8723/statm: 71604 6476 319 364 0 6491 0
[pid=8725] ppid=8723 vsize=83552 CPUtime=1.99 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 19237 0 0 0 182 17 0 0 25 0 1 0 948062282 85557248 18155 33554432000 4194304 13684479 140736356194432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 20888 18155 731 2317 0 18566 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 666628

[startup+6.30044 s]
/proc/loadavg: 2.34 2.15 1.86 3/903 8725
/proc/meminfo: memFree=18684936/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0.01 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 851 0 0 0 0 1 0 0 15 0 1 0 948062282 293289984 6500 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 4657064413788864775 0 0 17 7 0 0 0
/proc/8723/statm: 71604 6500 343 364 0 6491 0
[pid=8725] ppid=8723 vsize=84816 CPUtime=5.19 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 19614 0 0 0 500 19 0 0 25 0 1 0 948062282 86851584 18505 33554432000 4194304 13684479 140736356194432 18446744073709551615 7416002 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 21204 18505 733 2317 0 18882 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 667892

[startup+12.7004 s]
/proc/loadavg: 2.31 2.15 1.86 3/903 8725
/proc/meminfo: memFree=18678884/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0.05 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 854 0 0 0 2 3 0 0 15 0 1 0 948062282 293289984 6500 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373781 0 0 17 7 0 0 0
/proc/8723/statm: 71604 6500 343 364 0 6491 0
[pid=8725] ppid=8723 vsize=90588 CPUtime=11.59 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 22294 0 0 0 1139 20 0 0 25 0 1 0 948062282 92762112 20051 33554432000 4194304 13684479 140736356194432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 22647 20051 738 2317 0 20325 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 673664

[startup+25.5012 s]
/proc/loadavg: 2.32 2.16 1.87 3/903 8725
/proc/meminfo: memFree=18631272/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=296660 CPUtime=0.84 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 12390 1380 1 0 61 14 8 1 18 0 2 0 948062172 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8714/statm: 74165 8024 1863 364 0 9052 0
[pid=8723] ppid=8714 vsize=286416 CPUtime=0.12 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 861 0 0 0 5 7 0 0 15 0 1 0 948062282 293289984 6500 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373781 0 0 17 7 0 0 0
/proc/8723/statm: 71604 6500 343 364 0 6491 0
[pid=8725] ppid=8723 vsize=138904 CPUtime=24.39 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) R 8723 8725 8725 0 -1 4202496 34681 0 0 0 2406 33 0 0 25 0 1 0 948062282 142237696 32281 33554432000 4194304 13684479 140736356194432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8725/statm: 34726 32281 824 2317 0 32404 0
[pid=8714/tid=8724] ppid=8712 vsize=296660 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 2 0 948062282 303779840 8024 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 721980

[startup+51.1009 s]
/proc/loadavg: 2.33 2.18 1.88 3/907 8731
/proc/meminfo: memFree=18558144/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=306916 CPUtime=0.86 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 13286 1380 1 0 63 14 8 1 20 0 3 0 948062172 314281984 8039 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8714/statm: 76729 8039 1874 364 0 11613 0
[pid=8723] ppid=8714 vsize=296660 CPUtime=0.25 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 1071 0 0 0 11 14 0 0 16 0 2 0 948062282 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 74165 6568 406 364 0 9052 0
[pid=8725] ppid=8723 vsize=144856 CPUtime=47.09 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) T 8723 8725 8725 0 -1 4202496 36112 0 0 0 4658 51 0 0 25 0 1 0 948062282 148332544 33708 33554432000 4194304 13684479 140736356194432 18446744073709551615 4413038 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8725/statm: 36214 33708 842 2317 0 33892 0
[pid=8723/tid=8726] ppid=8714 vsize=296660 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8726/stat : 8726 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948066992 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466080314432 0 0 -1 7 0 0 0
[pid=8728] ppid=8714 vsize=296672 CPUtime=0 cores=1,3,5,7
/proc/8728/stat : 8728 (python) S 8714 8714 7156 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 948066995 303792128 6481 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945990 0 0 16781312 33554946 10957552807321764102 0 0 17 5 0 0 0
/proc/8728/statm: 74168 6481 320 364 0 9052 0
[pid=8731] ppid=8728 vsize=83588 CPUtime=2.87 cores=1,3,5,7
/proc/8731/stat : 8731 (scip-2.0.1.linu) R 8728 8731 8731 0 -1 4202496 22841 0 0 0 269 18 0 0 25 0 1 0 948066995 85594112 16894 33554432000 4194304 15243407 140735409377344 18446744073709551615 8125320 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8731/statm: 20897 16894 824 2698 0 18192 0
[pid=8714/tid=8724] ppid=8712 vsize=306916 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 3 0 948062282 314281984 8039 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=306916 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 3 0 948066995 314281984 8039 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1128692

[startup+102.301 s]
/proc/loadavg: 2.14 2.15 1.88 3/911 8739
/proc/meminfo: memFree=18467092/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=317172 CPUtime=0.88 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 14193 1380 1 0 65 14 8 1 19 0 4 0 948062172 324784128 8045 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8714/statm: 79293 8045 1876 364 0 14174 0
[pid=8723] ppid=8714 vsize=296660 CPUtime=0.25 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 1071 0 0 0 11 14 0 0 16 0 2 0 948062282 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 74165 6568 406 364 0 9052 0
[pid=8725] ppid=8723 vsize=144856 CPUtime=47.09 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) T 8723 8725 8725 0 -1 4202496 36112 0 0 0 4658 51 0 0 25 0 1 0 948062282 148332544 33708 33554432000 4194304 13684479 140736356194432 18446744073709551615 4413038 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8725/statm: 36214 33708 842 2317 0 33892 0
[pid=8723/tid=8726] ppid=8714 vsize=296660 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8726/stat : 8726 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948066992 303779840 6568 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466080314432 0 0 -1 7 0 0 0
[pid=8728] ppid=8714 vsize=296672 CPUtime=0.24 cores=1,3,5,7
/proc/8728/stat : 8728 (python) S 8714 8714 7156 0 -1 4202560 1164 0 0 0 12 12 0 0 16 0 2 0 948066995 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/8728/statm: 74168 6559 397 364 0 9052 0
[pid=8731] ppid=8728 vsize=150348 CPUtime=47.8 cores=1,3,5,7
/proc/8731/stat : 8731 (scip-2.0.1.linu) T 8728 8731 8731 0 -1 4202496 85697 0 0 0 4743 37 0 0 25 0 1 0 948066995 153956352 32837 33554432000 4194304 15243407 140735409377344 18446744073709551615 12374153 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8731/statm: 37587 32837 934 2698 0 34882 0
[pid=8728/tid=8735] ppid=8714 vsize=296672 CPUtime=0 cores=1,3,5,7
/proc/8728/task/8735/stat : 8735 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948071777 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 1 0 0 0
[pid=8737] ppid=8714 vsize=306928 CPUtime=0.02 cores=1,3,5,7
/proc/8737/stat : 8737 (python) S 8714 8714 7156 0 -1 4202560 989 0 0 0 1 1 0 0 15 0 1 0 948071780 314294272 6514 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945990 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/8737/statm: 76732 6514 349 364 0 11613 0
[pid=8739] ppid=8737 vsize=20716 CPUtime=6.22 cores=1,3,5,7
/proc/8739/stat : 8739 (wbo1.4a) R 8737 8739 8739 0 -1 4202496 5307 0 0 0 618 4 0 0 25 0 1 0 948071780 21213184 4727 33554432000 134512640 135751879 4294847216 18446744073709551615 134606320 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/8739/statm: 5179 4727 146 303 0 4874 0
[pid=8714/tid=8724] ppid=8712 vsize=317172 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 25 1380 0 0 0 0 8 1 18 0 4 0 948062282 324784128 8045 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=317172 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 4 0 948066995 324784128 8045 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0

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

[pid=8776/tid=8792] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8792/stat : 8792 (java) S 8773 8776 8776 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8793] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8793/stat : 8793 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296749489 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8795] ppid=8773 vsize=8532216 CPUtime=0.02 cores=1,3,5,7
/proc/8776/task/8795/stat : 8795 (java) R 8773 8776 8776 0 -1 4202560 398 0 0 0 2 0 0 0 17 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8776/tid=8796] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8796/stat : 8796 (java) S 8773 8776 8776 0 -1 4202560 493 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8776/tid=8798] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8798/stat : 8798 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8799] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8799/stat : 8799 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296742400 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8714/tid=8724] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 18 0 6 0 948062282 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 33 1380 0 0 0 0 8 1 18 0 6 0 948066995 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8738] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8738/stat : 8738 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 20 0 6 0 948071780 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8743] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8743/stat : 8743 (python) S 8712 8714 7156 0 -1 4202560 26 1380 0 0 0 0 8 1 20 0 6 0 948076747 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 3 0 0 0
[pid=8714/tid=8774] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8774/stat : 8774 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 6 0 948090896 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 290.44
Current children cumulated vsize (KiB) 19454288

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

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

[startup+287.401 s]
/proc/loadavg: 2.00 2.07 1.90 5/954 8799
/proc/meminfo: memFree=17780100/32951124 swapFree=33333036/67111528
[pid=8714] ppid=8712 vsize=337684 CPUtime=0.99 cores=1,3,5,7
/proc/8714/stat : 8714 (python) S 8712 8714 7156 0 -1 4202496 16105 1380 1 0 75 15 8 1 20 0 6 0 948062172 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8714/statm: 84421 8057 1880 364 0 19296 0
[pid=8723] ppid=8714 vsize=296660 CPUtime=0.53 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8714 8714 7156 0 -1 4202560 1107 0 0 0 24 29 0 0 15 0 2 0 948062282 303779840 6569 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 74165 6569 407 364 0 9052 0
[pid=8725] ppid=8723 vsize=144856 CPUtime=93.97 cores=1,3,5,7
/proc/8725/stat : 8725 (scip-2.0.1.linu) T 8723 8725 8725 0 -1 4202496 36296 0 0 0 9323 74 0 0 25 0 1 0 948062282 148332544 33890 33554432000 4194304 13684479 140736356194432 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8725/statm: 36214 33890 842 2317 0 33892 0
[pid=8723/tid=8726] ppid=8714 vsize=296660 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8726/stat : 8726 (python) S 8714 8714 7156 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 948066992 303779840 6569 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466080314432 0 0 -1 7 0 0 0
[pid=8728] ppid=8714 vsize=296672 CPUtime=0.53 cores=1,3,5,7
/proc/8728/stat : 8728 (python) S 8714 8714 7156 0 -1 4202560 1206 0 0 0 26 27 0 0 15 0 2 0 948066995 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8728/statm: 74168 6559 397 364 0 9052 0
[pid=8731] ppid=8728 vsize=150348 CPUtime=95.98 cores=1,3,5,7
/proc/8731/stat : 8731 (scip-2.0.1.linu) T 8728 8731 8731 0 -1 4202496 85704 0 0 0 9551 47 0 0 25 0 1 0 948066995 153956352 32844 33554432000 4194304 15243407 140735409377344 18446744073709551615 8096968 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/8731/statm: 37587 32844 934 2698 0 34882 0
[pid=8728/tid=8735] ppid=8714 vsize=296672 CPUtime=0 cores=1,3,5,7
/proc/8728/task/8735/stat : 8735 (python) S 8714 8714 7156 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 948071777 303792128 6559 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604461561476928 0 0 -1 1 0 0 0
[pid=8737] ppid=8714 vsize=306928 CPUtime=0.28 cores=1,3,5,7
/proc/8737/stat : 8737 (python) S 8714 8714 7156 0 -1 4202560 1166 0 0 0 14 14 0 0 16 0 2 0 948071780 314294272 6563 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8737/statm: 76732 6563 397 364 0 11613 0
[pid=8739] ppid=8737 vsize=128052 CPUtime=49.64 cores=1,3,5,7
/proc/8739/stat : 8739 (wbo1.4a) T 8737 8739 8739 0 -1 4202496 32132 0 0 0 4943 21 0 0 25 0 1 0 948071780 131125248 31552 33554432000 134512640 135751879 4294847216 18446744073709551615 134516982 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/8739/statm: 32013 31552 146 303 0 31708 0
[pid=8737/tid=8741] ppid=8714 vsize=306928 CPUtime=0 cores=1,3,5,7
/proc/8737/task/8741/stat : 8741 (python) S 8714 8714 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948076745 314294272 6563 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470345609344 0 0 -1 7 0 0 0
[pid=8742] ppid=8714 vsize=317184 CPUtime=0.26 cores=1,3,5,7
/proc/8742/stat : 8742 (python) S 8714 8714 7156 0 -1 4202560 1137 0 0 0 12 14 0 0 17 0 2 0 948076747 324796416 6561 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8742/statm: 79296 6561 391 364 0 14174 0
[pid=8745] ppid=8742 vsize=8616248 CPUtime=48.08 cores=1,3,5,7
/proc/8745/stat : 8745 (java) T 8742 8745 8745 0 -1 4202496 160339 0 1 0 4789 19 0 0 15 0 19 0 948076748 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8745/statm: 2154062 140163 2250 9 0 2144803 0
[pid=8745/tid=8746] ppid=8742 vsize=8616248 CPUtime=46.1 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (java) T 8742 8745 8745 0 -1 4202560 125912 0 1 0 4596 14 0 0 25 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 46912505924854 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=8616248 CPUtime=0.05 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (java) T 8742 8745 8745 0 -1 4202560 3422 0 0 0 5 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=8616248 CPUtime=0.02 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (java) T 8742 8745 8745 0 -1 4202560 1735 0 0 0 2 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8750] ppid=8742 vsize=8616248 CPUtime=0.04 cores=1,3,5,7
/proc/8745/task/8750/stat : 8750 (java) T 8742 8745 8745 0 -1 4202560 2766 0 0 0 4 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8751] ppid=8742 vsize=8616248 CPUtime=0.02 cores=1,3,5,7
/proc/8745/task/8751/stat : 8751 (java) T 8742 8745 8745 0 -1 4202560 2861 0 0 0 2 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8753] ppid=8742 vsize=8616248 CPUtime=0.02 cores=1,3,5,7
/proc/8745/task/8753/stat : 8753 (java) T 8742 8745 8745 0 -1 4202560 1224 0 0 0 2 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8754] ppid=8742 vsize=8616248 CPUtime=0.03 cores=1,3,5,7
/proc/8745/task/8754/stat : 8754 (java) T 8742 8745 8745 0 -1 4202560 1323 0 0 0 3 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8755] ppid=8742 vsize=8616248 CPUtime=0.04 cores=1,3,5,7
/proc/8745/task/8755/stat : 8755 (java) T 8742 8745 8745 0 -1 4202560 4004 0 0 0 4 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8745/tid=8756] ppid=8742 vsize=8616248 CPUtime=0.04 cores=1,3,5,7
/proc/8745/task/8756/stat : 8756 (java) T 8742 8745 8745 0 -1 4202560 3110 0 0 0 4 0 0 0 15 0 19 0 948076749 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8757] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8757/stat : 8757 (java) T 8742 8745 8745 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 948076750 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8758] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8758/stat : 8758 (java) T 8742 8745 8745 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 948076751 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8759] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8759/stat : 8759 (java) T 8742 8745 8745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 948076751 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8760] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8760/stat : 8760 (java) T 8742 8745 8745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8761] ppid=8742 vsize=8616248 CPUtime=0.88 cores=1,3,5,7
/proc/8745/task/8761/stat : 8761 (java) T 8742 8745 8745 0 -1 4202560 6227 0 0 0 88 0 0 0 15 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8745/tid=8762] ppid=8742 vsize=8616248 CPUtime=0.72 cores=1,3,5,7
/proc/8745/task/8762/stat : 8762 (java) T 8742 8745 8745 0 -1 4202560 6153 0 0 0 72 0 0 0 15 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8763] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8763/stat : 8763 (java) T 8742 8745 8745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8745/tid=8764] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8764/stat : 8764 (java) T 8742 8745 8745 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 948076753 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8745/tid=8766] ppid=8742 vsize=8616248 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8766/stat : 8766 (java) T 8742 8745 8745 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948076803 8823037952 140163 33554432000 1073741824 1073778376 140736084581856 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8742/tid=8769] ppid=8714 vsize=317184 CPUtime=0 cores=1,3,5,7
/proc/8742/task/8769/stat : 8769 (python) S 8714 8714 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948081381 324796416 6561 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674770240 0 0 -1 7 0 0 0
[pid=8773] ppid=8714 vsize=327440 CPUtime=0 cores=1,3,5,7
/proc/8773/stat : 8773 (python) S 8714 8714 7156 0 -1 4202560 789 0 0 0 0 0 0 0 17 0 1 0 948090896 335298560 6493 33554432000 4194304 5683644 140735678134192 18446744073709551615 224284945990 0 0 16781312 33554946 4125314223792193536 0 0 17 3 0 0 0
/proc/8773/statm: 81860 6493 320 364 0 16735 0
[pid=8776] ppid=8773 vsize=8532216 CPUtime=0.18 cores=1,3,5,7
/proc/8776/stat : 8776 (java) S 8773 8776 8776 0 -1 4202496 6091 0 1 0 17 1 0 0 18 0 18 0 948090896 8736989184 5503 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/8776/statm: 2133054 5503 2153 9 0 2123795 0
[pid=8776/tid=8777] ppid=8773 vsize=8532216 CPUtime=0.15 cores=1,3,5,7
/proc/8776/task/8777/stat : 8777 (java) R 8773 8776 8776 0 -1 4202560 3893 0 1 0 15 0 0 0 25 0 18 0 948090897 8736989184 5587 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 47799075346056 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8776/tid=8778] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8778/stat : 8778 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8780] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8780/stat : 8780 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8781] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8781/stat : 8781 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8783] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8783/stat : 8783 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8784] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8784/stat : 8784 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8786] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8786/stat : 8786 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8787] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8787/stat : 8787 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5588 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8788] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8788/stat : 8788 (java) S 8773 8776 8776 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 948090898 8736989184 5591 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8789] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8789/stat : 8789 (java) S 8773 8776 8776 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296742400 0 0 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8790] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8790/stat : 8790 (java) S 8773 8776 8776 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8792] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8792/stat : 8792 (java) S 8773 8776 8776 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 948090899 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8793] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8793/stat : 8793 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296749489 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8795] ppid=8773 vsize=8532216 CPUtime=0.02 cores=1,3,5,7
/proc/8776/task/8795/stat : 8795 (java) R 8773 8776 8776 0 -1 4202560 398 0 0 0 2 0 0 0 17 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8776/tid=8796] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8796/stat : 8796 (java) S 8773 8776 8776 0 -1 4202560 493 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8776/tid=8798] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8798/stat : 8798 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296741785 0 4 0 16800975 18446604454958611456 0 0 -1 7 0 0 0
[pid=8776/tid=8799] ppid=8773 vsize=8532216 CPUtime=0 cores=1,3,5,7
/proc/8776/task/8799/stat : 8799 (java) S 8773 8776 8776 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948090901 8736989184 5592 33554432000 1073741824 1073778376 140737096680592 18446744073709551615 224296742400 0 4 0 16800975 18446604454958611456 0 0 -1 3 0 0 0
[pid=8714/tid=8724] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8724/stat : 8724 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 18 0 6 0 948062282 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 5 0 0 0
[pid=8714/tid=8729] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8729/stat : 8729 (python) S 8712 8714 7156 0 -1 4202560 33 1380 0 0 0 0 8 1 18 0 6 0 948066995 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8738] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8738/stat : 8738 (python) S 8712 8714 7156 0 -1 4202560 31 1380 0 0 0 0 8 1 20 0 6 0 948071780 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 1 0 0 0
[pid=8714/tid=8743] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8743/stat : 8743 (python) S 8712 8714 7156 0 -1 4202560 26 1380 0 0 0 0 8 1 20 0 6 0 948076747 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 3 0 0 0
[pid=8714/tid=8774] ppid=8712 vsize=337684 CPUtime=0.09 cores=1,3,5,7
/proc/8714/task/8774/stat : 8774 (python) S 8712 8714 7156 0 -1 4202560 29 1380 0 0 0 0 8 1 20 0 6 0 948090896 345788416 8057 33554432000 4194304 5683644 140735678134192 18446744073709551615 224296749489 0 0 16781312 33554434 18446604468087952384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 290.44
Current children cumulated vsize (KiB) 19454288

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 287.492
CPU time (s): 290.44
CPU user time (s): 287.82
CPU system time (s): 2.62
CPU usage (%): 101.025
Max. virtual memory (cumulated for all children) (KiB): 19454288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.840872
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17940
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= 8525
involuntary context switches= 27

runsolver used 2.38864 second user time and 4.85026 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-09 02:11:54
IDJOB=3481580
IDBENCH=48247
IDSOLVER=1970
FILE ID=node118/3481580-1307578314
RUNJOBID= node118-1307576359-7175
PBS_JOBID= 13547681
Free space on /tmp= 73356 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481580-1307578314/watcher-3481580-1307578314 -o /tmp/evaluation-result-3481580-1307578314/solver-3481580-1307578314 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481580-1307578314.opb -seed 1910217087 -budget 1800

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

MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053
RANDOM SEED=1910217087

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18788524 kB
Buffers:        146760 kB
Cached:         946308 kB
SwapCached:      16428 kB
Active:       13649392 kB
Inactive:       144132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18788524 kB
SwapTotal:    67111528 kB
SwapFree:     33333036 kB
Dirty:          101944 kB
Writeback:           0 kB
AnonPages:    12697652 kB
Mapped:         113980 kB
Slab:           145948 kB
PageTables:     147864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 204668268 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= 73256 MiB
End job on node118 at 2011-06-09 02:16:45