Trace number 3481584

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) 150.98 149.589

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
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-28
Best CPU time to get the best result obtained on this benchmark1797.57
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
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)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

Solver Data 

0.37/0.87	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.37/0.87	c INFO: solving HOME/instance-3481584-1307578366.opb
0.37/0.89	c INFO: wrote linearized instance to HOME/tmp3Flz6s.opb
0.45/0.91	c INFO: parsing took 0.02 s
0.45/0.95	c INFO: features took 0.04 CPU seconds
0.45/0.97	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.49)
51.18/51.49	c INFO: running scip-2.0.1-clp@0 for 45 with 1750 remaining (b = 0.11)
102.32/102.37	c INFO: running sat4j-pb-v20101225@0 for 45 with 1699 remaining (b = 0.05)
150.18/149.16	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1652 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-3481584-1307578366/watcher-3481584-1307578366 -o /tmp/evaluation-result-3481584-1307578366/solver-3481584-1307578366 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481584-1307578366.opb -seed 923846817 -budget 1800 

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.02 1.80 3/851 32195
/proc/meminfo: memFree=19011208/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=16248 CPUtime=0 cores=1,3,5,7
/proc/32195/stat : 32195 (python) R 32193 32195 30488 0 -1 4202496 1052 0 0 0 0 0 0 0 23 0 1 0 869435454 16637952 923 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32195/statm: 4062 923 381 364 0 549 0

[startup+0.0576391 s]
/proc/loadavg: 1.92 2.02 1.80 3/851 32195
/proc/meminfo: memFree=19011208/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/32195/stat : 32195 (python) R 32193 32195 30488 0 -1 4202496 1409 0 0 0 3 0 0 0 24 0 1 0 869435454 30507008 1252 33554432000 4194304 5683644 140735681685648 18446744073709551615 4904064 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32195/statm: 7448 1252 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792

[startup+0.100634 s]
/proc/loadavg: 1.92 2.02 1.80 3/851 32195
/proc/meminfo: memFree=19011208/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=85364 CPUtime=0.06 cores=1,3,5,7
/proc/32195/stat : 32195 (python) D 32193 32195 30488 0 -1 4202496 2586 0 0 0 5 1 0 0 24 0 1 0 869435454 87412736 2310 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272694839 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/32195/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85364

[startup+0.301207 s]
/proc/loadavg: 1.92 2.02 1.80 3/851 32195
/proc/meminfo: memFree=19011208/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=96132 CPUtime=0.06 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 3035 465 1 0 5 1 0 0 22 0 1 0 869435454 98439168 2483 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272688896 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 18
/proc/32195/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132

[startup+0.700528 s]
/proc/loadavg: 1.92 2.02 1.80 3/851 32195
/proc/meminfo: memFree=19011208/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=215064 CPUtime=0.29 cores=1,3,5,7
/proc/32195/stat : 32195 (python) R 32193 32195 30488 0 -1 4202496 7074 931 1 0 20 9 0 0 21 0 1 0 869435454 220225536 5296 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272494363 0 0 16781312 2 0 0 0 17 5 0 0 18
/proc/32195/statm: 53766 5296 1523 364 0 3950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 215064

[startup+1.50038 s]
/proc/loadavg: 1.92 2.02 1.80 3/855 32204
/proc/meminfo: memFree=18972136/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=293748 CPUtime=0.53 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 10887 1334 1 0 40 12 1 0 20 0 2 0 869435454 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 73437 7269 1863 364 0 8324 0
[pid=32202] ppid=32195 vsize=283504 CPUtime=0 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 812 0 0 0 0 0 0 0 16 0 1 0 869435552 290308096 5727 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709135 0 0 16781312 33554946 2139858406012354560 0 0 17 1 0 0 0
/proc/32202/statm: 70876 5727 325 364 0 5763 0
[pid=32204] ppid=32202 vsize=52244 CPUtime=0.5 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) R 32202 32204 32204 0 -1 4202496 12039 0 0 0 33 17 0 0 22 0 1 0 869435552 53497856 10881 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32204/statm: 13061 10881 795 2317 0 10739 0
[pid=32195/tid=32203] ppid=32193 vsize=293748 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 2 0 869435552 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 629496

[startup+3.10109 s]
/proc/loadavg: 1.92 2.02 1.80 3/855 32204
/proc/meminfo: memFree=18943740/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=293748 CPUtime=0.53 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 10887 1334 1 0 40 12 1 0 20 0 2 0 869435454 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 73437 7269 1863 364 0 8324 0
[pid=32202] ppid=32195 vsize=283504 CPUtime=0 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 1 0 869435552 290308096 5727 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709135 0 0 16781312 33554946 2139858406012354560 0 0 17 1 0 0 0
/proc/32202/statm: 70876 5727 325 364 0 5763 0
[pid=32204] ppid=32202 vsize=52244 CPUtime=2.1 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) R 32202 32204 32204 0 -1 4202496 12066 0 0 0 188 22 0 0 25 0 1 0 869435552 53497856 10908 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32204/statm: 13061 10908 822 2317 0 10739 0
[pid=32195/tid=32203] ppid=32193 vsize=293748 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 2 0 869435552 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 629496

[startup+6.30053 s]
/proc/loadavg: 1.93 2.02 1.80 3/855 32204
/proc/meminfo: memFree=18940020/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=293748 CPUtime=0.53 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 10887 1334 1 0 40 12 1 0 20 0 2 0 869435454 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 73437 7269 1863 364 0 8324 0
[pid=32202] ppid=32195 vsize=283504 CPUtime=0.02 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 941 0 0 0 1 1 0 0 15 0 1 0 869435552 290308096 5750 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709135 0 0 16781312 33554946 1771020066469445632 0 0 17 7 0 0 0
/proc/32202/statm: 70876 5750 348 364 0 5763 0
[pid=32204] ppid=32202 vsize=57620 CPUtime=5.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) R 32202 32204 32204 0 -1 4202496 13189 0 0 0 503 27 0 0 25 0 1 0 869435552 59002880 12022 33554432000 4194304 13684479 140735935068688 18446744073709551615 4900184 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32204/statm: 14405 12022 832 2317 0 12083 0
[pid=32195/tid=32203] ppid=32193 vsize=293748 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 2 0 869435552 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 634872

[startup+12.7004 s]
/proc/loadavg: 1.93 2.02 1.80 2/838 32227
/proc/meminfo: memFree=19029952/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=293748 CPUtime=0.53 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 10887 1334 1 0 40 12 1 0 20 0 2 0 869435454 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 73437 7269 1863 364 0 8324 0
[pid=32202] ppid=32195 vsize=283504 CPUtime=0.04 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 944 0 0 0 2 2 0 0 15 0 1 0 869435552 290308096 5750 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709135 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/32202/statm: 70876 5750 348 364 0 5763 0
[pid=32204] ppid=32202 vsize=61304 CPUtime=11.71 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) R 32202 32204 32204 0 -1 4202496 15080 0 0 0 1133 38 0 0 25 0 1 0 869435552 62775296 13177 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32204/statm: 15326 13177 834 2317 0 13004 0
[pid=32195/tid=32203] ppid=32193 vsize=293748 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 2 0 869435552 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 638556

[startup+25.5011 s]
/proc/loadavg: 1.95 2.02 1.80 3/843 32262
/proc/meminfo: memFree=18887548/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=293748 CPUtime=0.53 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 10887 1334 1 0 40 12 1 0 20 0 2 0 869435454 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 73437 7269 1863 364 0 8324 0
[pid=32202] ppid=32195 vsize=283504 CPUtime=0.13 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 949 0 0 0 6 7 0 0 15 0 1 0 869435552 290308096 5750 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373716 0 0 17 7 0 0 0
/proc/32202/statm: 70876 5750 348 364 0 5763 0
[pid=32204] ppid=32202 vsize=61304 CPUtime=24.5 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) R 32202 32204 32204 0 -1 4202496 15080 0 0 0 2390 60 0 0 25 0 1 0 869435552 62775296 13177 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32204/statm: 15326 13177 834 2317 0 13004 0
[pid=32195/tid=32203] ppid=32193 vsize=293748 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 2 0 869435552 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 638556

[startup+51.1005 s]
/proc/loadavg: 1.96 2.02 1.81 3/843 32263
/proc/meminfo: memFree=18886764/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=293748 CPUtime=0.53 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 10887 1334 1 0 40 12 1 0 20 0 2 0 869435454 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 73437 7269 1863 364 0 8324 0
[pid=32202] ppid=32195 vsize=283504 CPUtime=0.25 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 960 0 0 0 11 14 0 0 15 0 1 0 869435552 290308096 5750 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373716 0 0 17 7 0 0 0
/proc/32202/statm: 70876 5750 348 364 0 5763 0
[pid=32204] ppid=32202 vsize=61304 CPUtime=50.1 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) R 32202 32204 32204 0 -1 4202496 15080 0 0 0 4894 116 0 0 25 0 1 0 869435552 62775296 13177 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32204/statm: 15326 13177 834 2317 0 13004 0
[pid=32195/tid=32203] ppid=32193 vsize=293748 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 2 0 869435552 300797952 7269 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 638556

[startup+102.324 s]
/proc/loadavg: 1.98 2.01 1.82 3/851 32273
/proc/meminfo: memFree=18757332/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=304452 CPUtime=0.55 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 11704 1334 1 0 42 12 1 0 20 0 3 0 869435454 311758848 7395 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 18
/proc/32195/statm: 76113 7395 1874 364 0 10997 0
[pid=32202] ppid=32195 vsize=293748 CPUtime=0.28 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 1162 0 0 0 12 16 0 0 17 0 2 0 869435552 300797952 5818 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32202/statm: 73437 5818 411 364 0 8324 0
[pid=32204] ppid=32202 vsize=61304 CPUtime=50.47 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) T 32202 32204 32204 0 -1 4202496 15080 0 0 0 4930 117 0 0 25 0 1 0 869435552 62775296 13177 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32204/statm: 15326 13177 834 2317 0 13004 0
[pid=32202/tid=32264] ppid=32195 vsize=293748 CPUtime=0 cores=1,3,5,7
/proc/32202/task/32264/stat : 32264 (python) S 32195 32195 30488 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869440602 300797952 5818 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554946 18446604470996326208 0 0 -1 7 0 0 0
[pid=32265] ppid=32195 vsize=294212 CPUtime=0.26 cores=1,3,5,7
/proc/32265/stat : 32265 (python) R 32195 32195 30488 0 -1 4202560 942 0 0 0 14 12 0 0 15 0 1 0 869440604 301273088 5861 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272688955 0 0 16781312 33554946 0 0 0 17 3 0 0 0
/proc/32265/statm: 73552 5861 344 364 0 8436 0
[pid=32267] ppid=32265 vsize=60652 CPUtime=50.76 cores=1,3,5,7
/proc/32267/stat : 32267 (scip-2.0.1.linu) R 32265 32267 32267 0 -1 4202496 13169 0 0 0 5039 37 0 0 19 0 1 0 869440604 62107648 12528 33554432000 4194304 15243407 140736946829088 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32267/statm: 15163 12528 954 2698 0 12458 0
[pid=32195/tid=32203] ppid=32193 vsize=304452 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 3 0 869435552 311758848 7395 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32266] ppid=32193 vsize=304452 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32266/stat : 32266 (python) S 32193 32195 30488 0 -1 4202560 32 1334 0 0 0 0 1 0 20 0 3 0 869440604 311758848 7395 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1014368



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+149.501 s]
/proc/loadavg: 2.08 2.04 1.83 6/917 32340
/proc/meminfo: memFree=18292664/32950928 swapFree=43925852/67111528

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

[pid=32322/tid=32330] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32330/stat : 32330 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9836 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32331] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32331/stat : 32331 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9837 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32332] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32332/stat : 32332 (java) S 32320 32322 32322 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869450373 8743903232 9838 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284505600 0 0 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32333] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32333/stat : 32333 (java) S 32320 32322 32322 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869450374 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32334] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32334/stat : 32334 (java) S 32320 32322 32322 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869450374 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32335] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32335/stat : 32335 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284512689 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32336] ppid=32320 vsize=8538968 CPUtime=0.18 cores=1,3,5,7
/proc/32322/task/32336/stat : 32336 (java) R 32320 32322 32322 0 -1 4202560 1726 0 0 0 18 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 47893437871488 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32322/tid=32337] ppid=32320 vsize=8538968 CPUtime=0.14 cores=1,3,5,7
/proc/32322/task/32337/stat : 32337 (java) R 32320 32322 32322 0 -1 4202560 3116 0 0 0 14 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 47893439221745 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32322/tid=32338] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32338/stat : 32338 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32339] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32339/stat : 32339 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284505600 0 4 0 16800975 18446604464740719360 0 0 -1 5 0 0 0
[pid=32322/tid=32340] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32340/stat : 32340 (java) S 32320 32322 32322 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869450398 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284505600 0 4 0 16800975 18446604464740719360 0 0 -1 5 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 5 0 869435552 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32266] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32266/stat : 32266 (python) S 32193 32195 30488 0 -1 4202560 32 1334 0 0 0 0 1 0 20 0 5 0 869440604 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32276] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32276/stat : 32276 (python) S 32193 32195 30488 0 -1 4202560 30 1334 0 0 0 0 1 0 20 0 5 0 869445692 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32321] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32321/stat : 32321 (python) S 32193 32195 30488 0 -1 4202560 34 1334 0 0 0 0 1 0 20 0 5 0 869450371 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 150.98
Current children cumulated vsize (KiB) 18735192

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

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

[startup+149.501 s]
/proc/loadavg: 2.08 2.04 1.83 6/917 32340
/proc/meminfo: memFree=18292664/32950928 swapFree=43925852/67111528
[pid=32195] ppid=32193 vsize=324964 CPUtime=0.61 cores=1,3,5,7
/proc/32195/stat : 32195 (python) S 32193 32195 30488 0 -1 4202496 13477 1334 1 0 47 13 1 0 19 0 5 0 869435454 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 18
/proc/32195/statm: 81241 7426 1878 364 0 16119 0
[pid=32202] ppid=32195 vsize=293748 CPUtime=0.28 cores=1,3,5,7
/proc/32202/stat : 32202 (python) S 32195 32195 30488 0 -1 4202560 1162 0 0 0 12 16 0 0 17 0 2 0 869435552 300797952 5818 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32202/statm: 73437 5818 411 364 0 8324 0
[pid=32204] ppid=32202 vsize=61304 CPUtime=50.47 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.linu) T 32202 32204 32204 0 -1 4202496 15080 0 0 0 4930 117 0 0 25 0 1 0 869435552 62775296 13177 33554432000 4194304 13684479 140735935068688 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32204/statm: 15326 13177 834 2317 0 13004 0
[pid=32202/tid=32264] ppid=32195 vsize=293748 CPUtime=0 cores=1,3,5,7
/proc/32202/task/32264/stat : 32264 (python) S 32195 32195 30488 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869440602 300797952 5818 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554946 18446604470996326208 0 0 -1 7 0 0 0
[pid=32265] ppid=32195 vsize=294208 CPUtime=0.29 cores=1,3,5,7
/proc/32265/stat : 32265 (python) S 32195 32195 30488 0 -1 4202560 1129 0 0 0 16 13 0 0 17 0 2 0 869440604 301268992 5909 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32265/statm: 73552 5909 391 364 0 8436 0
[pid=32267] ppid=32265 vsize=60652 CPUtime=50.78 cores=1,3,5,7
/proc/32267/stat : 32267 (scip-2.0.1.linu) T 32265 32267 32267 0 -1 4202496 13169 0 0 0 5041 37 0 0 19 0 1 0 869440604 62107648 12528 33554432000 4194304 15243407 140736946829088 18446744073709551615 8112904 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32267/statm: 15163 12528 954 2698 0 12458 0
[pid=32265/tid=32274] ppid=32195 vsize=294208 CPUtime=0 cores=1,3,5,7
/proc/32265/task/32274/stat : 32274 (python) S 32195 32195 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869445689 301268992 5909 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459372895040 0 0 -1 3 0 0 0
[pid=32275] ppid=32195 vsize=304464 CPUtime=0.28 cores=1,3,5,7
/proc/32275/stat : 32275 (python) S 32195 32195 30488 0 -1 4202560 1101 0 0 0 13 15 0 0 16 0 2 0 869445692 311771136 5930 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32275/statm: 76116 5930 391 364 0 10997 0
[pid=32277] ppid=32275 vsize=8542164 CPUtime=47.57 cores=1,3,5,7
/proc/32277/stat : 32277 (java) T 32275 32277 32277 0 -1 4202496 50307 0 1 0 4748 9 0 0 18 0 19 0 869445692 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32277/statm: 2135541 27932 2253 9 0 2126282 0
[pid=32277/tid=32278] ppid=32275 vsize=8542164 CPUtime=46.13 cores=1,3,5,7
/proc/32277/task/32278/stat : 32278 (java) T 32275 32277 32277 0 -1 4202560 35401 0 1 0 4608 5 0 0 25 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 46912505678877 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32277/tid=32279] ppid=32275 vsize=8542164 CPUtime=0.06 cores=1,3,5,7
/proc/32277/task/32279/stat : 32279 (java) T 32275 32277 32277 0 -1 4202560 713 0 0 0 6 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32277/tid=32280] ppid=32275 vsize=8542164 CPUtime=0.04 cores=1,3,5,7
/proc/32277/task/32280/stat : 32280 (java) T 32275 32277 32277 0 -1 4202560 998 0 0 0 4 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32277/tid=32281] ppid=32275 vsize=8542164 CPUtime=0.04 cores=1,3,5,7
/proc/32277/task/32281/stat : 32281 (java) T 32275 32277 32277 0 -1 4202560 1031 0 0 0 4 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32277/tid=32282] ppid=32275 vsize=8542164 CPUtime=0.06 cores=1,3,5,7
/proc/32277/task/32282/stat : 32282 (java) T 32275 32277 32277 0 -1 4202560 1173 0 0 0 6 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32277/tid=32283] ppid=32275 vsize=8542164 CPUtime=0.04 cores=1,3,5,7
/proc/32277/task/32283/stat : 32283 (java) T 32275 32277 32277 0 -1 4202560 416 0 0 0 4 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32277/tid=32284] ppid=32275 vsize=8542164 CPUtime=0.05 cores=1,3,5,7
/proc/32277/task/32284/stat : 32284 (java) T 32275 32277 32277 0 -1 4202560 1209 0 0 0 5 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32277/tid=32285] ppid=32275 vsize=8542164 CPUtime=0.04 cores=1,3,5,7
/proc/32277/task/32285/stat : 32285 (java) T 32275 32277 32277 0 -1 4202560 1018 0 0 0 4 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32277/tid=32286] ppid=32275 vsize=8542164 CPUtime=0.04 cores=1,3,5,7
/proc/32277/task/32286/stat : 32286 (java) T 32275 32277 32277 0 -1 4202560 200 0 0 0 4 0 0 0 15 0 19 0 869445693 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32277/tid=32287] ppid=32275 vsize=8542164 CPUtime=0.36 cores=1,3,5,7
/proc/32277/task/32287/stat : 32287 (java) T 32275 32277 32277 0 -1 4202560 1863 0 0 0 36 0 0 0 15 0 19 0 869445694 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32277/tid=32288] ppid=32275 vsize=8542164 CPUtime=0 cores=1,3,5,7
/proc/32277/task/32288/stat : 32288 (java) T 32275 32277 32277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869445695 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32277/tid=32289] ppid=32275 vsize=8542164 CPUtime=0 cores=1,3,5,7
/proc/32277/task/32289/stat : 32289 (java) T 32275 32277 32277 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869445695 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32277/tid=32290] ppid=32275 vsize=8542164 CPUtime=0 cores=1,3,5,7
/proc/32277/task/32290/stat : 32290 (java) T 32275 32277 32277 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869445697 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32277/tid=32291] ppid=32275 vsize=8542164 CPUtime=0.23 cores=1,3,5,7
/proc/32277/task/32291/stat : 32291 (java) T 32275 32277 32277 0 -1 4202560 2711 0 0 0 23 0 0 0 15 0 19 0 869445697 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32277/tid=32292] ppid=32275 vsize=8542164 CPUtime=0.38 cores=1,3,5,7
/proc/32277/task/32292/stat : 32292 (java) T 32275 32277 32277 0 -1 4202560 2178 0 0 0 38 0 0 0 15 0 19 0 869445697 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32277/tid=32293] ppid=32275 vsize=8542164 CPUtime=0 cores=1,3,5,7
/proc/32277/task/32293/stat : 32293 (java) T 32275 32277 32277 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869445697 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32277/tid=32294] ppid=32275 vsize=8542164 CPUtime=0 cores=1,3,5,7
/proc/32277/task/32294/stat : 32294 (java) T 32275 32277 32277 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869445697 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32277/tid=32295] ppid=32275 vsize=8542164 CPUtime=0 cores=1,3,5,7
/proc/32277/task/32295/stat : 32295 (java) T 32275 32277 32277 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869445719 8747175936 27932 33554432000 1073741824 1073778376 140737273333744 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32275/tid=32319] ppid=32195 vsize=304464 CPUtime=0 cores=1,3,5,7
/proc/32275/task/32319/stat : 32319 (python) S 32195 32195 30488 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869450368 311771136 5930 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554946 18446604456471074752 0 0 -1 5 0 0 0
[pid=32320] ppid=32195 vsize=314720 CPUtime=0 cores=1,3,5,7
/proc/32320/stat : 32320 (python) R 32195 32195 30488 0 -1 4202560 790 0 0 0 0 0 0 0 16 0 1 0 869450371 322273280 5864 33554432000 4194304 5683644 140735681685648 18446744073709551615 268272709190 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/32320/statm: 78680 5864 320 364 0 13558 0
[pid=32322] ppid=32320 vsize=8538968 CPUtime=0.7 cores=1,3,5,7
/proc/32322/stat : 32322 (java) S 32320 32322 32322 0 -1 4202496 11518 0 1 0 68 2 0 0 21 0 19 0 869450371 8743903232 9861 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32322/statm: 2134742 9861 2217 9 0 2125483 0
[pid=32322/tid=32323] ppid=32320 vsize=8538968 CPUtime=0.36 cores=1,3,5,7
/proc/32322/task/32323/stat : 32323 (java) R 32320 32322 32322 0 -1 4202560 5277 0 1 0 35 1 0 0 25 0 19 0 869450372 8743903232 9832 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 47893444053843 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32322/tid=32324] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32324/stat : 32324 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869450372 8743903232 9832 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32325] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32325/stat : 32325 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9833 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32326] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32326/stat : 32326 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9834 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 1 0 0 0
[pid=32322/tid=32327] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32327/stat : 32327 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9834 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32328] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32328/stat : 32328 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9835 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 1 0 0 0
[pid=32322/tid=32329] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32329/stat : 32329 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9835 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 1 0 0 0
[pid=32322/tid=32330] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32330/stat : 32330 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9836 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32331] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32331/stat : 32331 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450372 8743903232 9837 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32332] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32332/stat : 32332 (java) S 32320 32322 32322 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869450373 8743903232 9838 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284505600 0 0 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32333] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32333/stat : 32333 (java) S 32320 32322 32322 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869450374 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32334] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32334/stat : 32334 (java) S 32320 32322 32322 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869450374 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 7 0 0 0
[pid=32322/tid=32335] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32335/stat : 32335 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284512689 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32336] ppid=32320 vsize=8538968 CPUtime=0.18 cores=1,3,5,7
/proc/32322/task/32336/stat : 32336 (java) R 32320 32322 32322 0 -1 4202560 1726 0 0 0 18 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 47893437871488 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32322/tid=32337] ppid=32320 vsize=8538968 CPUtime=0.14 cores=1,3,5,7
/proc/32322/task/32337/stat : 32337 (java) R 32320 32322 32322 0 -1 4202560 3116 0 0 0 14 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 47893439221745 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32322/tid=32338] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32338/stat : 32338 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284504985 0 4 0 16800975 18446604464740719360 0 0 -1 3 0 0 0
[pid=32322/tid=32339] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32339/stat : 32339 (java) S 32320 32322 32322 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869450376 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284505600 0 4 0 16800975 18446604464740719360 0 0 -1 5 0 0 0
[pid=32322/tid=32340] ppid=32320 vsize=8538968 CPUtime=0 cores=1,3,5,7
/proc/32322/task/32340/stat : 32340 (java) S 32320 32322 32322 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869450398 8743903232 9839 33554432000 1073741824 1073778376 140737027185008 18446744073709551615 268284505600 0 4 0 16800975 18446604464740719360 0 0 -1 5 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32203/stat : 32203 (python) S 32193 32195 30488 0 -1 4202560 24 1334 0 0 0 0 1 0 20 0 5 0 869435552 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32266] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32266/stat : 32266 (python) S 32193 32195 30488 0 -1 4202560 32 1334 0 0 0 0 1 0 20 0 5 0 869440604 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32276] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32276/stat : 32276 (python) S 32193 32195 30488 0 -1 4202560 30 1334 0 0 0 0 1 0 20 0 5 0 869445692 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
[pid=32195/tid=32321] ppid=32193 vsize=324964 CPUtime=0.01 cores=1,3,5,7
/proc/32195/task/32321/stat : 32321 (python) S 32193 32195 30488 0 -1 4202560 34 1334 0 0 0 0 1 0 20 0 5 0 869450371 332763136 7426 33554432000 4194304 5683644 140735681685648 18446744073709551615 268284512689 0 0 16781312 33554434 18446604458703079296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 150.98
Current children cumulated vsize (KiB) 18735192

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 149.589
CPU time (s): 150.98
CPU user time (s): 148.76
CPU system time (s): 2.22
CPU usage (%): 100.93
Max. virtual memory (cumulated for all children) (KiB): 18735192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.489925
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14813
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= 3767
involuntary context switches= 24

runsolver used 1.01285 second user time and 2.36864 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-09 02:12:46
IDJOB=3481584
IDBENCH=48251
IDSOLVER=1970
FILE ID=node122/3481584-1307578366
RUNJOBID= node122-1307576358-30507
PBS_JOBID= 13547677
Free space on /tmp= 73444 MiB

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

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=923846817

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19011488 kB
Buffers:        157428 kB
Cached:         781824 kB
SwapCached:      16764 kB
Active:       13431228 kB
Inactive:       160220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19011488 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:          101648 kB
Writeback:           0 kB
AnonPages:    12649708 kB
Mapped:          92768 kB
Slab:           146960 kB
PageTables:     125852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 200241716 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= 73300 MiB
End job on node122 at 2011-06-09 02:15:18