Trace number 3481557

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) 385.16 380.597

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_1.opb
MD5SUMfdd11e948ae8a5c2828dd3ba6f1a1add
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-82
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31432
Sum of products size (including duplicates)62864
Number of different products15716
Sum of products size31432

Solver Data 

0.29/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.29/0.68	c INFO: solving HOME/instance-3481557-1307578168.opb
0.50/0.90	c INFO: wrote linearized instance to HOME/tmpwr4_3H.opb
0.92/1.14	c INFO: parsing took 0.23 s
1.31/1.59	c INFO: features took 0.45 CPU seconds
1.99/2.29	c INFO: running scip-2.0.1-spx@0 for 45 with 1798 remaining (b = 0.21)
49.38/49.51	c INFO: running scip-2.0.1-clp@0 for 45 with 1751 remaining (b = 0.04)
97.50/97.39	c INFO: running wbo1.4a@0 for 45 with 1703 remaining (b = 0.02)
147.34/146.99	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1654 remaining (b = 0.01)
197.49/194.91	c INFO: running scip-2.0.1-spx@47 for 45 with 1605 remaining (b = 0.01)
243.76/240.94	c INFO: running clasp-1.3.7@0 for 91 with 1559 remaining (b = 0.02)
336.57/333.35	c INFO: running scip-2.0.1-clp@47 for 45 with 1467 remaining (b = 0.01)
383.08/379.62	c INFO: running sat4j-pb-v20101225@0 for 45 with 1421 remaining (b = 0.01)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481557-1307578168/watcher-3481557-1307578168 -o /tmp/evaluation-result-3481557-1307578168/solver-3481557-1307578168 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481557-1307578168.opb -seed 1473636573 -budget 1800 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.06 1.74 3/745 2341
/proc/meminfo: memFree=19433780/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 723 0 0 0 0 0 0 0 21 0 1 0 869417312 15548416 614 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/2341/statm: 3796 614 321 364 0 283 0

[startup+0.036504 s]
/proc/loadavg: 2.00 2.06 1.74 3/745 2341
/proc/meminfo: memFree=19433780/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=18884 CPUtime=0.01 cores=1,3,5,7
/proc/2341/stat : 2341 (python) R 2339 2341 1117 0 -1 4202496 1234 0 0 0 1 0 0 0 17 0 1 0 869417312 19337216 1091 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640857600 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/2341/statm: 4721 1091 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884

[startup+0.100482 s]
/proc/loadavg: 2.00 2.06 1.74 3/745 2341
/proc/meminfo: memFree=19433780/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/2341/stat : 2341 (python) R 2339 2341 1117 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 869417312 87674880 2382 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640855397 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2341/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620

[startup+0.300451 s]
/proc/loadavg: 2.00 2.06 1.74 3/745 2341
/proc/meminfo: memFree=19433780/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=123740 CPUtime=0.13 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 5356 931 1 0 10 3 0 0 16 0 1 0 869417312 126709760 3744 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640855557 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/2341/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123740

[startup+0.700335 s]
/proc/loadavg: 2.00 2.06 1.74 3/745 2341
/proc/meminfo: memFree=19433780/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=282404 CPUtime=0.36 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 9204 931 1 0 27 9 0 0 15 0 1 0 869417312 289181696 6937 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879631 0 0 16781312 2 4294934792 0 0 17 5 0 0 0
/proc/2341/statm: 70601 6937 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282404

[startup+1.50022 s]
/proc/loadavg: 2.00 2.06 1.74 3/746 2347
/proc/meminfo: memFree=19403788/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=291592 CPUtime=1.31 cores=1,3,5,7
/proc/2341/stat : 2341 (python) R 2339 2341 1117 0 -1 4202496 14467 1432 1 0 95 16 17 3 16 0 1 0 869417312 298590208 9243 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640517853 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/2341/statm: 72898 9243 1817 364 0 7791 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 291592

[startup+3.10095 s]
/proc/loadavg: 2.00 2.06 1.74 3/749 2350
/proc/meminfo: memFree=19330348/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=302508 CPUtime=1.42 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 15296 1432 1 0 106 16 17 3 17 0 2 0 869417312 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2341/statm: 75627 9467 1871 364 0 10514 0
[pid=2348] ppid=2341 vsize=292264 CPUtime=0 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 707 0 0 0 0 0 0 0 15 0 1 0 869417475 299278336 7910 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879631 0 0 16781312 33554946 4353525056207290630 0 0 17 5 0 0 0
/proc/2348/statm: 73066 7910 318 364 0 7953 0
[pid=2350] ppid=2348 vsize=160964 CPUtime=1.44 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) R 2348 2350 2350 0 -1 4202496 38673 0 0 0 125 19 0 0 23 0 1 0 869417475 164827136 36649 33554432000 4194304 13684479 140733324688432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2350/statm: 40241 36649 748 2317 0 37919 0
[pid=2341/tid=2349] ppid=2339 vsize=302508 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 27 1432 0 0 0 0 17 3 18 0 2 0 869417475 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 755736

[startup+6.30036 s]
/proc/loadavg: 2.16 2.09 1.75 3/749 2350
/proc/meminfo: memFree=19249852/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=302508 CPUtime=1.42 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 15296 1432 1 0 106 16 17 3 17 0 2 0 869417312 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2341/statm: 75627 9467 1871 364 0 10514 0
[pid=2348] ppid=2341 vsize=292264 CPUtime=0.01 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 856 0 0 0 0 1 0 0 15 0 1 0 869417475 299278336 7933 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879631 0 0 16781312 33554946 10258821070609940742 0 0 17 5 0 0 0
/proc/2348/statm: 73066 7933 341 364 0 7953 0
[pid=2350] ppid=2348 vsize=168624 CPUtime=4.65 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) R 2348 2350 2350 0 -1 4202496 40174 0 0 0 444 21 0 0 25 0 1 0 869417475 172670976 38053 33554432000 4194304 13684479 140733324688432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2350/statm: 42156 38053 729 2317 0 39834 0
[pid=2341/tid=2349] ppid=2339 vsize=302508 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 27 1432 0 0 0 0 17 3 18 0 2 0 869417475 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 763396

[startup+12.7012 s]
/proc/loadavg: 2.23 2.11 1.76 3/749 2350
/proc/meminfo: memFree=19247772/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=302508 CPUtime=1.42 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 15296 1432 1 0 106 16 17 3 17 0 2 0 869417312 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2341/statm: 75627 9467 1871 364 0 10514 0
[pid=2348] ppid=2341 vsize=292264 CPUtime=0.04 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 860 0 0 0 2 2 0 0 15 0 1 0 869417475 299278336 7934 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879631 0 0 16781312 33554946 5623606151888251776 0 0 17 5 0 0 0
/proc/2348/statm: 73066 7934 342 364 0 7953 0
[pid=2350] ppid=2348 vsize=168624 CPUtime=11.04 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) R 2348 2350 2350 0 -1 4202496 40256 0 0 0 1082 22 0 0 25 0 1 0 869417475 172670976 38135 33554432000 4194304 13684479 140733324688432 18446744073709551615 7390473 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2350/statm: 42156 38135 729 2317 0 39834 0
[pid=2341/tid=2349] ppid=2339 vsize=302508 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 27 1432 0 0 0 0 17 3 18 0 2 0 869417475 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 763396

[startup+25.5009 s]
/proc/loadavg: 2.46 2.16 1.78 3/749 2351
/proc/meminfo: memFree=19245372/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=302508 CPUtime=1.42 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 15296 1432 1 0 106 16 17 3 17 0 2 0 869417312 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2341/statm: 75627 9467 1871 364 0 10514 0
[pid=2348] ppid=2341 vsize=292264 CPUtime=0.11 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 871 0 0 0 5 6 0 0 15 0 1 0 869417475 299278336 7934 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373760 0 0 17 7 0 0 0
/proc/2348/statm: 73066 7934 342 364 0 7953 0
[pid=2350] ppid=2348 vsize=171344 CPUtime=23.84 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) R 2348 2350 2350 0 -1 4202496 44343 0 0 0 2360 24 0 0 25 0 1 0 869417475 175456256 39204 33554432000 4194304 13684479 140733324688432 18446744073709551615 7391520 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2350/statm: 42836 39204 733 2317 0 40514 0
[pid=2341/tid=2349] ppid=2339 vsize=302508 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 27 1432 0 0 0 0 17 3 18 0 2 0 869417475 309768192 9467 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 766116

[startup+51.1012 s]
/proc/loadavg: 2.30 2.15 1.79 3/753 2355
/proc/meminfo: memFree=19109664/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=312764 CPUtime=1.45 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 16198 1432 1 0 109 16 17 3 20 0 3 0 869417312 320270336 9474 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2341/statm: 78191 9474 1874 364 0 13075 0
[pid=2348] ppid=2341 vsize=302508 CPUtime=0.23 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 1078 0 0 0 10 13 0 0 16 0 2 0 869417475 309768192 8002 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2348/statm: 75627 8002 405 364 0 10514 0
[pid=2350] ppid=2348 vsize=175796 CPUtime=47.84 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) T 2348 2350 2350 0 -1 4202496 52745 0 0 0 4756 28 0 0 25 0 1 0 869417475 180015104 40267 33554432000 4194304 13684479 140733324688432 18446744073709551615 7390866 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2350/statm: 43949 40267 733 2317 0 41627 0
[pid=2348/tid=2352] ppid=2341 vsize=302508 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2352/stat : 2352 (python) S 2341 2341 1117 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869422262 309768192 8002 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604464684171712 0 0 -1 7 0 0 0
[pid=2353] ppid=2341 vsize=302520 CPUtime=0 cores=1,3,5,7
/proc/2353/stat : 2353 (python) S 2341 2341 1117 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 869422264 309780480 7915 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879686 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/2353/statm: 75630 7915 319 364 0 10514 0
[pid=2355] ppid=2353 vsize=156736 CPUtime=1.57 cores=1,3,5,7
/proc/2355/stat : 2355 (scip-2.0.1.linu) R 2353 2355 2355 0 -1 4202496 36879 0 0 0 137 20 0 0 25 0 1 0 869422264 160497664 32673 33554432000 4194304 15243407 140733793889584 18446744073709551615 8298679 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2355/statm: 39184 32673 822 2698 0 36479 0
[pid=2341/tid=2349] ppid=2339 vsize=312764 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 27 1432 0 0 0 0 17 3 18 0 3 0 869417475 320270336 9474 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2354] ppid=2339 vsize=312764 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2354/stat : 2354 (python) S 2339 2341 1117 0 -1 4202560 29 1432 0 0 0 0 17 3 20 0 3 0 869422264 320270336 9474 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1250324

[startup+102.323 s]
/proc/loadavg: 2.18 2.14 1.80 3/757 2361
/proc/meminfo: memFree=19076580/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=323020 CPUtime=1.47 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 17127 1432 1 0 111 16 17 3 19 0 4 0 869417312 330772480 9480 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2341/statm: 80755 9480 1876 364 0 15636 0
[pid=2348] ppid=2341 vsize=302508 CPUtime=0.23 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 1078 0 0 0 10 13 0 0 16 0 2 0 869417475 309768192 8002 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2348/statm: 75627 8002 405 364 0 10514 0
[pid=2350] ppid=2348 vsize=175796 CPUtime=47.84 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) T 2348 2350 2350 0 -1 4202496 52745 0 0 0 4756 28 0 0 25 0 1 0 869417475 180015104 40267 33554432000 4194304 13684479 140733324688432 18446744073709551615 7390866 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2350/statm: 43949 40267 733 2317 0 41627 0
[pid=2348/tid=2352] ppid=2341 vsize=302508 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2352/stat : 2352 (python) S 2341 2341 1117 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869422262 309768192 8002 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604464684171712 0 0 -1 7 0 0 0
[pid=2353] ppid=2341 vsize=302520 CPUtime=0.24 cores=1,3,5,7
/proc/2353/stat : 2353 (python) S 2341 2341 1117 0 -1 4202560 1178 0 0 0 12 12 0 0 17 0 2 0 869422264 309780480 7993 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2353/statm: 75630 7993 396 364 0 10514 0
[pid=2355] ppid=2353 vsize=166224 CPUtime=47.84 cores=1,3,5,7
/proc/2355/stat : 2355 (scip-2.0.1.linu) T 2353 2355 2355 0 -1 4202496 149500 0 0 0 4746 38 0 0 25 0 1 0 869422264 170213376 34025 33554432000 4194304 15243407 140733793889584 18446744073709551615 6958453 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2355/statm: 41556 34025 838 2698 0 38851 0
[pid=2353/tid=2358] ppid=2341 vsize=302520 CPUtime=0 cores=1,3,5,7
/proc/2353/task/2358/stat : 2358 (python) S 2341 2341 1117 0 -1 4202560 108 0 0 0 0 0 0 0 17 0 2 0 869427049 309780480 7993 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604470766748800 0 0 -1 7 0 0 0
[pid=2359] ppid=2341 vsize=312776 CPUtime=0.02 cores=1,3,5,7
/proc/2359/stat : 2359 (python) S 2341 2341 1117 0 -1 4202560 1013 0 0 0 1 1 0 0 15 0 1 0 869427052 320282624 7949 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879686 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/2359/statm: 78194 7949 349 364 0 13075 0
[pid=2361] ppid=2359 vsize=22732 CPUtime=4.92 cores=1,3,5,7
/proc/2361/stat : 2361 (wbo1.4a) R 2359 2361 2361 0 -1 4202496 6333 0 0 0 488 4 0 0 25 0 1 0 869427052 23277568 5166 33554432000 134512640 135751879 4293176512 18446744073709551615 135206572 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/2361/statm: 5683 5166 146 303 0 5378 0
[pid=2341/tid=2349] ppid=2339 vsize=323020 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 27 1432 0 0 0 0 17 3 18 0 4 0 869417475 330772480 9480 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2354] ppid=2339 vsize=323020 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2354/stat : 2354 (python) S 2339 2341 1117 0 -1 4202560 29 1432 0 0 0 0 17 3 20 0 4 0 869422264 330772480 9480 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0

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

[pid=2341/tid=2354] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2354/stat : 2354 (python) S 2339 2341 1117 0 -1 4202560 34 1432 0 0 0 0 17 3 18 0 7 0 869422264 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
[pid=2341/tid=2360] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2360/stat : 2360 (python) S 2339 2341 1117 0 -1 4202560 31 1432 0 0 0 0 17 3 20 0 7 0 869427052 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
[pid=2341/tid=2365] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2365/stat : 2365 (python) S 2339 2341 1117 0 -1 4202560 30 1432 0 0 0 0 17 3 20 0 7 0 869432012 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2454] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2454/stat : 2454 (python) S 2339 2341 1117 0 -1 4202560 29 1432 0 0 0 0 17 3 20 0 7 0 869441407 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2548] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2548/stat : 2548 (python) S 2339 2341 1117 0 -1 4202560 29 1432 0 0 0 0 17 3 20 0 7 0 869455275 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 385.16
Current children cumulated vsize (KiB) 19908788

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

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

[startup+380.501 s]
/proc/loadavg: 2.01 2.07 1.85 5/816 2568
/proc/meminfo: memFree=16893712/32951124 swapFree=53733252/67111528
[pid=2341] ppid=2339 vsize=353788 CPUtime=1.6 cores=1,3,5,7
/proc/2341/stat : 2341 (python) S 2339 2341 1117 0 -1 4202496 20001 1432 1 0 123 17 17 3 20 0 7 0 869417312 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2341/statm: 88447 9498 1882 364 0 23319 0
[pid=2348] ppid=2341 vsize=302508 CPUtime=0.47 cores=1,3,5,7
/proc/2348/stat : 2348 (python) S 2341 2341 1117 0 -1 4202560 1103 0 0 0 21 26 0 0 15 0 2 0 869417475 309768192 8003 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2348/statm: 75627 8003 406 364 0 10514 0
[pid=2350] ppid=2348 vsize=262352 CPUtime=93.84 cores=1,3,5,7
/proc/2350/stat : 2350 (scip-2.0.1.linu) T 2348 2350 2350 0 -1 4202496 80865 0 0 0 9322 62 0 0 25 0 1 0 869417475 268648448 63073 33554432000 4194304 13684479 140733324688432 18446744073709551615 7154420 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2350/statm: 65588 63073 823 2317 0 63266 0
[pid=2348/tid=2352] ppid=2341 vsize=302508 CPUtime=0 cores=1,3,5,7
/proc/2348/task/2352/stat : 2352 (python) S 2341 2341 1117 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869422262 309768192 8003 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604464684171712 0 0 -1 7 0 0 0
[pid=2353] ppid=2341 vsize=302520 CPUtime=0.49 cores=1,3,5,7
/proc/2353/stat : 2353 (python) S 2341 2341 1117 0 -1 4202560 1214 0 0 0 23 26 0 0 15 0 2 0 869422264 309780480 7993 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2353/statm: 75630 7993 396 364 0 10514 0
[pid=2355] ppid=2353 vsize=166128 CPUtime=94.08 cores=1,3,5,7
/proc/2355/stat : 2355 (scip-2.0.1.linu) T 2353 2355 2355 0 -1 4202496 253931 0 0 0 9349 59 0 0 25 0 1 0 869422264 170115072 33046 33554432000 4194304 15243407 140733793889584 18446744073709551615 8298663 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2355/statm: 41532 33046 838 2698 0 38827 0
[pid=2353/tid=2358] ppid=2341 vsize=302520 CPUtime=0 cores=1,3,5,7
/proc/2353/task/2358/stat : 2358 (python) S 2341 2341 1117 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 2 0 869427049 309780480 7993 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604470766748800 0 0 -1 7 0 0 0
[pid=2359] ppid=2341 vsize=312776 CPUtime=0.26 cores=1,3,5,7
/proc/2359/stat : 2359 (python) S 2341 2341 1117 0 -1 4202560 1196 0 0 0 12 14 0 0 16 0 2 0 869427052 320282624 7997 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2359/statm: 78194 7997 396 364 0 13075 0
[pid=2361] ppid=2359 vsize=91528 CPUtime=49.56 cores=1,3,5,7
/proc/2361/stat : 2361 (wbo1.4a) T 2359 2361 2361 0 -1 4202496 23521 0 0 0 4926 30 0 0 25 0 1 0 869427052 93724672 22354 33554432000 134512640 135751879 4293176512 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/2361/statm: 22882 22354 146 303 0 22577 0
[pid=2359/tid=2363] ppid=2341 vsize=312776 CPUtime=0 cores=1,3,5,7
/proc/2359/task/2363/stat : 2363 (python) S 2341 2341 1117 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869432010 320282624 7997 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455578477824 0 0 -1 7 0 0 0
[pid=2364] ppid=2341 vsize=323032 CPUtime=0.23 cores=1,3,5,7
/proc/2364/stat : 2364 (python) S 2341 2341 1117 0 -1 4202560 1149 0 0 0 11 12 0 0 16 0 2 0 869432012 330784768 7995 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2364/statm: 80758 7995 390 364 0 15636 0
[pid=2366] ppid=2364 vsize=8542464 CPUtime=49.78 cores=1,3,5,7
/proc/2366/stat : 2366 (java) T 2364 2366 2366 0 -1 4202496 285928 0 1 0 4941 37 0 0 15 0 19 0 869432012 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/2366/statm: 2135616 282274 2248 9 0 2126357 0
[pid=2366/tid=2367] ppid=2364 vsize=8542464 CPUtime=47.64 cores=1,3,5,7
/proc/2366/task/2367/stat : 2367 (java) T 2364 2366 2366 0 -1 4202560 239121 0 1 0 4735 29 0 0 25 0 19 0 869432013 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 46912505987270 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2366/tid=2368] ppid=2364 vsize=8542464 CPUtime=0.03 cores=1,3,5,7
/proc/2366/task/2368/stat : 2368 (java) T 2364 2366 2366 0 -1 4202560 2857 0 0 0 3 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2366/tid=2369] ppid=2364 vsize=8542464 CPUtime=0.06 cores=1,3,5,7
/proc/2366/task/2369/stat : 2369 (java) T 2364 2366 2366 0 -1 4202560 6749 0 0 0 6 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2366/tid=2370] ppid=2364 vsize=8542464 CPUtime=0.03 cores=1,3,5,7
/proc/2366/task/2370/stat : 2370 (java) T 2364 2366 2366 0 -1 4202560 2877 0 0 0 3 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2366/tid=2371] ppid=2364 vsize=8542464 CPUtime=0.06 cores=1,3,5,7
/proc/2366/task/2371/stat : 2371 (java) T 2364 2366 2366 0 -1 4202560 5848 0 0 0 6 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2366/tid=2372] ppid=2364 vsize=8542464 CPUtime=0.02 cores=1,3,5,7
/proc/2366/task/2372/stat : 2372 (java) T 2364 2366 2366 0 -1 4202560 2661 0 0 0 2 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2366/tid=2373] ppid=2364 vsize=8542464 CPUtime=0.09 cores=1,3,5,7
/proc/2366/task/2373/stat : 2373 (java) T 2364 2366 2366 0 -1 4202560 7946 0 0 0 8 1 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2366/tid=2374] ppid=2364 vsize=8542464 CPUtime=0.02 cores=1,3,5,7
/proc/2366/task/2374/stat : 2374 (java) T 2364 2366 2366 0 -1 4202560 2618 0 0 0 2 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2366/tid=2375] ppid=2364 vsize=8542464 CPUtime=0.03 cores=1,3,5,7
/proc/2366/task/2375/stat : 2375 (java) T 2364 2366 2366 0 -1 4202560 3110 0 0 0 3 0 0 0 15 0 19 0 869432014 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2366/tid=2376] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2376/stat : 2376 (java) T 2364 2366 2366 0 -1 4202560 953 0 0 0 0 0 0 0 15 0 19 0 869432015 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2366/tid=2377] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2377/stat : 2377 (java) T 2364 2366 2366 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869432015 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2366/tid=2378] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2378/stat : 2378 (java) T 2364 2366 2366 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869432015 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2366/tid=2379] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2379/stat : 2379 (java) T 2364 2366 2366 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869432018 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2366/tid=2380] ppid=2364 vsize=8542464 CPUtime=0.85 cores=1,3,5,7
/proc/2366/task/2380/stat : 2380 (java) T 2364 2366 2366 0 -1 4202560 5253 0 0 0 84 1 0 0 15 0 19 0 869432018 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2366/tid=2381] ppid=2364 vsize=8542464 CPUtime=0.83 cores=1,3,5,7
/proc/2366/task/2381/stat : 2381 (java) T 2364 2366 2366 0 -1 4202560 4538 0 0 0 82 1 0 0 15 0 19 0 869432018 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2366/tid=2382] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2382/stat : 2382 (java) T 2364 2366 2366 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869432018 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2366/tid=2383] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2383/stat : 2383 (java) T 2364 2366 2366 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869432018 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2366/tid=2384] ppid=2364 vsize=8542464 CPUtime=0 cores=1,3,5,7
/proc/2366/task/2384/stat : 2384 (java) T 2364 2366 2366 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869432087 8747483136 282274 33554432000 1073741824 1073778376 140735287546768 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2364/tid=2447] ppid=2341 vsize=323032 CPUtime=0 cores=1,3,5,7
/proc/2364/task/2447/stat : 2447 (python) S 2341 2341 1117 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869436801 330784768 7995 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455114946432 0 0 -1 7 0 0 0
[pid=2453] ppid=2341 vsize=333288 CPUtime=0.45 cores=1,3,5,7
/proc/2453/stat : 2453 (python) S 2341 2341 1117 0 -1 4202560 1196 0 0 0 19 26 0 0 16 0 2 0 869441407 341286912 7999 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/2453/statm: 83322 7999 390 364 0 18197 0
[pid=2455] ppid=2453 vsize=28644 CPUtime=92.34 cores=1,3,5,7
/proc/2455/stat : 2455 (clasp-1.3.7-x86) T 2453 2455 2455 0 -1 4202496 7495 0 0 0 9234 0 0 0 25 0 1 0 869441407 29331456 6912 33554432000 134512640 136139019 4293569184 18446744073709551615 134875008 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/2455/statm: 7161 6912 189 398 0 6761 0
[pid=2453/tid=2541] ppid=2341 vsize=333288 CPUtime=0 cores=1,3,5,7
/proc/2453/task/2541/stat : 2541 (python) S 2341 2341 1117 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869450645 341286912 7999 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554946 18446604468954801280 0 0 -1 3 0 0 0
[pid=2547] ppid=2341 vsize=343544 CPUtime=0 cores=1,3,5,7
/proc/2547/stat : 2547 (python) S 2341 2341 1117 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 1 0 869455274 351789056 7931 33554432000 4194304 5683644 140737012726800 18446744073709551615 253640879686 0 0 16781312 33554946 1565168859567063302 0 0 17 5 0 0 0
/proc/2547/statm: 85886 7931 319 364 0 20758 0
[pid=2549] ppid=2547 vsize=8546216 CPUtime=2.06 cores=1,3,5,7
/proc/2549/stat : 2549 (java) S 2547 2549 2549 0 -1 4202496 49891 0 1 0 199 7 0 0 20 0 19 0 869455275 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2549/statm: 2136554 45952 2244 9 0 2127295 0
[pid=2549/tid=2550] ppid=2547 vsize=8546216 CPUtime=0.87 cores=1,3,5,7
/proc/2549/task/2550/stat : 2550 (java) R 2547 2549 2549 0 -1 4202560 35169 0 1 0 82 5 0 0 19 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 46912505604058 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2549/tid=2551] ppid=2547 vsize=8546216 CPUtime=0.01 cores=1,3,5,7
/proc/2549/task/2551/stat : 2551 (java) S 2547 2549 2549 0 -1 4202560 960 0 0 0 1 0 0 0 16 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 3 0 0 0
[pid=2549/tid=2552] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2552/stat : 2552 (java) S 2547 2549 2549 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 7 0 0 0
[pid=2549/tid=2553] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2553/stat : 2553 (java) S 2547 2549 2549 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 3 0 0 0
[pid=2549/tid=2554] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2554/stat : 2554 (java) S 2547 2549 2549 0 -1 4202560 456 0 0 0 0 0 0 0 16 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 5 0 0 0
[pid=2549/tid=2555] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2555/stat : 2555 (java) S 2547 2549 2549 0 -1 4202560 614 0 0 0 0 0 0 0 16 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 5 0 0 0
[pid=2549/tid=2556] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2556/stat : 2556 (java) S 2547 2549 2549 0 -1 4202560 419 0 0 0 0 0 0 0 16 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 7 0 0 0
[pid=2549/tid=2557] ppid=2547 vsize=8546216 CPUtime=0.01 cores=1,3,5,7
/proc/2549/task/2557/stat : 2557 (java) S 2547 2549 2549 0 -1 4202560 896 0 0 0 1 0 0 0 16 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 7 0 0 0
[pid=2549/tid=2558] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2558/stat : 2558 (java) S 2547 2549 2549 0 -1 4202560 275 0 0 0 0 0 0 0 16 0 19 0 869455276 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 3 0 0 0
[pid=2549/tid=2559] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2559/stat : 2559 (java) S 2547 2549 2549 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 869455277 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652676096 0 0 0 16800975 18446604466272619200 0 0 -1 1 0 0 0
[pid=2549/tid=2560] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2560/stat : 2560 (java) S 2547 2549 2549 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 869455278 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 1 0 0 0
[pid=2549/tid=2561] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2561/stat : 2561 (java) S 2547 2549 2549 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 19 0 869455278 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 3 0 0 0
[pid=2549/tid=2563] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2563/stat : 2563 (java) S 2547 2549 2549 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869455280 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652683185 0 4 0 16800975 18446604466272619200 0 0 -1 1 0 0 0
[pid=2549/tid=2564] ppid=2547 vsize=8546216 CPUtime=0.6 cores=1,3,5,7
/proc/2549/task/2564/stat : 2564 (java) S 2547 2549 2549 0 -1 4202560 4593 0 0 0 60 0 0 0 17 0 19 0 869455280 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 5 0 0 0
[pid=2549/tid=2565] ppid=2547 vsize=8546216 CPUtime=0.52 cores=1,3,5,7
/proc/2549/task/2565/stat : 2565 (java) S 2547 2549 2549 0 -1 4202560 5039 0 0 0 52 0 0 0 19 0 19 0 869455280 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 1 0 0 0
[pid=2549/tid=2566] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2566/stat : 2566 (java) S 2547 2549 2549 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869455280 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652675481 0 4 0 16800975 18446604466272619200 0 0 -1 1 0 0 0
[pid=2549/tid=2567] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2567/stat : 2567 (java) S 2547 2549 2549 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869455280 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652676096 0 4 0 16800975 18446604466272619200 0 0 -1 5 0 0 0
[pid=2549/tid=2568] ppid=2547 vsize=8546216 CPUtime=0 cores=1,3,5,7
/proc/2549/task/2568/stat : 2568 (java) S 2547 2549 2549 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869455344 8751325184 45952 33554432000 1073741824 1073778376 140735756868528 18446744073709551615 253652676096 0 4 0 16800975 18446604466272619200 0 0 -1 5 0 0 0
[pid=2341/tid=2349] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2349/stat : 2349 (python) S 2339 2341 1117 0 -1 4202560 32 1432 0 0 0 0 17 3 18 0 7 0 869417475 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2354] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2354/stat : 2354 (python) S 2339 2341 1117 0 -1 4202560 34 1432 0 0 0 0 17 3 18 0 7 0 869422264 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
[pid=2341/tid=2360] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2360/stat : 2360 (python) S 2339 2341 1117 0 -1 4202560 31 1432 0 0 0 0 17 3 20 0 7 0 869427052 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
[pid=2341/tid=2365] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2365/stat : 2365 (python) S 2339 2341 1117 0 -1 4202560 30 1432 0 0 0 0 17 3 20 0 7 0 869432012 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2454] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2454/stat : 2454 (python) S 2339 2341 1117 0 -1 4202560 29 1432 0 0 0 0 17 3 20 0 7 0 869441407 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 5 0 0 0
[pid=2341/tid=2548] ppid=2339 vsize=353788 CPUtime=0.2 cores=1,3,5,7
/proc/2341/task/2548/stat : 2548 (python) S 2339 2341 1117 0 -1 4202560 29 1432 0 0 0 0 17 3 20 0 7 0 869455275 362278912 9498 33554432000 4194304 5683644 140737012726800 18446744073709551615 253652683185 0 0 16781312 33554434 18446604454505646976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 385.16
Current children cumulated vsize (KiB) 19908788

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 380.597
CPU time (s): 385.16
CPU user time (s): 381.97
CPU system time (s): 3.19
CPU usage (%): 101.199
Max. virtual memory (cumulated for all children) (KiB): 19908788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41678
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21437
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= 14594
involuntary context switches= 25

runsolver used 2.94655 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-09 02:09:28
IDJOB=3481557
IDBENCH=48224
IDSOLVER=1970
FILE ID=node106/3481557-1307578168
RUNJOBID= node106-1307576440-1136
PBS_JOBID= 13547699
Free space on /tmp= 73528 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_1.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-3481557-1307578168/watcher-3481557-1307578168 -o /tmp/evaluation-result-3481557-1307578168/solver-3481557-1307578168 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481557-1307578168.opb -seed 1473636573 -budget 1800

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

MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add
RANDOM SEED=1473636573

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:      19434060 kB
Buffers:        175888 kB
Cached:         773324 kB
SwapCached:      21548 kB
Active:       12970452 kB
Inactive:       207188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19434060 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:          102116 kB
Writeback:           0 kB
AnonPages:    12225820 kB
Mapped:          96572 kB
Slab:           166116 kB
PageTables:      98764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 178416072 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= 73336 MiB
End job on node106 at 2011-06-09 02:15:52