Trace number 3482135

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) 359.47 355.297

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark43.6944
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.31/0.49	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.31/0.49	c INFO: solving HOME/instance-3482135-1307577338.opb
0.31/0.49	c INFO: parsing took 0.00 s
0.31/0.49	c INFO: features took 0.00 CPU seconds
0.40/0.52	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.34)
60.48/60.08	c INFO: running wbo1.4a@0 for 45 with 1752 remaining (b = 0.05)
110.94/110.23	c INFO: running scip-2.0.1-clp@0 for 45 with 1703 remaining (b = 0.02)
167.02/165.73	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1654 remaining (b = 0.00)
216.51/213.34	c INFO: running bsolo_pb10-l3@0 for 136 with 1605 remaining (b = 0.01)
358.12/354.23	c INFO: running sat4j-pb-v20101225@0 for 91 with 1465 remaining (b = 0.01)

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-3482135-1307577338/watcher-3482135-1307577338 -o /tmp/evaluation-result-3482135-1307577338/solver-3482135-1307577338 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482135-1307577338.opb -seed 2078187392 -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.03 2.06 1.39 3/737 8007
/proc/meminfo: memFree=27548136/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=15752 CPUtime=0 cores=1,3,5,7
/proc/8007/stat : 8007 (python) R 8005 8007 7156 0 -1 4202496 840 0 0 0 0 0 0 0 25 0 1 0 947964562 16130048 723 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284921701 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8007/statm: 3938 723 334 364 0 425 0

[startup+0.0235331 s]
/proc/loadavg: 2.03 2.06 1.39 3/737 8007
/proc/meminfo: memFree=27548136/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 1154 0 0 0 1 0 0 0 25 0 1 0 947964562 16789504 1019 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/8007/statm: 4099 1019 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396

[startup+0.10454 s]
/proc/loadavg: 2.03 2.06 1.39 3/737 8007
/proc/meminfo: memFree=27548136/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/8007/stat : 8007 (python) R 8005 8007 7156 0 -1 4202496 3170 932 1 0 6 2 0 0 18 0 1 0 947964562 98430976 2483 33554432000 4194304 5683644 140734994516368 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8007/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124

[startup+0.300478 s]
/proc/loadavg: 2.03 2.06 1.39 3/737 8007
/proc/meminfo: memFree=27548136/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=184244 CPUtime=0.23 cores=1,3,5,7
/proc/8007/stat : 8007 (python) R 8005 8007 7156 0 -1 4202496 6287 932 1 0 17 6 0 0 17 0 1 0 947964562 188665856 4592 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284923904 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/8007/statm: 46061 4592 1251 364 0 3567 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184244

[startup+0.700457 s]
/proc/loadavg: 2.03 2.06 1.39 3/737 8007
/proc/meminfo: memFree=27548136/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293068

[startup+1.50031 s]
/proc/loadavg: 2.03 2.06 1.39 3/741 8015
/proc/meminfo: memFree=27507424/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
[pid=8013] ppid=8007 vsize=282824 CPUtime=0 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 947964614 289611776 5621 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945935 0 0 16781312 33554946 4275946895890710528 0 0 17 1 0 0 0
/proc/8013/statm: 70706 5621 358 364 0 5593 0
[pid=8015] ppid=8013 vsize=29804 CPUtime=0.96 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) R 8013 8015 8015 0 -1 4202496 5365 0 0 0 68 28 0 0 18 0 1 0 947964614 30519296 4748 33554432000 4194304 13684479 140736052530832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8015/statm: 7451 4748 807 2317 0 5129 0
[pid=8007/tid=8014] ppid=8005 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 2 0 947964614 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 605696

[startup+3.10105 s]
/proc/loadavg: 2.03 2.06 1.39 3/741 8015
/proc/meminfo: memFree=27507424/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
[pid=8013] ppid=8007 vsize=282956 CPUtime=0.01 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 947964614 289746944 5627 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945935 0 0 16781312 33554946 2556810614177529856 0 0 17 1 0 0 0
/proc/8013/statm: 70739 5627 360 364 0 5626 0
[pid=8015] ppid=8013 vsize=29804 CPUtime=2.57 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) R 8013 8015 8015 0 -1 4202496 5368 0 0 0 188 69 0 0 18 0 1 0 947964614 30519296 4751 33554432000 4194304 13684479 140736052530832 18446744073709551615 6055186 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8015/statm: 7451 4751 807 2317 0 5129 0
[pid=8007/tid=8014] ppid=8005 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 2 0 947964614 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 605828

[startup+6.30051 s]
/proc/loadavg: 2.18 2.09 1.40 3/741 8017
/proc/meminfo: memFree=27506708/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
[pid=8013] ppid=8007 vsize=282956 CPUtime=0.04 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 1010 0 0 0 3 1 0 0 15 0 1 0 947964614 289746944 5663 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945935 0 0 16781312 33554946 3396328355195256832 0 0 17 1 0 0 0
/proc/8013/statm: 70739 5663 384 364 0 5626 0
[pid=8015] ppid=8013 vsize=29804 CPUtime=5.77 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) R 8013 8015 8015 0 -1 4202496 5440 0 0 0 436 141 0 0 18 0 1 0 947964614 30519296 4823 33554432000 4194304 13684479 140736052530832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8015/statm: 7451 4823 807 2317 0 5129 0
[pid=8007/tid=8014] ppid=8005 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 2 0 947964614 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 605828

[startup+12.7004 s]
/proc/loadavg: 2.17 2.09 1.40 3/741 8017
/proc/meminfo: memFree=27504248/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
[pid=8013] ppid=8007 vsize=283092 CPUtime=0.14 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 1038 0 0 0 9 5 0 0 15 0 1 0 947964614 289886208 5688 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945935 0 0 16781312 33554946 861987266153676800 0 0 17 1 0 0 0
/proc/8013/statm: 70773 5688 384 364 0 5660 0
[pid=8015] ppid=8013 vsize=29804 CPUtime=12.17 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) R 8013 8015 8015 0 -1 4202496 5441 0 0 0 929 288 0 0 18 0 1 0 947964614 30519296 4824 33554432000 4194304 13684479 140736052530832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8015/statm: 7451 4824 807 2317 0 5129 0
[pid=8007/tid=8014] ppid=8005 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 2 0 947964614 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 605964

[startup+25.5003 s]
/proc/loadavg: 2.20 2.10 1.42 3/741 8017
/proc/meminfo: memFree=27503644/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
[pid=8013] ppid=8007 vsize=283448 CPUtime=0.29 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 1074 0 0 0 18 11 0 0 15 0 1 0 947964614 290250752 5720 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945935 0 0 16781312 33554946 4019569564869165317 0 0 17 7 0 0 0
/proc/8013/statm: 70862 5720 384 364 0 5749 0
[pid=8015] ppid=8013 vsize=29804 CPUtime=24.97 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) R 8013 8015 8015 0 -1 4202496 5441 0 0 0 1903 594 0 0 18 0 1 0 947964614 30519296 4824 33554432000 4194304 13684479 140736052530832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8015/statm: 7451 4824 807 2317 0 5129 0
[pid=8007/tid=8014] ppid=8005 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 2 0 947964614 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.68
Current children cumulated vsize (KiB) 606320

[startup+51.101 s]
/proc/loadavg: 2.13 2.09 1.43 3/745 8021
/proc/meminfo: memFree=27473040/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=293068 CPUtime=0.42 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 9628 932 1 0 33 9 0 0 19 0 2 0 947964562 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 73267 7137 1870 364 0 8154 0
[pid=8013] ppid=8007 vsize=283448 CPUtime=0.53 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 1129 0 0 0 33 20 0 0 15 0 1 0 947964614 290250752 5764 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945935 0 0 16781312 33554946 2505152740406067200 0 0 17 7 0 0 0
/proc/8013/statm: 70862 5764 384 364 0 5749 0
[pid=8015] ppid=8013 vsize=32148 CPUtime=50.56 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) R 8013 8015 8015 0 -1 4202496 6235 0 0 0 3965 1091 0 0 18 0 1 0 947964614 32919552 5618 33554432000 4194304 13684479 140736052530832 18446744073709551615 5563371 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8015/statm: 8037 5618 807 2317 0 5715 0
[pid=8007/tid=8014] ppid=8005 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 2 0 947964614 300101632 7137 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.51
Current children cumulated vsize (KiB) 608664

[startup+102.322 s]
/proc/loadavg: 2.06 2.07 1.46 3/753 8031
/proc/meminfo: memFree=27268072/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=303868 CPUtime=0.44 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 10489 932 1 0 35 9 0 0 19 0 3 0 947964562 311160832 7265 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/8007/statm: 75967 7265 1873 364 0 10851 0
[pid=8013] ppid=8007 vsize=293692 CPUtime=0.62 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 1276 0 0 0 38 24 0 0 17 0 2 0 947964614 300740608 5809 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8013/statm: 73423 5809 414 364 0 8310 0
[pid=8015] ppid=8013 vsize=33944 CPUtime=59.52 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) T 8013 8015 8015 0 -1 4202496 6617 0 0 0 4730 1222 0 0 18 0 1 0 947964614 34758656 6000 33554432000 4194304 13684479 140736052530832 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/8015/statm: 8486 6000 807 2317 0 6164 0
[pid=8013/tid=8022] ppid=8007 vsize=293692 CPUtime=0 cores=1,3,5,7
/proc/8013/task/8022/stat : 8022 (python) S 8007 8007 7156 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 947970568 300740608 5809 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554946 18446604460327405696 0 0 -1 7 0 0 0
[pid=8023] ppid=8007 vsize=293624 CPUtime=0.21 cores=1,3,5,7
/proc/8023/stat : 8023 (python) S 8007 8007 7156 0 -1 4202560 958 0 0 0 8 13 0 0 15 0 1 0 947970570 300670976 5761 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945990 0 0 16781312 33554946 5623753486446373639 0 0 17 7 0 0 0
/proc/8023/statm: 73406 5761 373 364 0 8290 0
[pid=8025] ppid=8023 vsize=101228 CPUtime=42.23 cores=1,3,5,7
/proc/8025/stat : 8025 (wbo1.4a) R 8023 8025 8025 0 -1 4202496 25108 0 0 0 4154 69 0 0 25 0 1 0 947970571 103657472 24842 33554432000 134512640 135751879 4291653952 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/8025/statm: 25307 24842 143 303 0 25002 0
[pid=8007/tid=8014] ppid=8005 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 3 0 947964614 311160832 7265 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
[pid=8007/tid=8024] ppid=8005 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8024/stat : 8024 (python) S 8005 8007 7156 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 3 0 947970570 311160832 7265 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 103.02
Current children cumulated vsize (KiB) 1026356

[startup+162.301 s]
/proc/loadavg: 2.02 2.06 1.49 3/779 8059
/proc/meminfo: memFree=26876044/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=313816 CPUtime=0.46 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 11359 932 1 0 37 9 0 0 20 0 4 0 947964562 321347584 7195 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8007/statm: 78454 7195 1875 364 0 13335 0
[pid=8013] ppid=8007 vsize=293692 CPUtime=0.62 cores=1,3,5,7

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

[pid=8007/tid=8024] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8024/stat : 8024 (python) S 8005 8007 7156 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 947970570 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 3 0 0 0
[pid=8007/tid=8034] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8034/stat : 8034 (python) S 8005 8007 7156 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 947975585 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
[pid=8007/tid=8062] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8062/stat : 8062 (python) S 8005 8007 7156 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 7 0 947981135 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
[pid=8007/tid=8085] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8085/stat : 8085 (python) S 8005 8007 7156 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 947985896 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 1 0 0 0
[pid=8007/tid=8182] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8182/stat : 8182 (python) S 8005 8007 7156 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 7 0 947999985 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 359.47
Current children cumulated vsize (KiB) 19495444

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

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

[startup+355.202 s]
/proc/loadavg: 2.17 2.10 1.61 4/841 8201
/proc/meminfo: memFree=24508964/32951124 swapFree=33333036/67111528
[pid=8007] ppid=8005 vsize=345252 CPUtime=0.54 cores=1,3,5,7
/proc/8007/stat : 8007 (python) S 8005 8007 7156 0 -1 4202496 13927 932 1 0 44 10 0 0 20 0 7 0 947964562 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/8007/statm: 86313 7363 1881 364 0 21185 0
[pid=8013] ppid=8007 vsize=293692 CPUtime=0.62 cores=1,3,5,7
/proc/8013/stat : 8013 (python) S 8007 8007 7156 0 -1 4202560 1276 0 0 0 38 24 0 0 17 0 2 0 947964614 300740608 5809 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8013/statm: 73423 5809 414 364 0 8310 0
[pid=8015] ppid=8013 vsize=33944 CPUtime=59.52 cores=1,3,5,7
/proc/8015/stat : 8015 (scip-2.0.1.linu) T 8013 8015 8015 0 -1 4202496 6617 0 0 0 4730 1222 0 0 18 0 1 0 947964614 34758656 6000 33554432000 4194304 13684479 140736052530832 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/8015/statm: 8486 6000 807 2317 0 6164 0
[pid=8013/tid=8022] ppid=8007 vsize=293692 CPUtime=0 cores=1,3,5,7
/proc/8013/task/8022/stat : 8022 (python) S 8007 8007 7156 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 947970568 300740608 5809 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554946 18446604460327405696 0 0 -1 7 0 0 0
[pid=8023] ppid=8007 vsize=293624 CPUtime=0.25 cores=1,3,5,7
/proc/8023/stat : 8023 (python) S 8007 8007 7156 0 -1 4202560 1120 0 0 0 11 14 0 0 16 0 2 0 947970570 300670976 5786 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8023/statm: 73406 5786 397 364 0 8290 0
[pid=8025] ppid=8023 vsize=116468 CPUtime=50.11 cores=1,3,5,7
/proc/8025/stat : 8025 (wbo1.4a) T 8023 8025 8025 0 -1 4202496 28899 0 0 0 4933 78 0 0 25 0 1 0 947970571 119263232 28633 33554432000 134512640 135751879 4291653952 18446744073709551615 134616866 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/8025/statm: 29117 28633 143 303 0 28812 0
[pid=8023/tid=8032] ppid=8007 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/8023/task/8032/stat : 8032 (python) S 8007 8007 7156 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947975583 300670976 5786 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554946 18446604466447376768 0 0 -1 5 0 0 0
[pid=8033] ppid=8007 vsize=304048 CPUtime=0.61 cores=1,3,5,7
/proc/8033/stat : 8033 (python) S 8007 8007 7156 0 -1 4202560 1294 0 0 0 38 23 0 0 17 0 2 0 947975585 311345152 5848 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8033/statm: 76012 5848 399 364 0 10893 0
[pid=8035] ppid=8033 vsize=31132 CPUtime=55.45 cores=1,3,5,7
/proc/8035/stat : 8035 (scip-2.0.1.linu) T 8033 8035 8035 0 -1 4202496 7757 0 0 0 4837 708 0 0 18 0 1 0 947975585 31879168 4798 33554432000 4194304 15243407 140733493809648 18446744073709551615 8058242 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/8035/statm: 7783 4798 932 2698 0 5078 0
[pid=8033/tid=8060] ppid=8007 vsize=304048 CPUtime=0 cores=1,3,5,7
/proc/8033/task/8060/stat : 8060 (python) S 8007 8007 7156 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947981133 311345152 5848 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468087952384 0 0 -1 7 0 0 0
[pid=8061] ppid=8007 vsize=314332 CPUtime=0.25 cores=1,3,5,7
/proc/8061/stat : 8061 (python) S 8007 8007 7156 0 -1 4202560 1111 0 0 0 11 14 0 0 16 0 2 0 947981135 321875968 5827 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/8061/statm: 78583 5827 397 364 0 13461 0
[pid=8063] ppid=8061 vsize=8545084 CPUtime=49.23 cores=1,3,5,7
/proc/8063/stat : 8063 (java) T 8061 8063 8063 0 -1 4202496 300857 0 1 0 4888 35 0 0 18 0 19 0 947981136 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8063/statm: 2136271 283697 2244 9 0 2127012 0
[pid=8063/tid=8064] ppid=8061 vsize=8545084 CPUtime=47.19 cores=1,3,5,7
/proc/8063/task/8064/stat : 8064 (java) T 8061 8063 8063 0 -1 4202560 252115 0 1 0 4691 28 0 0 25 0 19 0 947981136 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 46912505560073 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8065] ppid=8061 vsize=8545084 CPUtime=0.08 cores=1,3,5,7
/proc/8063/task/8065/stat : 8065 (java) T 8061 8063 8063 0 -1 4202560 6369 0 0 0 8 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8063/tid=8066] ppid=8061 vsize=8545084 CPUtime=0.05 cores=1,3,5,7
/proc/8063/task/8066/stat : 8066 (java) T 8061 8063 8063 0 -1 4202560 4042 0 0 0 5 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8063/tid=8067] ppid=8061 vsize=8545084 CPUtime=0.04 cores=1,3,5,7
/proc/8063/task/8067/stat : 8067 (java) T 8061 8063 8063 0 -1 4202560 3497 0 0 0 4 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8063/tid=8068] ppid=8061 vsize=8545084 CPUtime=0.07 cores=1,3,5,7
/proc/8063/task/8068/stat : 8068 (java) T 8061 8063 8063 0 -1 4202560 4813 0 0 0 7 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8069] ppid=8061 vsize=8545084 CPUtime=0.04 cores=1,3,5,7
/proc/8063/task/8069/stat : 8069 (java) T 8061 8063 8063 0 -1 4202560 2620 0 0 0 4 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8063/tid=8070] ppid=8061 vsize=8545084 CPUtime=0.07 cores=1,3,5,7
/proc/8063/task/8070/stat : 8070 (java) T 8061 8063 8063 0 -1 4202560 5790 0 0 0 7 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8071] ppid=8061 vsize=8545084 CPUtime=0.05 cores=1,3,5,7
/proc/8063/task/8071/stat : 8071 (java) T 8061 8063 8063 0 -1 4202560 3007 0 0 0 5 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8063/tid=8072] ppid=8061 vsize=8545084 CPUtime=0.08 cores=1,3,5,7
/proc/8063/task/8072/stat : 8072 (java) T 8061 8063 8063 0 -1 4202560 5932 0 0 0 8 0 0 0 15 0 19 0 947981137 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8063/tid=8073] ppid=8061 vsize=8545084 CPUtime=0.05 cores=1,3,5,7
/proc/8063/task/8073/stat : 8073 (java) T 8061 8063 8063 0 -1 4202560 1472 0 0 0 5 0 0 0 15 0 19 0 947981138 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8074] ppid=8061 vsize=8545084 CPUtime=0 cores=1,3,5,7
/proc/8063/task/8074/stat : 8074 (java) T 8061 8063 8063 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947981138 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8075] ppid=8061 vsize=8545084 CPUtime=0 cores=1,3,5,7
/proc/8063/task/8075/stat : 8075 (java) T 8061 8063 8063 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947981138 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8076] ppid=8061 vsize=8545084 CPUtime=0 cores=1,3,5,7
/proc/8063/task/8076/stat : 8076 (java) T 8061 8063 8063 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947981140 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8077] ppid=8061 vsize=8545084 CPUtime=0.74 cores=1,3,5,7
/proc/8063/task/8077/stat : 8077 (java) T 8061 8063 8063 0 -1 4202560 5559 0 0 0 74 0 0 0 15 0 19 0 947981140 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8063/tid=8078] ppid=8061 vsize=8545084 CPUtime=0.62 cores=1,3,5,7
/proc/8063/task/8078/stat : 8078 (java) T 8061 8063 8063 0 -1 4202560 4251 0 0 0 62 0 0 0 15 0 19 0 947981140 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8063/tid=8079] ppid=8061 vsize=8545084 CPUtime=0 cores=1,3,5,7
/proc/8063/task/8079/stat : 8079 (java) T 8061 8063 8063 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947981140 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8063/tid=8080] ppid=8061 vsize=8545084 CPUtime=0 cores=1,3,5,7
/proc/8063/task/8080/stat : 8080 (java) T 8061 8063 8063 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 947981140 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=8063/tid=8081] ppid=8061 vsize=8545084 CPUtime=0 cores=1,3,5,7
/proc/8063/task/8081/stat : 8081 (java) T 8061 8063 8063 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947981148 8750166016 283697 33554432000 1073741824 1073778376 140734790748880 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8061/tid=8083] ppid=8007 vsize=314332 CPUtime=0 cores=1,3,5,7
/proc/8061/task/8083/stat : 8083 (python) S 8007 8007 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947985893 321875968 5827 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554946 18446604469298355072 0 0 -1 5 0 0 0
[pid=8084] ppid=8007 vsize=324588 CPUtime=0.7 cores=1,3,5,7
/proc/8084/stat : 8084 (python) S 8007 8007 7156 0 -1 4202560 1178 0 0 0 32 38 0 0 16 0 2 0 947985896 332378112 5851 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8084/statm: 81147 5851 397 364 0 16022 0
[pid=8086] ppid=8084 vsize=21680 CPUtime=140.85 cores=1,3,5,7
/proc/8086/stat : 8086 (bsolo_pb10) T 8084 8086 8086 0 -1 4202496 1278 0 0 0 14060 25 0 0 25 0 1 0 947985896 22200320 1012 33554432000 134512640 137138936 4288864064 18446744073709551615 134542620 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/8086/statm: 5420 1012 192 642 0 4776 0
[pid=8084/tid=8180] ppid=8007 vsize=324588 CPUtime=0 cores=1,3,5,7
/proc/8084/task/8180/stat : 8180 (python) S 8007 8007 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947999982 332378112 5851 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468411744640 0 0 -1 7 0 0 0
[pid=8181] ppid=8007 vsize=335008 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (python) S 8007 8007 7156 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 1 0 947999985 343048192 5827 33554432000 4194304 5683644 140734994516368 18446744073709551615 224284945990 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/8181/statm: 83752 5827 349 364 0 18624 0
[pid=8183] ppid=8181 vsize=8536592 CPUtime=1.34 cores=1,3,5,7
/proc/8183/stat : 8183 (java) S 8181 8183 8183 0 -1 4202496 16919 0 1 0 132 2 0 0 20 0 19 0 947999985 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8183/statm: 2134148 14933 2231 9 0 2124889 0
[pid=8183/tid=8184] ppid=8181 vsize=8536592 CPUtime=0.98 cores=1,3,5,7
/proc/8183/task/8184/stat : 8184 (java) R 8181 8183 8183 0 -1 4202560 10793 0 1 0 97 1 0 0 20 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 46912505616631 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8183/tid=8185] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8185/stat : 8185 (java) S 8181 8183 8183 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 5 0 0 0
[pid=8183/tid=8186] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8186/stat : 8186 (java) S 8181 8183 8183 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8187] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8187/stat : 8187 (java) S 8181 8183 8183 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8188] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8188/stat : 8188 (java) S 8181 8183 8183 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 5 0 0 0
[pid=8183/tid=8189] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8189/stat : 8189 (java) S 8181 8183 8183 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 5 0 0 0
[pid=8183/tid=8190] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8190/stat : 8190 (java) S 8181 8183 8183 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8191] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8191/stat : 8191 (java) S 8181 8183 8183 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 7 0 0 0
[pid=8183/tid=8192] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8192/stat : 8192 (java) S 8181 8183 8183 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 947999986 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8193] ppid=8181 vsize=8536592 CPUtime=0.01 cores=1,3,5,7
/proc/8183/task/8193/stat : 8193 (java) S 8181 8183 8183 0 -1 4202560 404 0 0 0 1 0 0 0 15 0 19 0 947999987 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296742400 0 0 0 16800975 18446604461561477824 0 0 -1 7 0 0 0
[pid=8183/tid=8194] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8194/stat : 8194 (java) S 8181 8183 8183 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 947999988 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 5 0 0 0
[pid=8183/tid=8195] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8195/stat : 8195 (java) S 8181 8183 8183 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 947999988 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8196] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8196/stat : 8196 (java) S 8181 8183 8183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947999990 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296749489 0 4 0 16800975 18446604461561477824 0 0 -1 5 0 0 0
[pid=8183/tid=8197] ppid=8181 vsize=8536592 CPUtime=0.18 cores=1,3,5,7
/proc/8183/task/8197/stat : 8197 (java) S 8181 8183 8183 0 -1 4202560 2094 0 0 0 18 0 0 0 20 0 19 0 947999990 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 7 0 0 0
[pid=8183/tid=8198] ppid=8181 vsize=8536592 CPUtime=0.16 cores=1,3,5,7
/proc/8183/task/8198/stat : 8198 (java) S 8181 8183 8183 0 -1 4202560 1756 0 0 0 16 0 0 0 20 0 19 0 947999990 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8199] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8199/stat : 8199 (java) S 8181 8183 8183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947999990 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296741785 0 4 0 16800975 18446604461561477824 0 0 -1 5 0 0 0
[pid=8183/tid=8200] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8200/stat : 8200 (java) S 8181 8183 8183 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947999990 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296742400 0 4 0 16800975 18446604461561477824 0 0 -1 3 0 0 0
[pid=8183/tid=8201] ppid=8181 vsize=8536592 CPUtime=0 cores=1,3,5,7
/proc/8183/task/8201/stat : 8201 (java) S 8181 8183 8183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947999997 8741470208 14933 33554432000 1073741824 1073778376 140736458055168 18446744073709551615 224296742400 0 4 0 16800975 18446604461561477824 0 0 -1 7 0 0 0
[pid=8007/tid=8014] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8014/stat : 8014 (python) S 8005 8007 7156 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 7 0 947964614 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
[pid=8007/tid=8024] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8024/stat : 8024 (python) S 8005 8007 7156 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 947970570 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 3 0 0 0
[pid=8007/tid=8034] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8034/stat : 8034 (python) S 8005 8007 7156 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 947975585 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 5 0 0 0
[pid=8007/tid=8062] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8062/stat : 8062 (python) S 8005 8007 7156 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 7 0 947981135 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
[pid=8007/tid=8085] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8085/stat : 8085 (python) S 8005 8007 7156 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 7 0 947985896 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 1 0 0 0
[pid=8007/tid=8182] ppid=8005 vsize=345252 CPUtime=0 cores=1,3,5,7
/proc/8007/task/8182/stat : 8182 (python) S 8005 8007 7156 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 7 0 947999985 353538048 7363 33554432000 4194304 5683644 140734994516368 18446744073709551615 224296749489 0 0 16781312 33554434 18446604464853850240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 359.47
Current children cumulated vsize (KiB) 19495444

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 355.297
CPU time (s): 359.47
CPU user time (s): 337.54
CPU system time (s): 21.93
CPU usage (%): 101.174
Max. virtual memory (cumulated for all children) (KiB): 19495444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.450931
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14863
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= 1013
involuntary context switches= 26

runsolver used 2.65959 second user time and 6.19206 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-09 01:55:38
IDJOB=3482135
IDBENCH=2916
IDSOLVER=1970
FILE ID=node118/3482135-1307577338
RUNJOBID= node118-1307576359-7175
PBS_JOBID= 13547681
Free space on /tmp= 73600 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.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-3482135-1307577338/watcher-3482135-1307577338 -o /tmp/evaluation-result-3482135-1307577338/solver-3482135-1307577338 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482135-1307577338.opb -seed 2078187392 -budget 1800

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=2078187392

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:      27548424 kB
Buffers:        137232 kB
Cached:         692840 kB
SwapCached:      16428 kB
Active:        4920076 kB
Inactive:       138208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27548424 kB
SwapTotal:    67111528 kB
SwapFree:     33333036 kB
Dirty:          205504 kB
Writeback:           0 kB
AnonPages:     4225316 kB
Mapped:          73544 kB
Slab:           144196 kB
PageTables:     126596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 190812760 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= 73436 MiB
End job on node118 at 2011-06-09 02:01:36