Trace number 3481605

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) 384.03 379.494

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_4.opb
MD5SUMde244e44f140b74baa9d32bfcc24f10d
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.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
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)31508
Sum of products size (including duplicates)63016
Number of different products15754
Sum of products size31508

Solver Data 

0.39/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.39/0.67	c INFO: solving HOME/instance-3481605-1307578478.opb
0.57/0.90	c INFO: wrote linearized instance to HOME/tmpxHGW5Y.opb
1.02/1.13	c INFO: parsing took 0.23 s
1.40/1.56	c INFO: features took 0.43 CPU seconds
1.40/1.59	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.21)
50.43/50.44	c INFO: running scip-2.0.1-clp@0 for 45 with 1750 remaining (b = 0.04)
99.51/99.30	c INFO: running wbo1.4a@0 for 45 with 1702 remaining (b = 0.02)
148.21/147.85	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1653 remaining (b = 0.01)
198.33/195.73	c INFO: running scip-2.0.1-spx@48 for 45 with 1604 remaining (b = 0.01)
243.31/240.59	c INFO: running clasp-1.3.7@0 for 91 with 1559 remaining (b = 0.02)
336.27/333.21	c INFO: running scip-2.0.1-clp@48 for 45 with 1467 remaining (b = 0.01)
381.81/378.47	c INFO: running sat4j-pb-v20101225@0 for 45 with 1422 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-3481605-1307578478/watcher-3481605-1307578478 -o /tmp/evaluation-result-3481605-1307578478/solver-3481605-1307578478 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481605-1307578478.opb -seed 1999280602 -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.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 935 0 0 0 0 0 0 0 17 0 1 0 948078591 16154624 814 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/24865/statm: 3944 814 356 364 0 431 0

[startup+0.0849111 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=54504 CPUtime=0.06 cores=1,3,5,7
/proc/24865/stat : 24865 (python) R 24863 24865 22387 0 -1 4202496 2050 0 0 0 4 2 0 0 17 0 1 0 948078591 55812096 1809 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24865/statm: 13626 1809 492 364 0 1276 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54504

[startup+0.100918 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=87828 CPUtime=0.07 cores=1,3,5,7
/proc/24865/stat : 24865 (python) R 24863 24865 22387 0 -1 4202496 2678 0 0 0 4 3 0 0 17 0 1 0 948078591 89935872 2394 33554432000 4194304 5683644 140736842478736 18446744073709551615 260900431336 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/24865/statm: 21957 2394 722 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87828

[startup+0.300885 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=123740 CPUtime=0.19 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 5356 931 1 0 10 9 0 0 17 0 1 0 948078591 126709760 3744 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/24865/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123740

[startup+0.700726 s]
/proc/loadavg: 2.04 2.08 1.84 2/809 24865
/proc/meminfo: memFree=12167116/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=282532 CPUtime=0.45 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 9210 931 1 0 27 18 0 0 15 0 1 0 948078591 289312768 6942 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 2 1563062873893109760 0 0 17 5 0 0 0
/proc/24865/statm: 70633 6942 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 282532

[startup+1.50058 s]
/proc/loadavg: 2.04 2.08 1.84 3/810 24871
/proc/meminfo: memFree=12136108/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=291612 CPUtime=1.4 cores=1,3,5,7
/proc/24865/stat : 24865 (python) R 24863 24865 22387 0 -1 4202496 14595 1446 1 0 88 30 18 4 16 0 1 0 948078591 298610688 9248 33554432000 4194304 5683644 140736842478736 18446744073709551615 4541442 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/24865/statm: 72903 9248 1817 364 0 7796 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 291612

[startup+3.10029 s]
/proc/loadavg: 2.04 2.08 1.84 3/813 24874
/proc/meminfo: memFree=12065764/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 948078750 299294720 7914 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7914 318 364 0 7957 0
[pid=24874] ppid=24872 vsize=163352 CPUtime=1.49 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 39350 0 0 0 126 23 0 0 23 0 1 0 948078751 167272448 37412 33554432000 4194304 13684479 140736421713696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24874/statm: 40838 37412 791 2317 0 38516 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 758156

[startup+6.30077 s]
/proc/loadavg: 2.04 2.08 1.84 3/813 24874
/proc/meminfo: memFree=11976832/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0.02 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 873 0 0 0 1 1 0 0 15 0 1 0 948078750 299294720 7938 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 12202531953756307717 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7938 342 364 0 7957 0
[pid=24874] ppid=24872 vsize=167384 CPUtime=4.69 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 40470 0 0 0 445 24 0 0 25 0 1 0 948078751 171401216 38414 33554432000 4194304 13684479 140736421713696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24874/statm: 41846 38414 729 2317 0 39524 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 762188

[startup+12.7005 s]
/proc/loadavg: 2.04 2.08 1.84 3/813 24874
/proc/meminfo: memFree=11977832/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0.03 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 879 0 0 0 1 2 0 0 15 0 1 0 948078750 299294720 7938 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 5623311482772007828 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7938 342 364 0 7957 0
[pid=24874] ppid=24872 vsize=167384 CPUtime=11.08 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 40641 0 0 0 1084 24 0 0 25 0 1 0 948078751 171401216 38585 33554432000 4194304 13684479 140736421713696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24874/statm: 41846 38585 760 2317 0 39524 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 762188

[startup+25.5012 s]
/proc/loadavg: 2.03 2.07 1.85 3/813 24875
/proc/meminfo: memFree=11976876/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=302524 CPUtime=1.48 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 15422 1446 1 0 96 30 18 4 18 0 2 0 948078591 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 75631 9471 1871 364 0 10518 0
[pid=24872] ppid=24865 vsize=292280 CPUtime=0.1 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 888 0 0 0 4 6 0 0 15 0 1 0 948078750 299294720 7938 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414159 0 0 16781312 33554946 5623311482772007828 0 0 17 1 0 0 0
/proc/24872/statm: 73070 7938 342 364 0 7957 0
[pid=24874] ppid=24872 vsize=172876 CPUtime=23.88 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) R 24872 24874 24874 0 -1 4202496 44365 0 0 0 2361 27 0 0 25 0 1 0 948078751 177025024 39228 33554432000 4194304 13684479 140736421713696 18446744073709551615 7360257 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/24874/statm: 43219 39228 733 2317 0 40897 0
[pid=24865/tid=24873] ppid=24863 vsize=302524 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 2 0 948078751 309784576 9471 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 767680

[startup+51.1005 s]
/proc/loadavg: 2.02 2.07 1.85 3/817 24879
/proc/meminfo: memFree=11945212/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=312780 CPUtime=1.51 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 16320 1446 1 0 99 30 18 4 20 0 3 0 948078591 320286720 9478 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 78195 9478 1874 364 0 13079 0
[pid=24872] ppid=24865 vsize=302524 CPUtime=0.21 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 1098 0 0 0 10 11 0 0 16 0 2 0 948078750 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/24872/statm: 75631 8006 405 364 0 10518 0
[pid=24874] ppid=24872 vsize=178060 CPUtime=48.78 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) T 24872 24874 24874 0 -1 4202496 47451 0 0 0 4847 31 0 0 25 0 1 0 948078751 182333440 40919 33554432000 4194304 13684479 140736421713696 18446744073709551615 7391262 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/24874/statm: 44515 40919 733 2317 0 42193 0
[pid=24872/tid=24876] ppid=24865 vsize=302524 CPUtime=0 cores=1,3,5,7
/proc/24872/task/24876/stat : 24876 (python) S 24865 24865 22387 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948083634 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313143552 0 0 -1 1 0 0 0
[pid=24877] ppid=24865 vsize=302536 CPUtime=0 cores=1,3,5,7
/proc/24877/stat : 24877 (python) S 24865 24865 22387 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 1 0 948083636 309796864 7919 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414214 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/24877/statm: 75634 7919 319 364 0 10518 0
[pid=24879] ppid=24877 vsize=97076 CPUtime=0.63 cores=1,3,5,7
/proc/24879/stat : 24879 (scip-2.0.1.linu) R 24877 24879 24879 0 -1 4202496 22183 0 0 0 44 19 0 0 22 0 1 0 948083636 99405824 21435 33554432000 4194304 15243407 140735928663280 18446744073709551615 6707872 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24879/statm: 24269 21452 722 2698 0 21564 0
[pid=24865/tid=24873] ppid=24863 vsize=312780 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 3 0 948078751 320286720 9478 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
[pid=24865/tid=24878] ppid=24863 vsize=312780 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24878/stat : 24878 (python) S 24863 24865 22387 0 -1 4202560 27 1446 0 0 0 0 18 4 20 0 3 0 948083636 320286720 9478 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 1192976

[startup+102.321 s]
/proc/loadavg: 2.09 2.08 1.86 3/822 24886
/proc/meminfo: memFree=11806484/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=323036 CPUtime=1.53 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 17223 1446 1 0 101 30 18 4 19 0 4 0 948078591 330788864 9484 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 80759 9484 1876 364 0 15640 0
[pid=24872] ppid=24865 vsize=302524 CPUtime=0.21 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 1098 0 0 0 10 11 0 0 16 0 2 0 948078750 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/24872/statm: 75631 8006 405 364 0 10518 0
[pid=24874] ppid=24872 vsize=178060 CPUtime=48.78 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) T 24872 24874 24874 0 -1 4202496 47451 0 0 0 4847 31 0 0 25 0 1 0 948078751 182333440 40919 33554432000 4194304 13684479 140736421713696 18446744073709551615 7391262 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/24874/statm: 44515 40919 733 2317 0 42193 0
[pid=24872/tid=24876] ppid=24865 vsize=302524 CPUtime=0 cores=1,3,5,7
/proc/24872/task/24876/stat : 24876 (python) S 24865 24865 22387 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948083634 309784576 8006 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313143552 0 0 -1 1 0 0 0
[pid=24877] ppid=24865 vsize=302536 CPUtime=0.21 cores=1,3,5,7
/proc/24877/stat : 24877 (python) S 24865 24865 22387 0 -1 4202560 1166 0 0 0 10 11 0 0 17 0 2 0 948083636 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24877/statm: 75634 7997 396 364 0 10518 0
[pid=24879] ppid=24877 vsize=166956 CPUtime=48.78 cores=1,3,5,7
/proc/24879/stat : 24879 (scip-2.0.1.linu) T 24877 24879 24879 0 -1 4202496 126409 0 0 0 4839 39 0 0 25 0 1 0 948083636 170962944 33630 33554432000 4194304 15243407 140735928663280 18446744073709551615 8118867 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24879/statm: 41739 33630 838 2698 0 39034 0
[pid=24877/tid=24883] ppid=24865 vsize=302536 CPUtime=0 cores=1,3,5,7
/proc/24877/task/24883/stat : 24883 (python) S 24865 24865 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948088519 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466993814208 0 0 -1 7 0 0 0
[pid=24884] ppid=24865 vsize=312792 CPUtime=0 cores=1,3,5,7
/proc/24884/stat : 24884 (python) S 24865 24865 22387 0 -1 4202560 889 0 0 0 0 0 0 0 15 0 1 0 948088521 320299008 7930 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414214 0 0 16781312 33554946 12844087573995290884 0 0 17 5 0 0 0
/proc/24884/statm: 78198 7930 326 364 0 13079 0
[pid=24886] ppid=24884 vsize=18588 CPUtime=3 cores=1,3,5,7
/proc/24886/stat : 24886 (wbo1.4a) R 24884 24886 24886 0 -1 4202496 5302 0 0 0 297 3 0 0 25 0 1 0 948088522 19034112 4132 33554432000 134512640 135751879 4291887552 18446744073709551615 134597602 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/24886/statm: 4647 4132 146 303 0 4342 0
[pid=24865/tid=24873] ppid=24863 vsize=323036 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 18 0 4 0 948078751 330788864 9484 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
[pid=24865/tid=24878] ppid=24863 vsize=323036 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24878/stat : 24878 (python) S 24863 24865 22387 0 -1 4202560 27 1446 0 0 0 0 18 4 20 0 4 0 948083636 330788864 9484 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0

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

[pid=24865/tid=24885] ppid=24863 vsize=343548 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24885/stat : 24885 (python) S 24863 24865 22387 0 -1 4202560 28 1446 0 0 0 0 18 4 20 0 6 0 948088521 351793152 9496 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
[pid=24865/tid=25020] ppid=24863 vsize=343548 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25020/stat : 25020 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 6 0 948093377 351793152 9496 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
[pid=24865/tid=25138] ppid=24863 vsize=343548 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25138/stat : 25138 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 20 0 6 0 948102651 351793152 9496 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 345.52
Current children cumulated vsize (KiB) 11066772



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+379.401 s]
/proc/loadavg: 2.14 2.10 1.92 5/884 25230
/proc/meminfo: memFree=6724916/32950928 swapFree=61542368/67111528
[pid=24865] ppid=24863 vsize=353804 CPUtime=1.66 cores=1,3,5,7
/proc/24865/stat : 24865 (python) S 24863 24865 22387 0 -1 4202496 20087 1446 1 0 113 31 18 4 19 0 7 0 948078591 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24865/statm: 88451 9502 1882 364 0 23323 0
[pid=24872] ppid=24865 vsize=302524 CPUtime=0.44 cores=1,3,5,7
/proc/24872/stat : 24872 (python) S 24865 24865 22387 0 -1 4202560 1124 0 0 0 21 23 0 0 15 0 2 0 948078750 309784576 8007 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24872/statm: 75631 8007 406 364 0 10518 0
[pid=24874] ppid=24872 vsize=256612 CPUtime=93.6 cores=1,3,5,7
/proc/24874/stat : 24874 (scip-2.0.1.linu) T 24872 24874 24874 0 -1 4202496 70669 0 0 0 9309 51 0 0 25 0 1 0 948078751 262770688 61406 33554432000 4194304 13684479 140736421713696 18446744073709551615 7098878 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/24874/statm: 64153 61406 919 2317 0 61831 0
[pid=24872/tid=24876] ppid=24865 vsize=302524 CPUtime=0 cores=1,3,5,7
/proc/24872/task/24876/stat : 24876 (python) S 24865 24865 22387 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 948083634 309784576 8007 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313143552 0 0 -1 1 0 0 0
[pid=24877] ppid=24865 vsize=302536 CPUtime=0.44 cores=1,3,5,7
/proc/24877/stat : 24877 (python) S 24865 24865 22387 0 -1 4202560 1209 0 0 0 20 24 0 0 16 0 2 0 948083636 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24877/statm: 75634 7997 396 364 0 10518 0
[pid=24879] ppid=24877 vsize=167112 CPUtime=94.01 cores=1,3,5,7
/proc/24879/stat : 24879 (scip-2.0.1.linu) T 24877 24879 24879 0 -1 4202496 216562 0 0 0 9343 58 0 0 25 0 1 0 948083636 171122688 33313 33554432000 4194304 15243407 140735928663280 18446744073709551615 12374674 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24879/statm: 41778 33313 838 2698 0 39073 0
[pid=24877/tid=24883] ppid=24865 vsize=302536 CPUtime=0 cores=1,3,5,7
/proc/24877/task/24883/stat : 24883 (python) S 24865 24865 22387 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 948088519 309796864 7997 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466993814208 0 0 -1 7 0 0 0
[pid=24884] ppid=24865 vsize=312792 CPUtime=0.23 cores=1,3,5,7
/proc/24884/stat : 24884 (python) S 24865 24865 22387 0 -1 4202560 1205 0 0 0 11 12 0 0 16 0 2 0 948088521 320299008 8001 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24884/statm: 78198 8001 396 364 0 13079 0
[pid=24886] ppid=24884 vsize=86036 CPUtime=48.51 cores=1,3,5,7
/proc/24886/stat : 24886 (wbo1.4a) T 24884 24886 24886 0 -1 4202496 22148 0 0 0 4822 29 0 0 25 0 1 0 948088522 88100864 20978 33554432000 134512640 135751879 4291887552 18446744073709551615 134606389 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/24886/statm: 21509 20978 146 303 0 21204 0
[pid=24884/tid=25018] ppid=24865 vsize=312792 CPUtime=0 cores=1,3,5,7
/proc/24884/task/25018/stat : 25018 (python) S 24865 24865 22387 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948093374 320299008 8001 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604455588729152 0 0 -1 7 0 0 0
[pid=25019] ppid=24865 vsize=323048 CPUtime=0.22 cores=1,3,5,7
/proc/25019/stat : 25019 (python) S 24865 24865 22387 0 -1 4202560 1157 0 0 0 12 10 0 0 16 0 2 0 948093376 330801152 7999 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/25019/statm: 80762 7999 390 364 0 15640 0
[pid=25021] ppid=25019 vsize=8611040 CPUtime=49.82 cores=1,3,5,7
/proc/25021/stat : 25021 (java) T 25019 25021 25021 0 -1 4202496 287204 0 1 0 4950 32 0 0 18 0 19 0 948093377 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25021/statm: 2152760 282950 2249 9 0 2143501 0
[pid=25021/tid=25022] ppid=25019 vsize=8611040 CPUtime=47.65 cores=1,3,5,7
/proc/25021/task/25022/stat : 25022 (java) T 25019 25021 25021 0 -1 4202560 238877 0 1 0 4739 26 0 0 25 0 19 0 948093377 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 46912505959211 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25021/tid=25023] ppid=25019 vsize=8611040 CPUtime=0.08 cores=1,3,5,7
/proc/25021/task/25023/stat : 25023 (java) T 25019 25021 25021 0 -1 4202560 6866 0 0 0 8 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25021/tid=25024] ppid=25019 vsize=8611040 CPUtime=0.03 cores=1,3,5,7
/proc/25021/task/25024/stat : 25024 (java) T 25019 25021 25021 0 -1 4202560 3483 0 0 0 3 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25025] ppid=25019 vsize=8611040 CPUtime=0.01 cores=1,3,5,7
/proc/25021/task/25025/stat : 25025 (java) T 25019 25021 25021 0 -1 4202560 1573 0 0 0 1 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25026] ppid=25019 vsize=8611040 CPUtime=0.06 cores=1,3,5,7
/proc/25021/task/25026/stat : 25026 (java) T 25019 25021 25021 0 -1 4202560 5702 0 0 0 6 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25027] ppid=25019 vsize=8611040 CPUtime=0.07 cores=1,3,5,7
/proc/25021/task/25027/stat : 25027 (java) T 25019 25021 25021 0 -1 4202560 5652 0 0 0 6 1 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25028] ppid=25019 vsize=8611040 CPUtime=0.06 cores=1,3,5,7
/proc/25021/task/25028/stat : 25028 (java) T 25019 25021 25021 0 -1 4202560 5402 0 0 0 6 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25021/tid=25029] ppid=25019 vsize=8611040 CPUtime=0.05 cores=1,3,5,7
/proc/25021/task/25029/stat : 25029 (java) T 25019 25021 25021 0 -1 4202560 4392 0 0 0 5 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25030] ppid=25019 vsize=8611040 CPUtime=0.03 cores=1,3,5,7
/proc/25021/task/25030/stat : 25030 (java) T 25019 25021 25021 0 -1 4202560 3023 0 0 0 3 0 0 0 15 0 19 0 948093378 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25021/tid=25031] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25031/stat : 25031 (java) T 25019 25021 25021 0 -1 4202560 954 0 0 0 0 0 0 0 15 0 19 0 948093379 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25032] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25032/stat : 25032 (java) T 25019 25021 25021 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948093379 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25033] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25033/stat : 25033 (java) T 25019 25021 25021 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948093379 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25034] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25034/stat : 25034 (java) T 25019 25021 25021 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25035] ppid=25019 vsize=8611040 CPUtime=0.81 cores=1,3,5,7
/proc/25021/task/25035/stat : 25035 (java) T 25019 25021 25021 0 -1 4202560 5024 0 0 0 81 0 0 0 15 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=25021/tid=25036] ppid=25019 vsize=8611040 CPUtime=0.85 cores=1,3,5,7
/proc/25021/task/25036/stat : 25036 (java) T 25019 25021 25021 0 -1 4202560 4860 0 0 0 85 0 0 0 15 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25021/tid=25037] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25037/stat : 25037 (java) T 25019 25021 25021 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=25021/tid=25038] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25038/stat : 25038 (java) T 25019 25021 25021 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948093381 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=25021/tid=25039] ppid=25019 vsize=8611040 CPUtime=0 cores=1,3,5,7
/proc/25021/task/25039/stat : 25039 (java) T 25019 25021 25021 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948093443 8817704960 282950 33554432000 1073741824 1073778376 140737151705264 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=25019/tid=25131] ppid=24865 vsize=323048 CPUtime=0 cores=1,3,5,7
/proc/25019/task/25131/stat : 25131 (python) S 24865 24865 22387 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948098162 330801152 7999 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604471132457856 0 0 -1 5 0 0 0
[pid=25137] ppid=24865 vsize=333304 CPUtime=0.41 cores=1,3,5,7
/proc/25137/stat : 25137 (python) S 24865 24865 22387 0 -1 4202560 1179 0 0 0 19 22 0 0 19 0 2 0 948102650 341303296 8003 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/25137/statm: 83326 8003 390 364 0 18201 0
[pid=25139] ppid=25137 vsize=28372 CPUtime=92.54 cores=1,3,5,7
/proc/25139/stat : 25139 (clasp-1.3.7-x86) T 25137 25139 25139 0 -1 4202496 7650 0 0 0 9253 1 0 0 25 0 1 0 948102651 29052928 6857 33554432000 134512640 136139019 4292574400 18446744073709551615 134871060 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/25139/statm: 7093 6857 189 398 0 6693 0
[pid=25137/tid=25186] ppid=24865 vsize=333304 CPUtime=0 cores=1,3,5,7
/proc/25137/task/25186/stat : 25186 (python) S 24865 24865 22387 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 948111910 341303296 8003 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554946 18446604457313142656 0 0 -1 7 0 0 0
[pid=25210] ppid=24865 vsize=343560 CPUtime=0 cores=1,3,5,7
/proc/25210/stat : 25210 (python) S 24865 24865 22387 0 -1 4202560 806 0 0 0 0 0 0 0 15 0 1 0 948116438 351805440 7935 33554432000 4194304 5683644 140736842478736 18446744073709551615 260905414214 0 0 16781312 33554946 3464653708552306688 0 0 17 5 0 0 0
/proc/25210/statm: 85890 7935 319 364 0 20762 0
[pid=25212] ppid=25210 vsize=8611348 CPUtime=2.15 cores=1,3,5,7
/proc/25212/stat : 25212 (java) S 25210 25212 25212 0 -1 4202496 49954 0 1 0 210 5 0 0 19 0 19 0 948116439 8818020352 46085 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25212/statm: 2152837 46085 2245 9 0 2143578 0
[pid=25212/tid=25213] ppid=25210 vsize=8611348 CPUtime=0.92 cores=1,3,5,7
/proc/25212/task/25213/stat : 25213 (java) R 25210 25212 25212 0 -1 4202560 35249 0 1 0 89 3 0 0 25 0 19 0 948116439 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 46912505962656 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25212/tid=25214] ppid=25210 vsize=8611348 CPUtime=0.02 cores=1,3,5,7
/proc/25212/task/25214/stat : 25214 (java) S 25210 25212 25212 0 -1 4202560 1937 0 0 0 2 0 0 0 16 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25215] ppid=25210 vsize=8611348 CPUtime=0.02 cores=1,3,5,7
/proc/25212/task/25215/stat : 25215 (java) S 25210 25212 25212 0 -1 4202560 1683 0 0 0 2 0 0 0 16 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 7 0 0 0
[pid=25212/tid=25216] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25216/stat : 25216 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 7 0 0 0
[pid=25212/tid=25217] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25217/stat : 25217 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25218] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25218/stat : 25218 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25219] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25219/stat : 25219 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25220] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25220/stat : 25220 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25221] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25221/stat : 25221 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948116440 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 7 0 0 0
[pid=25212/tid=25222] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25222/stat : 25222 (java) S 25210 25212 25212 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 19 0 948116441 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210624 0 0 0 16800975 18446604458518772608 0 0 -1 5 0 0 0
[pid=25212/tid=25223] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25223/stat : 25223 (java) S 25210 25212 25212 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948116441 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25224] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25224/stat : 25224 (java) S 25210 25212 25212 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 948116441 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25225] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25225/stat : 25225 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917217713 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25226] ppid=25210 vsize=8611348 CPUtime=0.52 cores=1,3,5,7
/proc/25212/task/25226/stat : 25226 (java) S 25210 25212 25212 0 -1 4202560 4520 0 0 0 52 0 0 0 24 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 3 0 0 0
[pid=25212/tid=25227] ppid=25210 vsize=8611348 CPUtime=0.63 cores=1,3,5,7
/proc/25212/task/25227/stat : 25227 (java) S 25210 25212 25212 0 -1 4202560 5104 0 0 0 63 0 0 0 25 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 5 0 0 0
[pid=25212/tid=25228] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25228/stat : 25228 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210009 0 4 0 16800975 18446604458518772608 0 0 -1 1 0 0 0
[pid=25212/tid=25229] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25229/stat : 25229 (java) S 25210 25212 25212 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 948116443 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210624 0 4 0 16800975 18446604458518772608 0 0 -1 3 0 0 0
[pid=25212/tid=25230] ppid=25210 vsize=8611348 CPUtime=0 cores=1,3,5,7
/proc/25212/task/25230/stat : 25230 (java) S 25210 25212 25212 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 948116508 8818020352 46092 33554432000 1073741824 1073778376 140734806528944 18446744073709551615 260917210624 0 4 0 16800975 18446604458518772608 0 0 -1 3 0 0 0
[pid=24865/tid=24873] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24873/stat : 24873 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 18 0 7 0 948078751 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
[pid=24865/tid=24878] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24878/stat : 24878 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 18 0 7 0 948083636 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
[pid=24865/tid=24885] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/24885/stat : 24885 (python) S 24863 24865 22387 0 -1 4202560 28 1446 0 0 0 0 18 4 20 0 7 0 948088521 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 1 0 0 0
[pid=24865/tid=25020] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25020/stat : 25020 (python) S 24863 24865 22387 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 7 0 948093377 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
[pid=24865/tid=25138] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25138/stat : 25138 (python) S 24863 24865 22387 0 -1 4202560 26 1446 0 0 0 0 18 4 20 0 7 0 948102651 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 7 0 0 0
[pid=24865/tid=25211] ppid=24863 vsize=353804 CPUtime=0.22 cores=1,3,5,7
/proc/24865/task/25211/stat : 25211 (python) S 24863 24865 22387 0 -1 4202560 27 1446 0 0 0 0 18 4 20 0 7 0 948116438 362295296 9502 33554432000 4194304 5683644 140736842478736 18446744073709551615 260917217713 0 0 16781312 33554434 18446604459312697536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 384.03
Current children cumulated vsize (KiB) 20032088

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 379.494
CPU time (s): 384.03
CPU user time (s): 381.01
CPU system time (s): 3.02
CPU usage (%): 101.195
Max. virtual memory (cumulated for all children) (KiB): 20032088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3218
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21537
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= 15814
involuntary context switches= 27

runsolver used 2.82357 second user time and 6.577 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-09 02:14:38
IDJOB=3481605
IDBENCH=48272
IDSOLVER=1970
FILE ID=node116/3481605-1307578478
RUNJOBID= node116-1307576359-22406
PBS_JOBID= 13547683
Free space on /tmp= 73548 MiB

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

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

MD5SUM BENCH= de244e44f140b74baa9d32bfcc24f10d
RANDOM SEED=1999280602

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.77
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.826
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.826
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.826
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:     32950928 kB
MemFree:      12167272 kB
Buffers:        178800 kB
Cached:         846484 kB
SwapCached:      13320 kB
Active:       20323584 kB
Inactive:       165580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12167272 kB
SwapTotal:    67111528 kB
SwapFree:     61542368 kB
Dirty:          102500 kB
Writeback:          20 kB
AnonPages:    19461428 kB
Mapped:         118356 kB
Slab:           126380 kB
PageTables:      94616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 158972196 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= 73396 MiB
End job on node116 at 2011-06-09 02:21:01