Trace number 3481548

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) 773.39 767.1

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
MD5SUM04b0fb885ddf05bea62d9eda618b3e5b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

Solver Data 

0.34/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.34/0.69	c INFO: solving HOME/instance-3481548-1307578123.opb
0.46/0.80	c INFO: wrote linearized instance to HOME/tmpenaOM5.opb
0.94/1.69	c INFO: parsing took 0.11 s
0.94/1.69	c INFO: features took 0.23 CPU seconds
0.94/1.69	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.22)
52.43/52.42	c INFO: running scip-2.0.1-clp@0 for 45 with 1749 remaining (b = 0.04)
103.18/102.99	c INFO: running wbo1.4a@0 for 45 with 1699 remaining (b = 0.02)
151.76/151.38	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1651 remaining (b = 0.02)
200.93/197.70	c INFO: running scip-2.0.1-spx@49 for 45 with 1603 remaining (b = 0.01)
247.58/244.18	c INFO: running scip-2.0.1-clp@50 for 45 with 1559 remaining (b = 0.01)
292.69/288.94	c INFO: running clasp-1.3.7@0 for 91 with 1515 remaining (b = 0.03)
386.48/382.31	c INFO: running scip-2.0.1-spx@93 for 228 with 1422 remaining (b = 0.05)
631.47/625.90	c INFO: running bsolo_pb10-l3@0 for 45 with 1195 remaining (b = 0.01)
679.96/674.28	c INFO: running scip-2.0.1-clp@94 for 91 with 1147 remaining (b = 0.02)
773.11/766.86	c INFO: running sat4j-pb-v20101225@0 for 91 with 1056 remaining (b = 0.02)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481548-1307578123/watcher-3481548-1307578123 -o /tmp/evaluation-result-3481548-1307578123/solver-3481548-1307578123 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481548-1307578123.opb -seed 1685149055 -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: 1.99 2.04 1.71 2/659 22903
/proc/meminfo: memFree=23758232/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=16248 CPUtime=0 cores=1,3,5,7
/proc/22903/stat : 22903 (python) R 22901 22903 21589 0 -1 4202496 1004 0 0 0 0 0 0 0 20 0 1 0 850228639 16637952 877 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039655168 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22903/statm: 4062 880 372 364 0 549 0

[startup+0.109879 s]
/proc/loadavg: 1.99 2.04 1.71 2/659 22903
/proc/meminfo: memFree=23758232/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=92004 CPUtime=0.06 cores=1,3,5,7
/proc/22903/stat : 22903 (python) R 22901 22903 21589 0 -1 4202496 2721 0 1 0 5 1 0 0 17 0 1 0 850228639 94212096 2432 33554432000 4194304 5683644 140735922366176 18446744073709551615 4516256 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22903/statm: 23001 2436 757 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92004

[startup+0.20087 s]
/proc/loadavg: 1.99 2.04 1.71 2/659 22903
/proc/meminfo: memFree=23758232/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=117904 CPUtime=0.12 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 4919 933 1 0 10 2 0 0 17 0 1 0 850228639 120733696 3345 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/22903/statm: 29476 3345 916 364 0 2446 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 117904

[startup+0.300846 s]
/proc/loadavg: 1.99 2.04 1.71 2/659 22903
/proc/meminfo: memFree=23758232/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/22903/stat : 22903 (python) R 22901 22903 21589 0 -1 4202496 5357 933 1 0 13 4 0 0 16 0 1 0 850228639 126713856 3744 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039651333 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/22903/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744

[startup+0.700782 s]
/proc/loadavg: 1.99 2.04 1.71 2/659 22903
/proc/meminfo: memFree=23758232/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=282404 CPUtime=0.42 cores=1,3,5,7
/proc/22903/stat : 22903 (python) R 22901 22903 21589 0 -1 4202496 9078 933 1 0 32 10 0 0 15 0 1 0 850228639 289181696 6936 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039475605 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22903/statm: 70601 6936 1776 364 0 5494 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282404

[startup+1.50059 s]
/proc/loadavg: 1.99 2.04 1.71 3/660 22909
/proc/meminfo: memFree=23727968/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=297236 CPUtime=0.94 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 12742 1392 1 0 71 13 8 2 18 0 2 0 850228639 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 74309 8179 1871 364 0 9196 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 297236

[startup+3.10031 s]
/proc/loadavg: 1.99 2.04 1.71 3/660 22909
/proc/meminfo: memFree=23727968/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=297236 CPUtime=0.94 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 12742 1392 1 0 71 13 8 2 18 0 2 0 850228639 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 74309 8179 1871 364 0 9196 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 297236
heavy processes:

[startup+6.30078 s]
/proc/loadavg: 2.07 2.05 1.72 3/663 22913
/proc/meminfo: memFree=23648228/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=297236 CPUtime=0.94 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 12742 1392 1 0 71 13 8 2 18 0 2 0 850228639 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 74309 8179 1871 364 0 9196 0
[pid=22910] ppid=22903 vsize=286992 CPUtime=0.02 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 882 0 0 0 1 1 0 0 15 0 1 0 850228758 293879808 6647 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039675407 0 0 16781312 33554946 2312879213616562176 0 0 17 5 0 0 0
/proc/22910/statm: 71748 6647 343 364 0 6635 0
[pid=22912] ppid=22910 vsize=91792 CPUtime=5.1 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) R 22910 22912 22912 0 -1 4202496 21657 0 0 0 485 25 0 0 18 0 1 0 850228758 93995008 20507 33554432000 4194304 13684479 140734940229600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22912/statm: 22948 20507 774 2317 0 20626 0
[pid=22903/tid=22911] ppid=22901 vsize=297236 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22911/stat : 22911 (python) S 22901 22903 21589 0 -1 4202560 27 1392 0 0 0 0 8 2 18 0 2 0 850228758 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 676020

[startup+12.7006 s]
/proc/loadavg: 2.23 2.09 1.73 3/663 22913
/proc/meminfo: memFree=23628772/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=297236 CPUtime=0.94 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 12742 1392 1 0 71 13 8 2 18 0 2 0 850228639 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 74309 8179 1871 364 0 9196 0
[pid=22910] ppid=22903 vsize=286992 CPUtime=0.07 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 889 0 0 0 3 4 0 0 15 0 1 0 850228758 293879808 6647 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039675407 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/22910/statm: 71748 6647 343 364 0 6635 0
[pid=22912] ppid=22910 vsize=107540 CPUtime=11.5 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) R 22910 22912 22912 0 -1 4202496 25651 0 0 0 1112 38 0 0 18 0 1 0 850228758 110120960 24420 33554432000 4194304 13684479 140734940229600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22912/statm: 26885 24420 790 2317 0 24563 0
[pid=22903/tid=22911] ppid=22901 vsize=297236 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22911/stat : 22911 (python) S 22901 22903 21589 0 -1 4202560 27 1392 0 0 0 0 8 2 18 0 2 0 850228758 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 691768

[startup+25.5003 s]
/proc/loadavg: 2.17 2.08 1.74 3/663 22913
/proc/meminfo: memFree=23628432/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=297236 CPUtime=0.94 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 12742 1392 1 0 71 13 8 2 18 0 2 0 850228639 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 74309 8179 1871 364 0 9196 0
[pid=22910] ppid=22903 vsize=286992 CPUtime=0.15 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 898 0 0 0 7 8 0 0 15 0 1 0 850228758 293879808 6647 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039675407 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/22910/statm: 71748 6647 343 364 0 6635 0
[pid=22912] ppid=22910 vsize=108300 CPUtime=24.3 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) R 22910 22912 22912 0 -1 4202496 25787 0 0 0 2372 58 0 0 19 0 1 0 850228758 110899200 24533 33554432000 4194304 13684479 140734940229600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22912/statm: 27075 24533 771 2317 0 24753 0
[pid=22903/tid=22911] ppid=22901 vsize=297236 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22911/stat : 22911 (python) S 22901 22903 21589 0 -1 4202560 27 1392 0 0 0 0 8 2 18 0 2 0 850228758 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 692528

[startup+51.1007 s]
/proc/loadavg: 2.11 2.08 1.74 3/663 22914
/proc/meminfo: memFree=23620764/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=297236 CPUtime=0.94 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 12742 1392 1 0 71 13 8 2 18 0 2 0 850228639 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 74309 8179 1871 364 0 9196 0
[pid=22910] ppid=22903 vsize=286992 CPUtime=0.26 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 917 0 0 0 12 14 0 0 15 0 1 0 850228758 293879808 6648 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039675407 0 0 16781312 33554946 5623753486446373668 0 0 17 7 0 0 0
/proc/22910/statm: 71748 6648 344 364 0 6635 0
[pid=22912] ppid=22910 vsize=107908 CPUtime=49.9 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) R 22910 22912 22912 0 -1 4202496 26393 0 0 0 4866 124 0 0 25 0 1 0 850228758 110497792 24490 33554432000 4194304 13684479 140734940229600 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22912/statm: 26977 24490 789 2317 0 24655 0
[pid=22903/tid=22911] ppid=22901 vsize=297236 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22911/stat : 22911 (python) S 22901 22903 21589 0 -1 4202560 27 1392 0 0 0 0 8 2 18 0 2 0 850228758 304369664 8179 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 692136

[startup+102.301 s]
/proc/loadavg: 2.13 2.09 1.76 3/655 22977
/proc/meminfo: memFree=23448396/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=307492 CPUtime=0.97 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 13617 1392 1 0 74 13 8 2 20 0 3 0 850228639 314871808 8186 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22903/statm: 76873 8186 1874 364 0 11757 0
[pid=22910] ppid=22903 vsize=297236 CPUtime=0.28 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 1118 0 0 0 13 15 0 0 16 0 2 0 850228758 304369664 6716 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22910/statm: 74309 6716 407 364 0 9196 0
[pid=22912] ppid=22910 vsize=107908 CPUtime=51.2 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) T 22910 22912 22912 0 -1 4202496 26395 0 0 0 4989 131 0 0 25 0 1 0 850228758 110497792 24492 33554432000 4194304 13684479 140734940229600 18446744073709551615 7416240 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22912/statm: 26977 24492 791 2317 0 24655 0
[pid=22910/tid=22915] ppid=22903 vsize=297236 CPUtime=0 cores=1,3,5,7
/proc/22910/task/22915/stat : 22915 (python) S 22903 22903 21589 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850233879 304369664 6716 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604470301872320 0 0 -1 7 0 0 0
[pid=22916] ppid=22903 vsize=297248 CPUtime=0.27 cores=1,3,5,7
/proc/22916/stat : 22916 (python) S 22903 22903 21589 0 -1 4202560 1043 0 0 0 14 13 0 0 15 0 1 0 850233881 304381952 6658 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039675462 0 0 16781312 33554946 5623753486446373668 0 0 17 7 0 0 0
/proc/22916/statm: 74312 6658 350 364 0 9196 0
[pid=22918] ppid=22916 vsize=99376 CPUtime=49.87 cores=1,3,5,7
/proc/22918/stat : 22918 (scip-2.0.1.linu) R 22916 22918 22918 0 -1 4202496 24149 0 0 0 4944 43 0 0 25 0 1 0 850233882 101761024 22166 33554432000 4194304 15243407 140733792936880 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22918/statm: 24844 22166 894 2698 0 22139 0
[pid=22903/tid=22911] ppid=22901 vsize=307492 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22911/stat : 22911 (python) S 22901 22903 21589 0 -1 4202560 27 1392 0 0 0 0 8 2 18 0 3 0 850228758 314871808 8186 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
[pid=22903/tid=22917] ppid=22901 vsize=307492 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22917/stat : 22917 (python) S 22901 22903 21589 0 -1 4202560 29 1392 0 0 0 0 8 2 20 0 3 0 850233882 314871808 8186 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.59
Current children cumulated vsize (KiB) 1109260

[startup+162.302 s]
/proc/loadavg: 2.20 2.11 1.79 3/685 23009
/proc/meminfo: memFree=22527444/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=328004 CPUtime=1.02 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 15440 1392 1 0 79 13 8 2 19 0 5 0 850228639 335876096 8198 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 82001 8198 1878 364 0 16879 0
[pid=22910] ppid=22903 vsize=297236 CPUtime=0.28 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 1118 0 0 0 13 15 0 0 16 0 2 0 850228758 304369664 6716 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22910/statm: 74309 6716 407 364 0 9196 0
[pid=22912] ppid=22910 vsize=107908 CPUtime=51.2 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) T 22910 22912 22912 0 -1 4202496 26395 0 0 0 4989 131 0 0 25 0 1 0 850228758 110497792 24492 33554432000 4194304 13684479 140734940229600 18446744073709551615 7416240 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22912/statm: 26977 24492 791 2317 0 24655 0
[pid=22910/tid=22915] ppid=22903 vsize=297236 CPUtime=0 cores=1,3,5,7
/proc/22910/task/22915/stat : 22915 (python) S 22903 22903 21589 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850233879 304369664 6716 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604470301872320 0 0 -1 7 0 0 0
[pid=22916] ppid=22903 vsize=297248 CPUtime=0.29 cores=1,3,5,7
/proc/22916/stat : 22916 (python) S 22903 22903 21589 0 -1 4202560 1199 0 0 0 15 14 0 0 17 0 2 0 850233881 304381952 6706 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22916/statm: 74312 6706 397 364 0 9196 0
[pid=22918] ppid=22916 vsize=99376 CPUtime=50.53 cores=1,3,5,7
/proc/22918/stat : 22918 (scip-2.0.1.linu) T 22916 22918 22918 0 -1 4202496 24151 0 0 0 5010 43 0 0 25 0 1 0 850233882 101761024 22168 33554432000 4194304 15243407 140733792936880 18446744073709551615 8128884 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/22918/statm: 24844 22168 896 2698 0 22139 0
[pid=22916/tid=22978] ppid=22903 vsize=297248 CPUtime=0 cores=1,3,5,7
/proc/22916/task/22978/stat : 22978 (python) S 22903 22903 21589 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850238936 304381952 6706 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604465915994368 0 0 -1 7 0 0 0

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

[pid=22903/tid=23235] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/23235/stat : 23235 (python) S 22901 22903 21589 0 -1 4202560 32 1392 0 0 0 0 8 2 20 0 8 0 850305326 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 773.39
Current children cumulated vsize (KiB) 20300712

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

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

[startup+767.002 s]
/proc/loadavg: 2.17 2.09 1.92 6/783 23253
/proc/meminfo: memFree=17355576/32951124 swapFree=39903648/67111528
[pid=22903] ppid=22901 vsize=358772 CPUtime=1.18 cores=1,3,5,7
/proc/22903/stat : 22903 (python) S 22901 22903 21589 0 -1 4202496 18353 1392 1 0 94 14 8 2 19 0 8 0 850228639 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22903/statm: 89693 8216 1884 364 0 24562 0
[pid=22910] ppid=22903 vsize=297236 CPUtime=1.93 cores=1,3,5,7
/proc/22910/stat : 22910 (python) S 22903 22903 21589 0 -1 4202560 1230 0 0 0 89 104 0 0 15 0 2 0 850228758 304369664 6717 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22910/statm: 74309 6717 408 364 0 9196 0
[pid=22912] ppid=22910 vsize=160096 CPUtime=341.23 cores=1,3,5,7
/proc/22912/stat : 22912 (scip-2.0.1.linu) T 22910 22912 22912 0 -1 4202496 56209 0 0 0 32039 2084 0 0 18 0 1 0 850228758 163938304 37677 33554432000 4194304 13684479 140734940229600 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22912/statm: 40024 37677 813 2317 0 37702 0
[pid=22910/tid=22915] ppid=22903 vsize=297236 CPUtime=0 cores=1,3,5,7
/proc/22910/task/22915/stat : 22915 (python) S 22903 22903 21589 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 850233879 304369664 6717 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604470301872320 0 0 -1 7 0 0 0
[pid=22916] ppid=22903 vsize=297248 CPUtime=1.11 cores=1,3,5,7
/proc/22916/stat : 22916 (python) S 22903 22903 21589 0 -1 4202560 1282 0 0 0 54 57 0 0 15 0 2 0 850233881 304381952 6707 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22916/statm: 74312 6707 398 364 0 9196 0
[pid=22918] ppid=22916 vsize=120568 CPUtime=187.84 cores=1,3,5,7
/proc/22918/stat : 22918 (scip-2.0.1.linu) T 22916 22918 22918 0 -1 4202496 67876 0 0 0 18506 278 0 0 18 0 1 0 850233882 123461632 27370 33554432000 4194304 15243407 140733792936880 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/22918/statm: 30142 27370 922 2698 0 27437 0
[pid=22916/tid=22978] ppid=22903 vsize=297248 CPUtime=0 cores=1,3,5,7
/proc/22916/task/22978/stat : 22978 (python) S 22903 22903 21589 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 850238936 304381952 6707 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604465915994368 0 0 -1 5 0 0 0
[pid=22979] ppid=22903 vsize=307504 CPUtime=0.26 cores=1,3,5,7
/proc/22979/stat : 22979 (python) S 22903 22903 21589 0 -1 4202560 1196 0 0 0 13 13 0 0 16 0 2 0 850238938 314884096 6710 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/22979/statm: 76876 6710 397 364 0 11757 0
[pid=22981] ppid=22979 vsize=247616 CPUtime=48.29 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.4a) T 22979 22981 22981 0 -1 4202496 62191 0 0 0 4775 54 0 0 25 0 1 0 850238938 253558784 61387 33554432000 134512640 135751879 4288386448 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/22981/statm: 61904 61387 146 303 0 61599 0
[pid=22979/tid=22988] ppid=22903 vsize=307504 CPUtime=0 cores=1,3,5,7
/proc/22979/task/22988/stat : 22988 (python) S 22903 22903 21589 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850243774 314884096 6710 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604463057916992 0 0 -1 5 0 0 0
[pid=22989] ppid=22903 vsize=317760 CPUtime=0.23 cores=1,3,5,7
/proc/22989/stat : 22989 (python) S 22903 22903 21589 0 -1 4202560 1141 0 0 0 10 13 0 0 17 0 2 0 850243777 325386240 6708 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22989/statm: 79440 6708 391 364 0 14318 0
[pid=22991] ppid=22989 vsize=8549876 CPUtime=48.8 cores=1,3,5,7
/proc/22991/stat : 22991 (java) T 22989 22991 22991 0 -1 4202496 570472 0 1 0 4820 60 0 0 18 0 19 0 850243777 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22991/statm: 2137469 553720 2253 9 0 2128210 0
[pid=22991/tid=22992] ppid=22989 vsize=8549876 CPUtime=45.91 cores=1,3,5,7
/proc/22991/task/22992/stat : 22992 (java) T 22989 22991 22991 0 -1 4202560 473497 0 1 0 4543 48 0 0 25 0 19 0 850243778 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 46912505551395 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=22993] ppid=22989 vsize=8549876 CPUtime=0.15 cores=1,3,5,7
/proc/22991/task/22993/stat : 22993 (java) T 22989 22991 22991 0 -1 4202560 12234 0 0 0 14 1 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=8549876 CPUtime=0.15 cores=1,3,5,7
/proc/22991/task/22994/stat : 22994 (java) T 22989 22991 22991 0 -1 4202560 12606 0 0 0 14 1 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22991/tid=22995] ppid=22989 vsize=8549876 CPUtime=0.09 cores=1,3,5,7
/proc/22991/task/22995/stat : 22995 (java) T 22989 22991 22991 0 -1 4202560 7841 0 0 0 8 1 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22991/tid=22996] ppid=22989 vsize=8549876 CPUtime=0.14 cores=1,3,5,7
/proc/22991/task/22996/stat : 22996 (java) T 22989 22991 22991 0 -1 4202560 13486 0 0 0 13 1 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22991/tid=22997] ppid=22989 vsize=8549876 CPUtime=0.09 cores=1,3,5,7
/proc/22991/task/22997/stat : 22997 (java) T 22989 22991 22991 0 -1 4202560 7276 0 0 0 9 0 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=22998] ppid=22989 vsize=8549876 CPUtime=0.19 cores=1,3,5,7
/proc/22991/task/22998/stat : 22998 (java) T 22989 22991 22991 0 -1 4202560 17481 0 0 0 18 1 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22991/tid=22999] ppid=22989 vsize=8549876 CPUtime=0.03 cores=1,3,5,7
/proc/22991/task/22999/stat : 22999 (java) T 22989 22991 22991 0 -1 4202560 2563 0 0 0 3 0 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22991/tid=23000] ppid=22989 vsize=8549876 CPUtime=0.1 cores=1,3,5,7
/proc/22991/task/23000/stat : 23000 (java) T 22989 22991 22991 0 -1 4202560 10186 0 0 0 10 0 0 0 15 0 19 0 850243779 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22991/tid=23001] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23001/stat : 23001 (java) T 22989 22991 22991 0 -1 4202560 992 0 0 0 0 0 0 0 15 0 19 0 850243780 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471872 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=23002] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23002/stat : 23002 (java) T 22989 22991 22991 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 850243781 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=23003] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23003/stat : 23003 (java) T 22989 22991 22991 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850243781 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=23004] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23004/stat : 23004 (java) T 22989 22991 22991 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850243783 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051478961 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=23005] ppid=22989 vsize=8549876 CPUtime=0.89 cores=1,3,5,7
/proc/22991/task/23005/stat : 23005 (java) T 22989 22991 22991 0 -1 4202560 6703 0 0 0 89 0 0 0 15 0 19 0 850243783 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22991/tid=23006] ppid=22989 vsize=8549876 CPUtime=0.93 cores=1,3,5,7
/proc/22991/task/23006/stat : 23006 (java) T 22989 22991 22991 0 -1 4202560 4212 0 0 0 93 0 0 0 15 0 19 0 850243783 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22991/tid=23007] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23007/stat : 23007 (java) T 22989 22991 22991 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850243783 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22991/tid=23008] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23008/stat : 23008 (java) T 22989 22991 22991 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850243783 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22991/tid=23009] ppid=22989 vsize=8549876 CPUtime=0 cores=1,3,5,7
/proc/22991/task/23009/stat : 23009 (java) T 22989 22991 22991 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850243836 8755073024 553720 33554432000 1073741824 1073778376 140734562384096 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22989/tid=23033] ppid=22903 vsize=317760 CPUtime=0 cores=1,3,5,7
/proc/22989/task/23033/stat : 23033 (python) S 22903 22903 21589 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 850248407 325386240 6708 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604471135148864 0 0 -1 7 0 0 0
[pid=23096] ppid=22903 vsize=328016 CPUtime=0.43 cores=1,3,5,7
/proc/23096/stat : 23096 (python) S 22903 22903 21589 0 -1 4202560 1187 0 0 0 18 25 0 0 16 0 2 0 850257533 335888384 6712 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23096/statm: 82004 6712 391 364 0 16879 0
[pid=23098] ppid=23096 vsize=8304 CPUtime=93.33 cores=1,3,5,7
/proc/23098/stat : 23098 (clasp-1.3.7-x86) T 23096 23098 23098 0 -1 4202496 2233 0 0 0 9333 0 0 0 25 0 1 0 850257533 8503296 1831 33554432000 134512640 136139019 4292589456 18446744073709551615 134626739 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/23098/statm: 2076 1831 187 398 0 1676 0
[pid=23096/tid=23128] ppid=22903 vsize=328016 CPUtime=0 cores=1,3,5,7
/proc/23096/task/23128/stat : 23128 (python) S 22903 22903 21589 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850266868 335888384 6712 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604457912492352 0 0 -1 7 0 0 0
[pid=23226] ppid=22903 vsize=338272 CPUtime=0.24 cores=1,3,5,7
/proc/23226/stat : 23226 (python) S 22903 22903 21589 0 -1 4202560 1167 0 0 0 10 14 0 0 16 0 2 0 850291230 346390528 6716 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23226/statm: 84568 6716 391 364 0 19440 0
[pid=23228] ppid=23226 vsize=88568 CPUtime=48.34 cores=1,3,5,7
/proc/23228/stat : 23228 (bsolo_pb10) T 23226 23228 23228 0 -1 4202496 20122 0 0 0 4829 5 0 0 25 0 1 0 850291230 90693632 19692 33554432000 134512640 137138936 4294666192 18446744073709551615 134542799 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/23228/statm: 22142 19692 192 642 0 21498 0
[pid=23226/tid=23230] ppid=22903 vsize=338272 CPUtime=0 cores=1,3,5,7
/proc/23226/task/23230/stat : 23230 (python) S 22903 22903 21589 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850296065 346390528 6716 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554946 18446604457912493248 0 0 -1 7 0 0 0
[pid=23234] ppid=22903 vsize=348528 CPUtime=0 cores=1,3,5,7
/proc/23234/stat : 23234 (python) S 22903 22903 21589 0 -1 4202560 824 0 0 0 0 0 0 0 18 0 1 0 850305325 356892672 6648 33554432000 4194304 5683644 140735922366176 18446744073709551615 212039675462 0 0 16781312 33554946 1148485383210663936 0 0 17 3 0 0 0
/proc/23234/statm: 87132 6648 320 364 0 22001 0
[pid=23236] ppid=23234 vsize=8532348 CPUtime=0.18 cores=1,3,5,7
/proc/23236/stat : 23236 (java) S 23234 23236 23236 0 -1 4202496 5976 0 1 0 17 1 0 0 17 0 18 0 850305326 8737124352 5392 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23236/statm: 2133087 5392 2155 9 0 2123828 0
[pid=23236/tid=23237] ppid=23234 vsize=8532348 CPUtime=0.14 cores=1,3,5,7
/proc/23236/task/23237/stat : 23237 (java) R 23234 23236 23236 0 -1 4202560 3699 0 1 0 14 0 0 0 25 0 18 0 850305327 8737124352 5413 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23236/tid=23238] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 7 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23240] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5414 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850305327 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23246] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23236 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 850305328 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471872 0 0 0 16800975 18446604465999371264 0 0 -1 7 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23236 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 850305329 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23248] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23248/stat : 23248 (java) S 23234 23236 23236 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 850305329 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 7 0 0 0
[pid=23236/tid=23249] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23249/stat : 23249 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850305331 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051478961 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23250] ppid=23234 vsize=8532348 CPUtime=0.01 cores=1,3,5,7
/proc/23236/task/23250/stat : 23250 (java) S 23234 23236 23236 0 -1 4202560 328 0 0 0 1 0 0 0 17 0 18 0 850305331 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23251] ppid=23234 vsize=8532348 CPUtime=0.01 cores=1,3,5,7
/proc/23236/task/23251/stat : 23251 (java) R 23234 23236 23236 0 -1 4202560 572 0 0 0 1 0 0 0 25 0 18 0 850305331 8737124352 5415 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212039351732 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23236/tid=23252] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23252/stat : 23252 (java) S 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850305331 8737124352 5416 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051471257 0 4 0 16800975 18446604465999371264 0 0 -1 5 0 0 0
[pid=23236/tid=23253] ppid=23234 vsize=8532348 CPUtime=0 cores=1,3,5,7
/proc/23236/task/23253/stat : 23253 (java) R 23234 23236 23236 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850305331 8737124352 5416 33554432000 1073741824 1073778376 140735598292176 18446744073709551615 212051472076 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22911/stat : 22911 (python) S 22901 22903 21589 0 -1 4202560 39 1392 0 0 0 0 8 2 18 0 8 0 850228758 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
[pid=22903/tid=22917] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22917/stat : 22917 (python) S 22901 22903 21589 0 -1 4202560 39 1392 0 0 0 0 8 2 18 0 8 0 850233882 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
[pid=22903/tid=22980] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22980/stat : 22980 (python) S 22901 22903 21589 0 -1 4202560 29 1392 0 0 0 0 8 2 20 0 8 0 850238938 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 7 0 0 0
[pid=22903/tid=22990] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/22990/stat : 22990 (python) S 22901 22903 21589 0 -1 4202560 30 1392 0 0 0 0 8 2 20 0 8 0 850243777 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
[pid=22903/tid=23097] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/23097/stat : 23097 (python) S 22901 22903 21589 0 -1 4202560 28 1392 0 0 0 0 8 2 20 0 8 0 850257533 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 7 0 0 0
[pid=22903/tid=23227] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/23227/stat : 23227 (python) S 22901 22903 21589 0 -1 4202560 29 1392 0 0 0 0 8 2 20 0 8 0 850291230 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
[pid=22903/tid=23235] ppid=22901 vsize=358772 CPUtime=0.1 cores=1,3,5,7
/proc/22903/task/23235/stat : 23235 (python) S 22901 22903 21589 0 -1 4202560 32 1392 0 0 0 0 8 2 20 0 8 0 850305326 367382528 8216 33554432000 4194304 5683644 140735922366176 18446744073709551615 212051478961 0 0 16781312 33554434 18446604465997233024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 773.39
Current children cumulated vsize (KiB) 20300712

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 767.1
CPU time (s): 773.39
CPU user time (s): 746.15
CPU system time (s): 27.24
CPU usage (%): 100.82
Max. virtual memory (cumulated for all children) (KiB): 20300712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.02984
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19750
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= 6702
involuntary context switches= 34

runsolver used 6.19606 second user time and 14.6198 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-09 02:08:43
IDJOB=3481548
IDBENCH=48215
IDSOLVER=1970
FILE ID=node146/3481548-1307578123
RUNJOBID= node146-1307576353-21611
PBS_JOBID= 13547653
Free space on /tmp= 73696 MiB

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

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

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=1685149055

node146.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	: 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.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.86
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23758388 kB
Buffers:        168604 kB
Cached:         702540 kB
SwapCached:      15612 kB
Active:        8591112 kB
Inactive:       267684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23758388 kB
SwapTotal:    67111528 kB
SwapFree:     39903648 kB
Dirty:          102016 kB
Writeback:           0 kB
AnonPages:     7984696 kB
Mapped:          54928 kB
Slab:           145072 kB
PageTables:     118392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 170868368 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= 73472 MiB
End job on node146 at 2011-06-09 02:21:33