Trace number 3481576

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) 149.69 147.38

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
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-15
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Solver Data 

0.33/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.33/0.69	c INFO: solving HOME/instance-3481576-1307578285.opb
0.41/0.74	c INFO: wrote linearized instance to HOME/tmpX9yLwb.opb
0.41/0.78	c INFO: parsing took 0.04 s
0.53/0.86	c INFO: features took 0.08 CPU seconds
0.53/0.89	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.38)
52.38/52.52	c INFO: running scip-2.0.1-clp@0 for 45 with 1749 remaining (b = 0.09)
99.64/99.66	c INFO: running sat4j-pb-v20101225@0 for 45 with 1702 remaining (b = 0.03)
147.90/146.58	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1654 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-3481576-1307578285/watcher-3481576-1307578285 -o /tmp/evaluation-result-3481576-1307578285/solver-3481576-1307578285 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481576-1307578285.opb -seed 1193797728 -budget 1800 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.13 1.85 2/621 4544
/proc/meminfo: memFree=13103312/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/4544/stat : 4544 (python) R 4542 4544 2733 0 -1 4202496 892 0 0 0 0 0 0 0 20 0 1 0 850243861 16150528 774 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261277381 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4544/statm: 3943 774 343 364 0 430 0

[startup+0.0299521 s]
/proc/loadavg: 2.03 2.13 1.85 2/621 4544
/proc/meminfo: memFree=13103312/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=16392 CPUtime=0.02 cores=1,3,5,7
/proc/4544/stat : 4544 (python) R 4542 4544 2733 0 -1 4202496 1149 0 0 0 1 1 0 0 18 0 1 0 850243861 16785408 1015 33554432000 4194304 5683644 140735541026528 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4544/statm: 4098 1015 413 364 0 585 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16392

[startup+0.100979 s]
/proc/loadavg: 2.03 2.13 1.85 2/621 4544
/proc/meminfo: memFree=13103312/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/4544/stat : 4544 (python) R 4542 4544 2733 0 -1 4202496 2662 0 0 0 3 3 0 0 17 0 1 0 850243861 87670784 2381 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261614592 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/4544/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616

[startup+0.300969 s]
/proc/loadavg: 2.03 2.13 1.85 2/621 4544
/proc/meminfo: memFree=13103312/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/4544/stat : 4544 (python) R 4542 4544 2733 0 -1 4202496 5356 931 1 0 10 7 0 0 16 0 1 0 850243861 126709760 3744 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261612549 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4544/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740

[startup+0.706894 s]
/proc/loadavg: 2.03 2.13 1.85 2/621 4544
/proc/meminfo: memFree=13103312/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=282400 CPUtime=0.41 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 9198 931 1 0 27 14 0 0 15 0 1 0 850243861 289177600 6937 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 2 4294934790 0 0 17 5 0 0 0
/proc/4544/statm: 70600 6937 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282400

[startup+1.50069 s]
/proc/loadavg: 2.03 2.13 1.85 3/625 4553
/proc/meminfo: memFree=13057832/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=295100 CPUtime=0.62 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 11090 1348 1 0 42 17 2 1 18 0 2 0 850243861 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4544/statm: 73775 7607 1863 364 0 8662 0
[pid=4551] ppid=4544 vsize=284856 CPUtime=0 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 804 0 0 0 0 0 0 0 16 0 1 0 850243950 291692544 6065 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 33554946 2702892227260023045 0 0 17 5 0 0 0
/proc/4551/statm: 71214 6065 325 364 0 6101 0
[pid=4553] ppid=4551 vsize=49260 CPUtime=0.59 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) R 4551 4553 4553 0 -1 4202496 10507 0 0 0 42 17 0 0 18 0 1 0 850243951 50442240 9723 33554432000 4194304 13684479 140736410451200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4553/statm: 12315 9723 735 2317 0 9993 0
[pid=4544/tid=4552] ppid=4542 vsize=295100 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 2 0 850243950 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 629216

[startup+3.10041 s]
/proc/loadavg: 2.03 2.13 1.85 3/625 4553
/proc/meminfo: memFree=13036504/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=295100 CPUtime=0.62 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 11090 1348 1 0 42 17 2 1 18 0 2 0 850243861 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4544/statm: 73775 7607 1863 364 0 8662 0
[pid=4551] ppid=4544 vsize=284856 CPUtime=0 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 822 0 0 0 0 0 0 0 15 0 1 0 850243950 291692544 6065 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 33554946 997188691988316160 0 0 17 5 0 0 0
/proc/4551/statm: 71214 6065 325 364 0 6101 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=2.19 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) R 4551 4553 4553 0 -1 4202496 18714 0 0 0 195 24 0 0 21 0 1 0 850243951 83329024 17802 33554432000 4194304 13684479 140736410451200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4553/statm: 20344 17802 822 2317 0 18022 0
[pid=4544/tid=4552] ppid=4542 vsize=295100 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 2 0 850243950 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 661332

[startup+6.30084 s]
/proc/loadavg: 2.19 2.16 1.86 3/625 4553
/proc/meminfo: memFree=13003992/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=295100 CPUtime=0.62 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 11090 1348 1 0 42 17 2 1 18 0 2 0 850243861 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4544/statm: 73775 7607 1863 364 0 8662 0
[pid=4551] ppid=4544 vsize=284856 CPUtime=0.02 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 958 0 0 0 1 1 0 0 15 0 1 0 850243950 291692544 6088 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 33554946 2124291524681269248 0 0 17 5 0 0 0
/proc/4551/statm: 71214 6088 348 364 0 6101 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=5.38 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) R 4551 4553 4553 0 -1 4202496 18723 0 0 0 508 30 0 0 25 0 1 0 850243951 83329024 17811 33554432000 4194304 13684479 140736410451200 18446744073709551615 7432374 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4553/statm: 20344 17811 822 2317 0 18022 0
[pid=4544/tid=4552] ppid=4542 vsize=295100 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 2 0 850243950 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 661332

[startup+12.7007 s]
/proc/loadavg: 2.17 2.16 1.86 3/625 4553
/proc/meminfo: memFree=13003132/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=295100 CPUtime=0.62 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 11090 1348 1 0 42 17 2 1 18 0 2 0 850243861 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4544/statm: 73775 7607 1863 364 0 8662 0
[pid=4551] ppid=4544 vsize=284856 CPUtime=0.07 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 966 0 0 0 4 3 0 0 16 0 1 0 850243950 291692544 6088 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 33554946 5623606151888251734 0 0 17 5 0 0 0
/proc/4551/statm: 71214 6088 348 364 0 6101 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=11.77 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) R 4551 4553 4553 0 -1 4202496 18727 0 0 0 1139 38 0 0 25 0 1 0 850243951 83329024 17815 33554432000 4194304 13684479 140736410451200 18446744073709551615 7154451 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/4553/statm: 20344 17815 826 2317 0 18022 0
[pid=4544/tid=4552] ppid=4542 vsize=295100 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 2 0 850243950 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 661332

[startup+25.5005 s]
/proc/loadavg: 2.13 2.15 1.86 3/625 4554
/proc/meminfo: memFree=13002784/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=295100 CPUtime=0.62 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 11090 1348 1 0 42 17 2 1 18 0 2 0 850243861 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4544/statm: 73775 7607 1863 364 0 8662 0
[pid=4551] ppid=4544 vsize=284856 CPUtime=0.11 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 971 0 0 0 6 5 0 0 15 0 1 0 850243950 291692544 6088 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 33554946 5623606151888251734 0 0 17 5 0 0 0
/proc/4551/statm: 71214 6088 348 364 0 6101 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=24.56 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) R 4551 4553 4553 0 -1 4202496 18732 0 0 0 2399 57 0 0 25 0 1 0 850243951 83329024 17820 33554432000 4194304 13684479 140736410451200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4553/statm: 20344 17820 831 2317 0 18022 0
[pid=4544/tid=4552] ppid=4542 vsize=295100 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 2 0 850243950 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 661332

[startup+51.1009 s]
/proc/loadavg: 2.09 2.14 1.86 3/625 4554
/proc/meminfo: memFree=12999756/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=295100 CPUtime=0.62 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 11090 1348 1 0 42 17 2 1 18 0 2 0 850243861 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4544/statm: 73775 7607 1863 364 0 8662 0
[pid=4551] ppid=4544 vsize=284856 CPUtime=0.21 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 985 0 0 0 11 10 0 0 15 0 1 0 850243950 291692544 6088 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636623 0 0 16781312 33554946 5623606151888251734 0 0 17 5 0 0 0
/proc/4551/statm: 71214 6088 348 364 0 6101 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=50.14 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) R 4551 4553 4553 0 -1 4202496 18734 0 0 0 4896 118 0 0 25 0 1 0 850243951 83329024 17822 33554432000 4194304 13684479 140736410451200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4553/statm: 20344 17822 832 2317 0 18022 0
[pid=4544/tid=4552] ppid=4542 vsize=295100 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 2 0 850243950 302182400 7607 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 661332

[startup+102.32 s]
/proc/loadavg: 2.10 2.14 1.88 3/651 4582
/proc/meminfo: memFree=12734212/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=315612 CPUtime=0.66 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 12784 1348 1 0 46 17 2 1 20 0 4 0 850243861 323186688 7628 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4544/statm: 78903 7628 1876 364 0 13784 0
[pid=4551] ppid=4544 vsize=295100 CPUtime=0.23 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 1186 0 0 0 12 11 0 0 16 0 2 0 850243950 302182400 6156 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4551/statm: 73775 6156 411 364 0 8662 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=51.53 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) T 4551 4553 4553 0 -1 4202496 18734 0 0 0 5033 120 0 0 25 0 1 0 850243951 83329024 17822 33554432000 4194304 13684479 140736410451200 18446744073709551615 7390852 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/4553/statm: 20344 17822 832 2317 0 18022 0
[pid=4551/tid=4555] ppid=4544 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/4551/task/4555/stat : 4555 (python) S 4544 4544 2733 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850249111 302182400 6156 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554946 18446604460675031360 0 0 -1 5 0 0 0
[pid=4556] ppid=4544 vsize=295112 CPUtime=0.19 cores=1,3,5,7
/proc/4556/stat : 4556 (python) S 4544 4544 2733 0 -1 4202560 1108 0 0 0 9 10 0 0 16 0 2 0 850249113 302194688 6136 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4556/statm: 73778 6136 391 364 0 8662 0
[pid=4558] ppid=4556 vsize=88824 CPUtime=47.11 cores=1,3,5,7
/proc/4558/stat : 4558 (scip-2.0.1.linu) T 4556 4558 4558 0 -1 4202496 24323 0 0 0 4674 37 0 0 25 0 1 0 850249113 90955776 18893 33554432000 4194304 15243407 140735369622496 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4558/statm: 22206 18893 960 2698 0 19501 0
[pid=4556/tid=4561] ppid=4544 vsize=295112 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (python) S 4544 4544 2733 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850253825 302194688 6136 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554946 18446604455809667456 0 0 -1 7 0 0 0
[pid=4562] ppid=4544 vsize=305368 CPUtime=0 cores=1,3,5,7
/proc/4562/stat : 4562 (python) S 4544 4544 2733 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 850253828 312696832 6068 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636678 0 0 16781312 33554946 4294934792 0 0 17 5 0 0 0
/proc/4562/statm: 76342 6068 320 364 0 11223 0
[pid=4564] ppid=4562 vsize=8547976 CPUtime=3.66 cores=1,3,5,7
/proc/4564/stat : 4564 (java) S 4562 4564 4564 0 -1 4202496 57105 0 1 0 358 8 0 0 17 0 19 0 850253828 8753127424 52814 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4564/statm: 2136994 52816 2259 9 0 2127735 0
[pid=4564/tid=4565] ppid=4562 vsize=8547976 CPUtime=2.56 cores=1,3,5,7
/proc/4564/task/4565/stat : 4565 (java) R 4562 4564 4564 0 -1 4202560 40655 0 1 0 251 5 0 0 23 0 19 0 850253829 8753127424 52816 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 46912505599594 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4564/tid=4566] ppid=4562 vsize=8547976 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4566/stat : 4566 (java) S 4562 4564 4564 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 19 0 850253830 8753127424 52816 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 1 0 0 0
[pid=4564/tid=4567] ppid=4562 vsize=8547976 CPUtime=0.01 cores=1,3,5,7
/proc/4564/task/4567/stat : 4567 (java) S 4562 4564 4564 0 -1 4202560 785 0 0 0 1 0 0 0 15 0 19 0 850253830 8753127424 52817 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446604470157904000 0 0 -1 7 0 0 0

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

[pid=4587/tid=4595] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4595/stat : 4595 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26536 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4596] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4596/stat : 4596 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26543 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4597] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4597/stat : 4597 (java) S 4585 4587 4587 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850258521 8750006272 26544 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273433088 0 0 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4598] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4598/stat : 4598 (java) S 4585 4587 4587 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850258522 8750006272 26544 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4599] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4599/stat : 4599 (java) S 4585 4587 4587 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850258522 8750006272 26544 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4600] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4600/stat : 4600 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258524 8750006272 26545 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273440177 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4601] ppid=4585 vsize=8544928 CPUtime=0.48 cores=1,3,5,7
/proc/4587/task/4601/stat : 4601 (java) R 4585 4587 4587 0 -1 4202560 6337 0 0 0 48 0 0 0 25 0 19 0 850258524 8750006272 26545 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 47587273085163 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4587/tid=4602] ppid=4585 vsize=8544928 CPUtime=0.44 cores=1,3,5,7
/proc/4587/task/4602/stat : 4602 (java) R 4585 4587 4587 0 -1 4202560 5483 0 0 0 44 0 0 0 16 0 19 0 850258524 8750006272 26546 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 47587268711289 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4587/tid=4603] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4603/stat : 4603 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258524 8750006272 26547 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4604] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4604/stat : 4604 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850258524 8750006272 26553 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273433088 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4605] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4605/stat : 4605 (java) S 4585 4587 4587 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850258559 8750006272 26554 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273433088 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4544/tid=4552] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 5 0 850243950 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (python) S 4542 4544 2733 0 -1 4202560 26 1348 0 0 0 0 2 1 20 0 5 0 850249113 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
[pid=4544/tid=4563] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4563/stat : 4563 (python) S 4542 4544 2733 0 -1 4202560 32 1348 0 0 0 0 2 1 20 0 5 0 850253828 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (python) S 4542 4544 2733 0 -1 4202560 27 1348 0 0 0 0 2 1 20 0 5 0 850258519 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 149.69
Current children cumulated vsize (KiB) 18794728

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

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

[startup+147.302 s]
/proc/loadavg: 2.23 2.17 1.90 6/673 4605
/proc/meminfo: memFree=12283188/32951124 swapFree=67057920/67111528
[pid=4544] ppid=4542 vsize=325868 CPUtime=0.69 cores=1,3,5,7
/proc/4544/stat : 4544 (python) S 4542 4544 2733 0 -1 4202496 13669 1348 1 0 49 17 2 1 20 0 5 0 850243861 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4544/statm: 81467 7634 1878 364 0 16345 0
[pid=4551] ppid=4544 vsize=295100 CPUtime=0.23 cores=1,3,5,7
/proc/4551/stat : 4551 (python) S 4544 4544 2733 0 -1 4202560 1186 0 0 0 12 11 0 0 16 0 2 0 850243950 302182400 6156 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4551/statm: 73775 6156 411 364 0 8662 0
[pid=4553] ppid=4551 vsize=81376 CPUtime=51.53 cores=1,3,5,7
/proc/4553/stat : 4553 (scip-2.0.1.linu) T 4551 4553 4553 0 -1 4202496 18734 0 0 0 5033 120 0 0 25 0 1 0 850243951 83329024 17822 33554432000 4194304 13684479 140736410451200 18446744073709551615 7390852 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/4553/statm: 20344 17822 832 2317 0 18022 0
[pid=4551/tid=4555] ppid=4544 vsize=295100 CPUtime=0 cores=1,3,5,7
/proc/4551/task/4555/stat : 4555 (python) S 4544 4544 2733 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850249111 302182400 6156 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554946 18446604460675031360 0 0 -1 5 0 0 0
[pid=4556] ppid=4544 vsize=295112 CPUtime=0.19 cores=1,3,5,7
/proc/4556/stat : 4556 (python) S 4544 4544 2733 0 -1 4202560 1108 0 0 0 9 10 0 0 16 0 2 0 850249113 302194688 6136 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4556/statm: 73778 6136 391 364 0 8662 0
[pid=4558] ppid=4556 vsize=88824 CPUtime=47.11 cores=1,3,5,7
/proc/4558/stat : 4558 (scip-2.0.1.linu) T 4556 4558 4558 0 -1 4202496 24323 0 0 0 4674 37 0 0 25 0 1 0 850249113 90955776 18893 33554432000 4194304 15243407 140735369622496 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4558/statm: 22206 18893 960 2698 0 19501 0
[pid=4556/tid=4561] ppid=4544 vsize=295112 CPUtime=0 cores=1,3,5,7
/proc/4556/task/4561/stat : 4561 (python) S 4544 4544 2733 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850253825 302194688 6136 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554946 18446604455809667456 0 0 -1 7 0 0 0
[pid=4562] ppid=4544 vsize=305368 CPUtime=0.23 cores=1,3,5,7
/proc/4562/stat : 4562 (python) S 4544 4544 2733 0 -1 4202560 1138 0 0 0 10 13 0 0 17 0 2 0 850253828 312696832 6140 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4562/statm: 76342 6140 391 364 0 11223 0
[pid=4564] ppid=4562 vsize=8542528 CPUtime=48.04 cores=1,3,5,7
/proc/4564/stat : 4564 (java) T 4562 4564 4564 0 -1 4202496 158202 0 1 0 4785 19 0 0 15 0 19 0 850253828 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4564/statm: 2135632 134911 2259 9 0 2126373 0
[pid=4564/tid=4565] ppid=4562 vsize=8542528 CPUtime=46.35 cores=1,3,5,7
/proc/4564/task/4565/stat : 4565 (java) T 4562 4564 4564 0 -1 4202560 135715 0 1 0 4620 15 0 0 25 0 19 0 850253829 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 46912505837632 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4566] ppid=4562 vsize=8542528 CPUtime=0.03 cores=1,3,5,7
/proc/4564/task/4566/stat : 4566 (java) T 4562 4564 4564 0 -1 4202560 1350 0 0 0 3 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4567] ppid=4562 vsize=8542528 CPUtime=0.04 cores=1,3,5,7
/proc/4564/task/4567/stat : 4567 (java) T 4562 4564 4564 0 -1 4202560 1982 0 0 0 4 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4568] ppid=4562 vsize=8542528 CPUtime=0.02 cores=1,3,5,7
/proc/4564/task/4568/stat : 4568 (java) T 4562 4564 4564 0 -1 4202560 700 0 0 0 2 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4569] ppid=4562 vsize=8542528 CPUtime=0.02 cores=1,3,5,7
/proc/4564/task/4569/stat : 4569 (java) T 4562 4564 4564 0 -1 4202560 1121 0 0 0 2 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4564/tid=4570] ppid=4562 vsize=8542528 CPUtime=0.03 cores=1,3,5,7
/proc/4564/task/4570/stat : 4570 (java) T 4562 4564 4564 0 -1 4202560 801 0 0 0 3 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4564/tid=4571] ppid=4562 vsize=8542528 CPUtime=0.02 cores=1,3,5,7
/proc/4564/task/4571/stat : 4571 (java) T 4562 4564 4564 0 -1 4202560 724 0 0 0 2 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4564/tid=4572] ppid=4562 vsize=8542528 CPUtime=0.02 cores=1,3,5,7
/proc/4564/task/4572/stat : 4572 (java) T 4562 4564 4564 0 -1 4202560 1113 0 0 0 2 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4564/tid=4573] ppid=4562 vsize=8542528 CPUtime=0.02 cores=1,3,5,7
/proc/4564/task/4573/stat : 4573 (java) T 4562 4564 4564 0 -1 4202560 455 0 0 0 2 0 0 0 15 0 19 0 850253830 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4564/tid=4574] ppid=4562 vsize=8542528 CPUtime=0.35 cores=1,3,5,7
/proc/4564/task/4574/stat : 4574 (java) T 4562 4564 4564 0 -1 4202560 2302 0 0 0 35 0 0 0 15 0 19 0 850253831 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273433088 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4564/tid=4575] ppid=4562 vsize=8542528 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4575/stat : 4575 (java) T 4562 4564 4564 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850253831 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4576] ppid=4562 vsize=8542528 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4576/stat : 4576 (java) T 4562 4564 4564 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850253831 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4577] ppid=4562 vsize=8542528 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4577/stat : 4577 (java) T 4562 4564 4564 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850253833 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4578] ppid=4562 vsize=8542528 CPUtime=0.57 cores=1,3,5,7
/proc/4564/task/4578/stat : 4578 (java) T 4562 4564 4564 0 -1 4202560 4646 0 0 0 57 0 0 0 15 0 19 0 850253833 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4579] ppid=4562 vsize=8542528 CPUtime=0.47 cores=1,3,5,7
/proc/4564/task/4579/stat : 4579 (java) T 4562 4564 4564 0 -1 4202560 5899 0 0 0 47 0 0 0 15 0 19 0 850253833 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4564/tid=4580] ppid=4562 vsize=8542528 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4580/stat : 4580 (java) T 4562 4564 4564 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850253833 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4581] ppid=4562 vsize=8542528 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4581/stat : 4581 (java) T 4562 4564 4564 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850253833 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4564/tid=4582] ppid=4562 vsize=8542528 CPUtime=0 cores=1,3,5,7
/proc/4564/task/4582/stat : 4582 (java) T 4562 4564 4564 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850253868 8747548672 134911 33554432000 1073741824 1073778376 140735173426608 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4562/tid=4584] ppid=4544 vsize=305368 CPUtime=0 cores=1,3,5,7
/proc/4562/task/4584/stat : 4584 (python) S 4544 4544 2733 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850258517 312696832 6140 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554946 18446604457243252544 0 0 -1 7 0 0 0
[pid=4585] ppid=4544 vsize=315624 CPUtime=0 cores=1,3,5,7
/proc/4585/stat : 4585 (python) S 4544 4544 2733 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 850258519 323198976 6072 33554432000 4194304 5683644 140735541026528 18446744073709551615 254261636678 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/4585/statm: 78906 6072 320 364 0 13784 0
[pid=4587] ppid=4585 vsize=8544928 CPUtime=1.67 cores=1,3,5,7
/proc/4587/stat : 4587 (java) S 4585 4587 4587 0 -1 4202496 31039 0 1 0 163 4 0 0 20 0 19 0 850258519 8750006272 25864 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4587/statm: 2136232 25865 2225 9 0 2126973 0
[pid=4587/tid=4588] ppid=4585 vsize=8544928 CPUtime=0.73 cores=1,3,5,7
/proc/4587/task/4588/stat : 4588 (java) R 4585 4587 4587 0 -1 4202560 18486 0 1 0 71 2 0 0 19 0 19 0 850258520 8750006272 26533 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 46912505601521 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4587/tid=4589] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4589/stat : 4589 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850258520 8750006272 26533 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4590] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4590/stat : 4590 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850258520 8750006272 26534 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4591] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4591/stat : 4591 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850258520 8750006272 26534 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4592] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4592/stat : 4592 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26534 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4593] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4593/stat : 4593 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26535 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4594] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4594/stat : 4594 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26535 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4595] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4595/stat : 4595 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26536 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4596] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4596/stat : 4596 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258520 8750006272 26543 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4597] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4597/stat : 4597 (java) S 4585 4587 4587 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850258521 8750006272 26544 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273433088 0 0 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4598] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4598/stat : 4598 (java) S 4585 4587 4587 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850258522 8750006272 26544 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4599] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4599/stat : 4599 (java) S 4585 4587 4587 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850258522 8750006272 26544 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4600] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4600/stat : 4600 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258524 8750006272 26545 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273440177 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4601] ppid=4585 vsize=8544928 CPUtime=0.48 cores=1,3,5,7
/proc/4587/task/4601/stat : 4601 (java) R 4585 4587 4587 0 -1 4202560 6337 0 0 0 48 0 0 0 25 0 19 0 850258524 8750006272 26545 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 47587273085163 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4587/tid=4602] ppid=4585 vsize=8544928 CPUtime=0.44 cores=1,3,5,7
/proc/4587/task/4602/stat : 4602 (java) R 4585 4587 4587 0 -1 4202560 5483 0 0 0 44 0 0 0 16 0 19 0 850258524 8750006272 26546 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 47587268711289 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4587/tid=4603] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4603/stat : 4603 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850258524 8750006272 26547 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273432473 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4587/tid=4604] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4604/stat : 4604 (java) S 4585 4587 4587 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850258524 8750006272 26553 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273433088 0 4 0 16800975 18446604463769425216 0 0 -1 1 0 0 0
[pid=4587/tid=4605] ppid=4585 vsize=8544928 CPUtime=0 cores=1,3,5,7
/proc/4587/task/4605/stat : 4605 (java) S 4585 4587 4587 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850258559 8750006272 26554 33554432000 1073741824 1073778376 140737262286128 18446744073709551615 254273433088 0 4 0 16800975 18446604463769425216 0 0 -1 5 0 0 0
[pid=4544/tid=4552] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4552/stat : 4552 (python) S 4542 4544 2733 0 -1 4202560 24 1348 0 0 0 0 2 1 18 0 5 0 850243950 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (python) S 4542 4544 2733 0 -1 4202560 26 1348 0 0 0 0 2 1 20 0 5 0 850249113 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 5 0 0 0
[pid=4544/tid=4563] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4563/stat : 4563 (python) S 4542 4544 2733 0 -1 4202560 32 1348 0 0 0 0 2 1 20 0 5 0 850253828 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=325868 CPUtime=0.03 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (python) S 4542 4544 2733 0 -1 4202560 27 1348 0 0 0 0 2 1 20 0 5 0 850258519 333688832 7634 33554432000 4194304 5683644 140735541026528 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 149.69
Current children cumulated vsize (KiB) 18794728

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 147.38
CPU time (s): 149.69
CPU user time (s): 147.37
CPU system time (s): 2.32
CPU usage (%): 101.568
Max. virtual memory (cumulated for all children) (KiB): 18794728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52092
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15019
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= 5172
involuntary context switches= 17

runsolver used 0.814876 second user time and 1.81872 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-09 02:11:25
IDJOB=3481576
IDBENCH=48243
IDSOLVER=1970
FILE ID=node140/3481576-1307578285
RUNJOBID= node140-1307576354-2756
PBS_JOBID= 13547659
Free space on /tmp= 73440 MiB

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

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=1193797728

node140.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.833
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.833
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.14
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.833
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.833
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.77
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.833
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.833
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.74
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.833
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.833
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:      13103484 kB
Buffers:        176032 kB
Cached:         683464 kB
SwapCached:       7060 kB
Active:       19388800 kB
Inactive:       163512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13103484 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:          102072 kB
Writeback:           0 kB
AnonPages:    18690892 kB
Mapped:          82716 kB
Slab:           144632 kB
PageTables:      80868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 156041944 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= 73340 MiB
End job on node140 at 2011-06-09 02:13:55