Trace number 3481867

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) 1729.39 1720

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark1797.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.40/0.53	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.40/0.53	c INFO: solving HOME/instance-3481867-1307576607.opb
0.59/0.72	c INFO: parsing took 0.19 s
0.89/1.07	c INFO: features took 0.35 CPU seconds
0.89/1.10	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.22)
52.33/52.21	c INFO: running wbo1.4a@0 for 45 with 1748 remaining (b = 0.02)
100.33/100.05	c INFO: running scip-2.0.1-clp@0 for 45 with 1700 remaining (b = 0.01)
147.40/147.00	c INFO: running sat4j-pb-v20101225@0 for 91 with 1654 remaining (b = 0.01)
242.42/240.50	c INFO: running clasp-1.3.7@0 for 91 with 1559 remaining (b = 0.01)
336.42/334.08	c INFO: running bsolo_pb10-l3@0 for 1368 with 1466 remaining (b = 0.06)
1728.29/1719.28	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 94 remaining (b = 0.00)

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

running on 4 cores: 0,2,4,6

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: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 712 0 0 0 0 0 0 0 20 0 1 0 869261211 15548416 603 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/1359/statm: 3796 603 319 364 0 283 0

[startup+0.0252569 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=16820 CPUtime=0.01 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 1214 0 0 0 1 0 0 0 20 0 1 0 869261211 17223680 1072 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/1359/statm: 4205 1072 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820

[startup+0.10104 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=96132 CPUtime=0.07 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 3034 464 1 0 5 2 0 0 18 0 1 0 869261211 98439168 2483 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640859392 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/1359/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96132

[startup+0.304022 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=168312 CPUtime=0.24 cores=0,2,4,6
/proc/1359/stat : 1359 (python) R 1357 1359 1117 0 -1 4202496 5976 931 1 0 16 8 0 0 17 0 1 0 869261211 172351488 4292 33554432000 4194304 5683644 140733985097680 18446744073709551615 253644268213 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1359/statm: 42078 4292 1200 364 0 3295 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 168312

[startup+0.700997 s]
/proc/loadavg: 1.85 0.89 0.34 2/587 1359
/proc/meminfo: memFree=26029404/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=288296 CPUtime=0.59 cores=0,2,4,6
/proc/1359/stat : 1359 (python) R 1357 1359 1117 0 -1 4202496 10469 931 1 0 47 12 0 0 17 0 1 0 869261211 295215104 8330 33554432000 4194304 5683644 140733985097680 18446744073709551615 4623644 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1359/statm: 72074 8330 1781 364 0 6967 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 288296

[startup+1.50084 s]
/proc/loadavg: 1.85 0.89 0.34 3/596 1376
/proc/meminfo: memFree=25970184/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 299340

[startup+3.10053 s]
/proc/loadavg: 1.85 0.89 0.34 3/599 1379
/proc/meminfo: memFree=25895016/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 869261321 296034304 7152 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 8458974549449343235 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7152 351 364 0 7161 0
[pid=1379] ppid=1377 vsize=75576 CPUtime=1.98 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 17065 0 0 0 195 3 0 0 25 0 1 0 869261322 77389824 15728 33554432000 4194304 13684479 140734451558576 18446744073709551615 7361336 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 18894 15728 714 2317 0 16572 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 664012

[startup+6.30093 s]
/proc/loadavg: 2.26 0.99 0.38 2/591 1400
/proc/meminfo: memFree=26037220/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.01 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 913 0 0 0 1 0 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 2294380295551418627 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=77712 CPUtime=5.19 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 17513 0 0 0 515 4 0 0 25 0 1 0 869261322 79577088 16176 33554432000 4194304 13684479 140734451558576 18446744073709551615 7430415 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 19428 16176 718 2317 0 17106 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 666148

[startup+12.7008 s]
/proc/loadavg: 2.56 1.07 0.41 3/599 1415
/proc/meminfo: memFree=25774204/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.03 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 916 0 0 0 2 1 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 2924114735567732736 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=114156 CPUtime=11.59 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 27810 0 0 0 1151 8 0 0 25 0 1 0 869261322 116895744 25456 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 28539 25456 776 2317 0 26217 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 702592

[startup+25.5005 s]
/proc/loadavg: 2.44 1.12 0.43 3/599 1415
/proc/meminfo: memFree=25767572/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.11 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 925 0 0 0 6 5 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 72262103200705350 0 0 17 2 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=24.38 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 29521 0 0 0 2418 20 0 0 25 0 1 0 869261322 123678720 27167 33554432000 4194304 13684479 140734451558576 18446744073709551615 7431920 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27167 778 2317 0 27873 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 709216

[startup+51.1008 s]
/proc/loadavg: 2.42 1.22 0.48 3/599 1451
/proc/meminfo: memFree=25827596/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=299340 CPUtime=1 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 12156 931 1 0 87 13 0 0 20 0 2 0 869261211 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 74835 8675 1870 364 0 9722 0
[pid=1377] ppid=1359 vsize=289096 CPUtime=0.22 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 937 0 0 0 11 11 0 0 15 0 1 0 869261321 296034304 7180 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879631 0 0 16781312 33554946 72556772316949318 0 0 17 6 0 0 0
/proc/1377/statm: 72274 7180 375 364 0 7161 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=49.98 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) R 1377 1379 1379 0 -1 4202496 29599 0 0 0 4952 46 0 0 25 0 1 0 869261322 123678720 27245 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27245 779 2317 0 27873 0
[pid=1359/tid=1378] ppid=1357 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 869261322 306524160 8675 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 709216

[startup+102.301 s]
/proc/loadavg: 2.23 1.35 0.56 3/629 1482
/proc/meminfo: memFree=25639644/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=319852 CPUtime=1.06 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 13892 931 1 0 93 13 0 0 20 0 4 0 869261211 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/1359/statm: 79963 8690 1875 364 0 14844 0
[pid=1377] ppid=1359 vsize=299340 CPUtime=0.24 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 1102 0 0 0 12 12 0 0 16 0 2 0 869261321 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1377/statm: 74835 7216 406 364 0 9722 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=51.07 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) T 1377 1379 1379 0 -1 4202496 29599 0 0 0 5060 47 0 0 25 0 1 0 869261322 123678720 27245 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27245 779 2317 0 27873 0
[pid=1377/tid=1452] ppid=1359 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1377/task/1452/stat : 1452 (python) S 1359 1359 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869266430 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451186667968 0 0 -1 6 0 0 0
[pid=1453] ppid=1359 vsize=299352 CPUtime=0.24 cores=0,2,4,6
/proc/1453/stat : 1453 (python) S 1359 1359 1117 0 -1 4202560 1182 0 0 0 12 12 0 0 16 0 2 0 869266432 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1453/statm: 74838 7212 402 364 0 9722 0
[pid=1455] ppid=1453 vsize=77728 CPUtime=47.8 cores=0,2,4,6
/proc/1455/stat : 1455 (wbo1.4a) T 1453 1455 1455 0 -1 4202496 20593 0 0 0 4756 24 0 0 25 0 1 0 869266433 79593472 18960 33554432000 134512640 135751879 4286829312 18446744073709551615 134616320 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/1455/statm: 19432 18960 146 303 0 19127 0
[pid=1453/tid=1479] ppid=1359 vsize=299352 CPUtime=0 cores=0,2,4,6
/proc/1453/task/1479/stat : 1479 (python) S 1359 1359 1117 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869271214 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451331953792 0 0 -1 6 0 0 0
[pid=1480] ppid=1359 vsize=309608 CPUtime=0 cores=0,2,4,6
/proc/1480/stat : 1480 (python) S 1359 1359 1117 0 -1 4202560 911 0 0 0 0 0 0 0 15 0 1 0 869271217 317038592 7166 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879686 0 0 16781312 33554946 6033171179513020676 0 0 17 0 0 0 0
/proc/1480/statm: 77402 7166 355 364 0 12283 0
[pid=1482] ppid=1480 vsize=70028 CPUtime=2.23 cores=0,2,4,6
/proc/1482/stat : 1482 (scip-2.0.1.linu) R 1480 1482 1482 0 -1 4202496 15338 0 0 0 222 1 0 0 25 0 1 0 869271217 71708672 14702 33554432000 4194304 15243407 140735082089584 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/1482/statm: 17507 14702 822 2698 0 14802 0
[pid=1359/tid=1378] ppid=1357 vsize=319852 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 869261322 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1454] ppid=1357 vsize=319852 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1454/stat : 1454 (python) S 1357 1359 1117 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 4 0 869266432 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1481] ppid=1357 vsize=319852 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1481/stat : 1481 (python) S 1357 1359 1117 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 4 0 869271217 327528448 8690 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.64
Current children cumulated vsize (KiB) 1496688

[startup+162.302 s]
/proc/loadavg: 2.23 1.50 0.66 3/655 1510
/proc/meminfo: memFree=25434808/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=330108 CPUtime=1.08 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 14760 931 1 0 95 13 0 0 20 0 5 0 869261211 338030592 8698 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0

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


Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1719.9 s]
/proc/loadavg: 2.23 2.16 1.83 5/801 2407
/proc/meminfo: memFree=18266232/32951124 swapFree=53733252/67111528
[pid=1359] ppid=1357 vsize=360876 CPUtime=1.15 cores=0,2,4,6
/proc/1359/stat : 1359 (python) S 1357 1359 1117 0 -1 4202496 17462 931 1 0 101 14 0 0 20 0 8 0 869261211 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/1359/statm: 90219 8716 1883 364 0 25088 0
[pid=1377] ppid=1359 vsize=299340 CPUtime=0.24 cores=0,2,4,6
/proc/1377/stat : 1377 (python) S 1359 1359 1117 0 -1 4202560 1102 0 0 0 12 12 0 0 16 0 2 0 869261321 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1377/statm: 74835 7216 406 364 0 9722 0
[pid=1379] ppid=1377 vsize=120780 CPUtime=51.07 cores=0,2,4,6
/proc/1379/stat : 1379 (scip-2.0.1.linu) T 1377 1379 1379 0 -1 4202496 29599 0 0 0 5060 47 0 0 25 0 1 0 869261322 123678720 27245 33554432000 4194304 13684479 140734451558576 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1379/statm: 30195 27245 779 2317 0 27873 0
[pid=1377/tid=1452] ppid=1359 vsize=299340 CPUtime=0 cores=0,2,4,6
/proc/1377/task/1452/stat : 1452 (python) S 1359 1359 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869266430 306524160 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451186667968 0 0 -1 6 0 0 0
[pid=1453] ppid=1359 vsize=299352 CPUtime=0.24 cores=0,2,4,6
/proc/1453/stat : 1453 (python) S 1359 1359 1117 0 -1 4202560 1182 0 0 0 12 12 0 0 16 0 2 0 869266432 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1453/statm: 74838 7212 402 364 0 9722 0
[pid=1455] ppid=1453 vsize=77728 CPUtime=47.8 cores=0,2,4,6
/proc/1455/stat : 1455 (wbo1.4a) T 1453 1455 1455 0 -1 4202496 20593 0 0 0 4756 24 0 0 25 0 1 0 869266433 79593472 18960 33554432000 134512640 135751879 4286829312 18446744073709551615 134616320 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/1455/statm: 19432 18960 146 303 0 19127 0
[pid=1453/tid=1479] ppid=1359 vsize=299352 CPUtime=0 cores=0,2,4,6
/proc/1453/task/1479/stat : 1479 (python) S 1359 1359 1117 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869271214 306536448 7212 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604451331953792 0 0 -1 6 0 0 0
[pid=1480] ppid=1359 vsize=309608 CPUtime=0.21 cores=0,2,4,6
/proc/1480/stat : 1480 (python) S 1359 1359 1117 0 -1 4202560 1219 0 0 0 10 11 0 0 17 0 2 0 869271217 317038592 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1480/statm: 77402 7216 402 364 0 12283 0
[pid=1482] ppid=1480 vsize=77784 CPUtime=46.86 cores=0,2,4,6
/proc/1482/stat : 1482 (scip-2.0.1.linu) T 1480 1482 1482 0 -1 4202496 29069 0 0 0 4659 27 0 0 25 0 1 0 869271217 79650816 16585 33554432000 4194304 15243407 140735082089584 18446744073709551615 12335806 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1482/statm: 19446 16585 931 2698 0 16741 0
[pid=1480/tid=1488] ppid=1359 vsize=309608 CPUtime=0 cores=0,2,4,6
/proc/1480/task/1488/stat : 1488 (python) S 1359 1359 1117 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869275909 317038592 7216 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604453920923776 0 0 -1 6 0 0 0
[pid=1489] ppid=1359 vsize=319864 CPUtime=0.48 cores=0,2,4,6
/proc/1489/stat : 1489 (python) S 1359 1359 1117 0 -1 4202560 1191 0 0 0 26 22 0 0 16 0 2 0 869275912 327540736 7214 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1489/statm: 79966 7214 396 364 0 14844 0
[pid=1491] ppid=1489 vsize=8537956 CPUtime=94.54 cores=0,2,4,6
/proc/1491/stat : 1491 (java) T 1489 1491 1491 0 -1 4202496 44925 0 1 0 9448 6 0 0 18 0 19 0 869275912 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/1491/statm: 2134489 41751 2248 9 0 2125230 0
[pid=1491/tid=1492] ppid=1489 vsize=8537956 CPUtime=92.7 cores=0,2,4,6
/proc/1491/task/1492/stat : 1492 (java) T 1489 1491 1491 0 -1 4202560 28130 0 1 0 9266 4 0 0 25 0 19 0 869275913 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 46912505918881 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1493] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1493/stat : 1493 (java) T 1489 1491 1491 0 -1 4202560 873 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1494] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1494/stat : 1494 (java) T 1489 1491 1491 0 -1 4202560 555 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1495] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1495/stat : 1495 (java) T 1489 1491 1491 0 -1 4202560 710 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1496] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1496/stat : 1496 (java) T 1489 1491 1491 0 -1 4202560 1456 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1497] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1497/stat : 1497 (java) T 1489 1491 1491 0 -1 4202560 395 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1498] ppid=1489 vsize=8537956 CPUtime=0.02 cores=0,2,4,6
/proc/1491/task/1498/stat : 1498 (java) T 1489 1491 1491 0 -1 4202560 438 0 0 0 2 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1499] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1499/stat : 1499 (java) T 1489 1491 1491 0 -1 4202560 591 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1500] ppid=1489 vsize=8537956 CPUtime=0.01 cores=0,2,4,6
/proc/1491/task/1500/stat : 1500 (java) T 1489 1491 1491 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 869275914 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1501] ppid=1489 vsize=8537956 CPUtime=0.58 cores=0,2,4,6
/proc/1491/task/1501/stat : 1501 (java) T 1489 1491 1491 0 -1 4202560 4828 0 0 0 58 0 0 0 15 0 19 0 869275915 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1491/tid=1502] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1502/stat : 1502 (java) T 1489 1491 1491 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869275915 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1503] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1503/stat : 1503 (java) T 1489 1491 1491 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869275915 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1504] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1504/stat : 1504 (java) T 1489 1491 1491 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869275917 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1505] ppid=1489 vsize=8537956 CPUtime=0.55 cores=0,2,4,6
/proc/1491/task/1505/stat : 1505 (java) T 1489 1491 1491 0 -1 4202560 3219 0 0 0 55 0 0 0 15 0 19 0 869275917 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1506] ppid=1489 vsize=8537956 CPUtime=0.5 cores=0,2,4,6
/proc/1491/task/1506/stat : 1506 (java) T 1489 1491 1491 0 -1 4202560 2325 0 0 0 50 0 0 0 15 0 19 0 869275918 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1491/tid=1507] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1507/stat : 1507 (java) T 1489 1491 1491 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869275918 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1491/tid=1508] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1508/stat : 1508 (java) T 1489 1491 1491 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869275918 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1491/tid=1509] ppid=1489 vsize=8537956 CPUtime=0 cores=0,2,4,6
/proc/1491/task/1509/stat : 1509 (java) T 1489 1491 1491 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869275968 8742866944 41751 33554432000 1073741824 1073778376 140736427284464 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1489/tid=1576] ppid=1359 vsize=319864 CPUtime=0 cores=0,2,4,6
/proc/1489/task/1576/stat : 1576 (python) S 1359 1359 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869285259 327540736 7214 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604443015545856 0 0 -1 6 0 0 0
[pid=1577] ppid=1359 vsize=330120 CPUtime=0.43 cores=0,2,4,6
/proc/1577/stat : 1577 (python) S 1359 1359 1117 0 -1 4202560 1184 0 0 0 21 22 0 0 19 0 2 0 869285261 338042880 7218 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1577/statm: 82530 7218 396 364 0 17405 0
[pid=1579] ppid=1577 vsize=4416 CPUtime=93.48 cores=0,2,4,6
/proc/1579/stat : 1579 (clasp-1.3.7-x86) T 1577 1579 1579 0 -1 4202496 1217 0 0 0 9348 0 0 0 25 0 1 0 869285262 4521984 857 33554432000 134512640 136139019 4294077216 18446744073709551615 134599034 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/1579/statm: 1104 857 188 398 0 704 0
[pid=1577/tid=1696] ppid=1359 vsize=330120 CPUtime=0 cores=0,2,4,6
/proc/1577/task/1696/stat : 1696 (python) S 1359 1359 1117 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869294617 338042880 7218 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604443516367040 0 0 -1 6 0 0 0
[pid=1697] ppid=1359 vsize=340376 CPUtime=6.72 cores=0,2,4,6
/proc/1697/stat : 1697 (python) S 1359 1359 1117 0 -1 4202560 1237 0 0 0 340 332 0 0 16 0 2 0 869294619 348545024 7222 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1697/statm: 85094 7222 396 364 0 19966 0
[pid=1699] ppid=1697 vsize=74380 CPUtime=1385.18 cores=0,2,4,6
/proc/1699/stat : 1699 (bsolo_pb10) T 1697 1699 1699 0 -1 4202496 12547589 0 0 0 137190 1328 0 0 25 0 1 0 869294620 76165120 15529 33554432000 134512640 137138936 4293165408 18446744073709551615 135441031 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/1699/statm: 18595 15529 288 642 0 17951 0
[pid=1697/tid=2385] ppid=1359 vsize=340376 CPUtime=0 cores=0,2,4,6
/proc/1697/task/2385/stat : 2385 (python) S 1359 1359 1117 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869433138 348545024 7222 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554946 18446604442454527040 0 0 -1 6 0 0 0
[pid=2386] ppid=1359 vsize=350632 CPUtime=0 cores=0,2,4,6
/proc/2386/stat : 2386 (python) S 1359 1359 1117 0 -1 4202560 830 0 0 0 0 0 0 0 15 0 1 0 869433139 359047168 7177 33554432000 4194304 5683644 140733985097680 18446744073709551615 253640879686 0 0 16781312 33554946 11784218150763987202 0 0 17 6 0 0 0
/proc/2386/statm: 87658 7177 348 364 0 22527 0
[pid=2388] ppid=2386 vsize=8539988 CPUtime=0.99 cores=0,2,4,6
/proc/2388/stat : 2388 (java) S 2386 2388 2388 0 -1 4202496 24775 0 1 0 96 3 0 0 20 0 19 0 869433140 8744947712 23227 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2388/statm: 2134997 23227 2216 9 0 2125738 0
[pid=2388/tid=2390] ppid=2386 vsize=8539988 CPUtime=0.57 cores=0,2,4,6
/proc/2388/task/2390/stat : 2390 (java) R 2386 2388 2388 0 -1 4202560 19679 0 1 0 55 2 0 0 19 0 19 0 869433140 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 46912505749716 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2388/tid=2391] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2391/stat : 2391 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2392] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2392/stat : 2392 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2393] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2393/stat : 2393 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2394] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2394/stat : 2394 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869433141 8744947712 23322 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2395] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2395/stat : 2395 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2396] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2396/stat : 2396 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 0 0 0 0
[pid=2388/tid=2397] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2397/stat : 2397 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 6 0 0 0
[pid=2388/tid=2398] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2398/stat : 2398 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433141 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 6 0 0 0
[pid=2388/tid=2399] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2399/stat : 2399 (java) S 2386 2388 2388 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869433142 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652676096 0 0 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2400] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2400/stat : 2400 (java) S 2386 2388 2388 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869433142 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2401] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2401/stat : 2401 (java) S 2386 2388 2388 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869433142 8744947712 23323 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2402] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2402/stat : 2402 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652683185 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2403] ppid=2386 vsize=8539988 CPUtime=0.09 cores=0,2,4,6
/proc/2388/task/2403/stat : 2403 (java) S 2386 2388 2388 0 -1 4202560 915 0 0 0 9 0 0 0 17 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 4 0 0 0
[pid=2388/tid=2404] ppid=2386 vsize=8539988 CPUtime=0.32 cores=0,2,4,6
/proc/2388/task/2404/stat : 2404 (java) S 2386 2388 2388 0 -1 4202560 2892 0 0 0 32 0 0 0 15 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2405] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2405/stat : 2405 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652675481 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2406] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2406/stat : 2406 (java) S 2386 2388 2388 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869433144 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652676096 0 4 0 16800975 18446604445347276992 0 0 -1 2 0 0 0
[pid=2388/tid=2407] ppid=2386 vsize=8539988 CPUtime=0 cores=0,2,4,6
/proc/2388/task/2407/stat : 2407 (java) S 2386 2388 2388 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869433200 8744947712 23324 33554432000 1073741824 1073778376 140736380429632 18446744073709551615 253652676096 0 4 0 16800975 18446604445347276992 0 0 -1 4 0 0 0
[pid=1359/tid=1378] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1378/stat : 1378 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869261322 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1454] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1454/stat : 1454 (python) S 1357 1359 1117 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 8 0 869266432 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1481] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1481/stat : 1481 (python) S 1357 1359 1117 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 869271217 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1490] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1490/stat : 1490 (python) S 1357 1359 1117 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 8 0 869275912 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1578] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1578/stat : 1578 (python) S 1357 1359 1117 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869285262 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 0 0 0 0
[pid=1359/tid=1698] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/1698/stat : 1698 (python) S 1357 1359 1117 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869294620 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 6 0 0 0
[pid=1359/tid=2387] ppid=1357 vsize=360876 CPUtime=0 cores=0,2,4,6
/proc/1359/task/2387/stat : 2387 (python) S 1357 1359 1117 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 869433139 369537024 8716 33554432000 4194304 5683644 140733985097680 18446744073709551615 253652683185 0 0 16781312 33554434 18446604449387471232 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1729.39
Current children cumulated vsize (KiB) 20043200

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1720
CPU time (s): 1729.39
CPU user time (s): 1710.79
CPU system time (s): 18.6
CPU usage (%): 100.546
Max. virtual memory (cumulated for all children) (KiB): 20043200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01684
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18398
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= 4545
involuntary context switches= 28

runsolver used 15.8136 second user time and 32.1831 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-09 01:43:27
IDJOB=3481867
IDBENCH=2042
IDSOLVER=1970
FILE ID=node106/3481867-1307576607
RUNJOBID= node106-1307576440-1135
PBS_JOBID= 13547699
Free space on /tmp= 73812 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.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-3481867-1307576607/watcher-3481867-1307576607 -o /tmp/evaluation-result-3481867-1307576607/solver-3481867-1307576607 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481867-1307576607.opb -seed 696044499 -budget 1800

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=696044499

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26029560 kB
Buffers:        159776 kB
Cached:         585088 kB
SwapCached:      21548 kB
Active:        6393904 kB
Inactive:       209780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26029560 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:          205692 kB
Writeback:           0 kB
AnonPages:     5856988 kB
Mapped:          47548 kB
Slab:           164988 kB
PageTables:      80168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169133424 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= 73428 MiB
End job on node106 at 2011-06-09 02:12:10