Trace number 3481938

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) 121.72 119.891

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
MD5SUM5f844d3fbd9d157e56bab6c09ee5f179
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark25.9381
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved YES
Number of variables21675
Total number of constraints1210400
Number of constraints which are clauses1206830
Number of constraints which are cardinality constraints (but not clauses)3570
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint170
Number of terms in the objective function 170
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 170
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 168
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 338
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.41/1.21	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.41/1.21	c INFO: solving HOME/instance-3481938-1307577572.opb
7.81/8.71	c INFO: parsing took 7.35 s
22.10/22.96	c INFO: features took 14.22 CPU seconds
22.10/22.99	c INFO: running wbo1.4a@0 for 45 with 1778 remaining (b = 0.05)
69.73/70.37	c INFO: running sat4j-pb-v20101225@0 for 45 with 1731 remaining (b = 0.02)
120.57/119.19	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1680 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-3481938-1307577572/watcher-3481938-1307577572 -o /tmp/evaluation-result-3481938-1307577572/solver-3481938-1307577572 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481938-1307577572.opb -seed 1067838095 -budget 1800 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.04 1.53 2/793 8138
/proc/meminfo: memFree=25680176/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 947988247 15753216 696 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/8138/statm: 3846 696 334 364 0 333 0

[startup+0.0785299 s]
/proc/loadavg: 2.00 2.04 1.53 2/793 8138
/proc/meminfo: memFree=25680176/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=43624 CPUtime=0.04 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 1880 0 0 0 3 1 0 0 20 0 1 0 947988247 44670976 1654 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/8138/statm: 10906 1654 467 364 0 1171 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43624

[startup+0.100318 s]
/proc/loadavg: 2.00 2.04 1.53 2/793 8138
/proc/meminfo: memFree=25680176/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/8138/stat : 8138 (python) D 8136 8138 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 947988247 87412736 2310 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/8138/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364

[startup+0.30031 s]
/proc/loadavg: 2.00 2.04 1.53 2/793 8138
/proc/meminfo: memFree=25680176/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/8138/stat : 8138 (python) D 8136 8138 7156 0 -1 4202496 2586 0 0 0 4 1 0 0 18 0 1 0 947988247 87412736 2310 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/8138/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364

[startup+0.700219 s]
/proc/loadavg: 2.00 2.04 1.53 2/793 8138
/proc/meminfo: memFree=25680176/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=111680 CPUtime=0.11 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 4640 931 1 0 8 3 0 0 18 0 1 0 947988247 114360320 3095 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 52
/proc/8138/statm: 27920 3095 901 364 0 2099 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 111680

[startup+1.50108 s]
/proc/loadavg: 2.00 2.04 1.53 3/794 8143
/proc/meminfo: memFree=25662188/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=334896 CPUtime=0.7 cores=0,2,4,6
/proc/8138/stat : 8138 (python) R 8136 8138 7156 0 -1 4202496 22118 931 1 0 57 13 0 0 17 0 1 0 947988247 342933504 19980 33554432000 4194304 5683644 140736243340688 18446744073709551615 4639824 0 0 16781312 2 0 0 0 17 6 0 0 52
/proc/8138/statm: 83724 19980 1781 364 0 18617 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 334896

[startup+3.10085 s]
/proc/loadavg: 2.00 2.04 1.53 3/794 8143
/proc/meminfo: memFree=25580596/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=389400 CPUtime=2.31 cores=0,2,4,6
/proc/8138/stat : 8138 (python) R 8136 8138 7156 0 -1 4202496 35411 931 1 0 215 16 0 0 19 0 1 0 947988247 398745600 33273 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284612304 0 0 16781312 2 0 0 0 17 0 0 0 52
/proc/8138/statm: 97350 33274 1781 364 0 32243 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 389400
heavy processes:

[startup+6.30032 s]
/proc/loadavg: 2.16 2.08 1.54 3/794 8143
/proc/meminfo: memFree=25478556/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=494968 CPUtime=5.5 cores=0,2,4,6
/proc/8138/stat : 8138 (python) R 8136 8138 7156 0 -1 4202496 61005 931 1 0 530 20 0 0 25 0 1 0 947988247 506847232 58867 33554432000 4194304 5683644 140736243340688 18446744073709551615 4639680 0 0 16781312 2 0 0 0 17 0 0 0 52
/proc/8138/statm: 123742 58868 1781 364 0 58635 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 494968

[startup+12.7002 s]
/proc/loadavg: 2.15 2.07 1.54 3/794 8143
/proc/meminfo: memFree=25383696/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=555060 CPUtime=11.9 cores=0,2,4,6
/proc/8138/stat : 8138 (python) R 8136 8138 7156 0 -1 4202496 125891 931 1 0 1162 28 0 0 25 0 1 0 947988247 568381440 75111 33554432000 4194304 5683644 140736243340688 18446744073709551615 224288334505 0 0 16781312 33554434 0 0 0 17 0 0 0 52
/proc/8138/statm: 138765 75111 1815 364 0 73658 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 555060

[startup+25.5011 s]
/proc/loadavg: 2.18 2.09 1.55 3/797 8146
/proc/meminfo: memFree=25315264/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=593696 CPUtime=22.19 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 133270 931 1 0 2190 29 0 0 25 0 2 0 947988247 607944704 82262 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 52
/proc/8138/statm: 148424 82262 1870 364 0 83311 0
[pid=8144] ppid=8138 vsize=583452 CPUtime=0 cores=0,2,4,6
/proc/8144/stat : 8144 (python) S 8138 8138 7156 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 947990546 597454848 80739 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284945935 0 0 16781312 33554946 9736923720273854722 0 0 17 0 0 0 0
/proc/8144/statm: 145863 80739 351 364 0 80750 0
[pid=8146] ppid=8144 vsize=91880 CPUtime=2.49 cores=0,2,4,6
/proc/8146/stat : 8146 (wbo1.4a) R 8144 8146 8146 0 -1 4202496 20506 0 0 0 247 2 0 0 25 0 1 0 947990547 94085120 20251 33554432000 134512640 135751879 4290056688 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/8146/statm: 22970 20251 8754 303 0 11936 0
[pid=8138/tid=8145] ppid=8136 vsize=593696 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8145/stat : 8145 (python) S 8136 8138 7156 0 -1 4202560 29 931 0 0 0 0 0 0 25 0 2 0 947990547 607944704 82262 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 1269028

[startup+51.1008 s]
/proc/loadavg: 2.12 2.08 1.56 3/797 8146
/proc/meminfo: memFree=25212664/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=593696 CPUtime=22.19 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 133270 931 1 0 2190 29 0 0 25 0 2 0 947988247 607944704 82262 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 52
/proc/8138/statm: 148424 82262 1870 364 0 83311 0
[pid=8144] ppid=8138 vsize=583452 CPUtime=0.16 cores=0,2,4,6
/proc/8144/stat : 8144 (python) S 8138 8138 7156 0 -1 4202560 930 0 0 0 8 8 0 0 15 0 1 0 947990546 597454848 80763 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284945935 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/8144/statm: 145863 80763 375 364 0 80750 0
[pid=8146] ppid=8144 vsize=147628 CPUtime=28.08 cores=0,2,4,6
/proc/8146/stat : 8146 (wbo1.4a) R 8144 8146 8146 0 -1 4202496 103517 0 0 0 2786 22 0 0 25 0 1 0 947990547 151171072 35105 33554432000 134512640 135751879 4290056688 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/8146/statm: 36907 35105 146 303 0 36602 0
[pid=8138/tid=8145] ppid=8136 vsize=593696 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8145/stat : 8145 (python) S 8136 8138 7156 0 -1 4202560 29 931 0 0 0 0 0 0 25 0 2 0 947990547 607944704 82262 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 1324776

[startup+102.323 s]
/proc/loadavg: 2.22 2.11 1.60 3/819 8179
/proc/meminfo: memFree=24565604/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=603952 CPUtime=22.23 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 134152 931 1 0 2193 30 0 0 20 0 3 0 947988247 618446848 82269 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 52
/proc/8138/statm: 150988 82269 1873 364 0 85872 0
[pid=8144] ppid=8138 vsize=593696 CPUtime=0.29 cores=0,2,4,6
/proc/8144/stat : 8144 (python) S 8138 8138 7156 0 -1 4202560 1095 0 0 0 14 15 0 0 16 0 2 0 947990546 607944704 80799 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8144/statm: 148424 80799 406 364 0 83311 0
[pid=8146] ppid=8144 vsize=188404 CPUtime=47.33 cores=0,2,4,6
/proc/8146/stat : 8146 (wbo1.4a) T 8144 8146 8146 0 -1 4202496 113744 0 0 0 4703 30 0 0 25 0 1 0 947990547 192925696 45332 33554432000 134512640 135751879 4290056688 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/8146/statm: 47101 45332 146 303 0 46796 0
[pid=8144/tid=8149] ppid=8138 vsize=593696 CPUtime=0 cores=0,2,4,6
/proc/8144/task/8149/stat : 8149 (python) S 8138 8138 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947995282 607944704 80799 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554946 18446604445261574336 0 0 -1 6 0 0 0
[pid=8150] ppid=8138 vsize=593708 CPUtime=0.18 cores=0,2,4,6
/proc/8150/stat : 8150 (python) S 8138 8138 7156 0 -1 4202560 934 0 0 0 9 9 0 0 15 0 1 0 947995284 607956992 80764 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284945990 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/8150/statm: 148427 80764 372 364 0 83311 0
[pid=8152] ppid=8150 vsize=8538052 CPUtime=33.65 cores=0,2,4,6
/proc/8152/stat : 8152 (java) S 8150 8152 8152 0 -1 4202496 158300 0 1 0 3345 20 0 0 20 0 19 0 947995285 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8152/statm: 2134513 151599 2254 9 0 2125254 0
[pid=8152/tid=8153] ppid=8150 vsize=8538052 CPUtime=31.12 cores=0,2,4,6
/proc/8152/task/8153/stat : 8153 (java) R 8150 8152 8152 0 -1 4202560 127623 0 1 0 3097 15 0 0 25 0 19 0 947995287 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 46912505854855 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8152/tid=8154] ppid=8150 vsize=8538052 CPUtime=0.03 cores=0,2,4,6
/proc/8152/task/8154/stat : 8154 (java) S 8150 8152 8152 0 -1 4202560 2401 0 0 0 3 0 0 0 15 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 2 0 0 0
[pid=8152/tid=8155] ppid=8150 vsize=8538052 CPUtime=0.02 cores=0,2,4,6
/proc/8152/task/8155/stat : 8155 (java) S 8150 8152 8152 0 -1 4202560 943 0 0 0 2 0 0 0 15 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 0 0 0 0
[pid=8152/tid=8156] ppid=8150 vsize=8538052 CPUtime=0.03 cores=0,2,4,6
/proc/8152/task/8156/stat : 8156 (java) S 8150 8152 8152 0 -1 4202560 1115 0 0 0 3 0 0 0 15 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 2 0 0 0
[pid=8152/tid=8157] ppid=8150 vsize=8538052 CPUtime=0.02 cores=0,2,4,6
/proc/8152/task/8157/stat : 8157 (java) S 8150 8152 8152 0 -1 4202560 986 0 0 0 2 0 0 0 15 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 2 0 0 0
[pid=8152/tid=8158] ppid=8150 vsize=8538052 CPUtime=0.04 cores=0,2,4,6
/proc/8152/task/8158/stat : 8158 (java) S 8150 8152 8152 0 -1 4202560 2213 0 0 0 4 0 0 0 16 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8159] ppid=8150 vsize=8538052 CPUtime=0.05 cores=0,2,4,6
/proc/8152/task/8159/stat : 8159 (java) S 8150 8152 8152 0 -1 4202560 2560 0 0 0 5 0 0 0 15 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8160] ppid=8150 vsize=8538052 CPUtime=0.03 cores=0,2,4,6
/proc/8152/task/8160/stat : 8160 (java) S 8150 8152 8152 0 -1 4202560 1362 0 0 0 3 0 0 0 16 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 0 0 0 0
[pid=8152/tid=8161] ppid=8150 vsize=8538052 CPUtime=0.02 cores=0,2,4,6
/proc/8152/task/8161/stat : 8161 (java) S 8150 8152 8152 0 -1 4202560 603 0 0 0 2 0 0 0 15 0 19 0 947995288 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 0 0 0 0
[pid=8152/tid=8162] ppid=8150 vsize=8538052 CPUtime=0.63 cores=0,2,4,6
/proc/8152/task/8162/stat : 8162 (java) S 8150 8152 8152 0 -1 4202560 3441 0 0 0 63 0 0 0 15 0 19 0 947995289 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296742400 0 0 0 16800975 18446604445475034176 0 0 -1 4 0 0 0
[pid=8152/tid=8163] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8163/stat : 8163 (java) S 8150 8152 8152 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 947995289 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8164] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8164/stat : 8164 (java) S 8150 8152 8152 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 947995289 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8165] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8165/stat : 8165 (java) S 8150 8152 8152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947995292 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296749489 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8166] ppid=8150 vsize=8538052 CPUtime=0.95 cores=0,2,4,6
/proc/8152/task/8166/stat : 8166 (java) S 8150 8152 8152 0 -1 4202560 11110 0 0 0 93 2 0 0 15 0 19 0 947995292 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8167] ppid=8150 vsize=8538052 CPUtime=0.61 cores=0,2,4,6
/proc/8152/task/8167/stat : 8167 (java) S 8150 8152 8152 0 -1 4202560 2550 0 0 0 61 0 0 0 15 0 19 0 947995292 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 0 0 0 0
[pid=8152/tid=8168] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8168/stat : 8168 (java) S 8150 8152 8152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947995292 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446604445475034176 0 0 -1 6 0 0 0
[pid=8152/tid=8169] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8169/stat : 8169 (java) S 8150 8152 8152 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947995292 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296742400 0 4 0 16800975 18446604445475034176 0 0 -1 4 0 0 0
[pid=8152/tid=8170] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8170/stat : 8170 (java) S 8150 8152 8152 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 947995817 8742965248 151599 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296742400 0 4 0 16800975 18446604445475034176 0 0 -1 2 0 0 0
[pid=8138/tid=8145] ppid=8136 vsize=603952 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8145/stat : 8145 (python) S 8136 8138 7156 0 -1 4202560 29 931 0 0 0 0 0 0 25 0 3 0 947990547 618446848 82269 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 0 0 0 0
[pid=8138/tid=8151] ppid=8136 vsize=603952 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8151/stat : 8151 (python) S 8136 8138 7156 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 3 0 947995285 618446848 82269 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103.68
Current children cumulated vsize (KiB) 10517812



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+119.801 s]
/proc/loadavg: 2.17 2.10 1.61 3/824 8225
/proc/meminfo: memFree=24466136/32951124 swapFree=33333036/67111528
[pid=8138] ppid=8136 vsize=614208 CPUtime=22.26 cores=0,2,4,6
/proc/8138/stat : 8138 (python) S 8136 8138 7156 0 -1 4202496 134984 931 1 0 2195 31 0 0 20 0 4 0 947988247 628948992 82275 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 52
/proc/8138/statm: 153552 82275 1875 364 0 88433 0
[pid=8144] ppid=8138 vsize=593696 CPUtime=0.29 cores=0,2,4,6
/proc/8144/stat : 8144 (python) S 8138 8138 7156 0 -1 4202560 1095 0 0 0 14 15 0 0 16 0 2 0 947990546 607944704 80799 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8144/statm: 148424 80799 406 364 0 83311 0
[pid=8146] ppid=8144 vsize=188404 CPUtime=47.33 cores=0,2,4,6
/proc/8146/stat : 8146 (wbo1.4a) T 8144 8146 8146 0 -1 4202496 113744 0 0 0 4703 30 0 0 25 0 1 0 947990547 192925696 45332 33554432000 134512640 135751879 4290056688 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/8146/statm: 47101 45332 146 303 0 46796 0
[pid=8144/tid=8149] ppid=8138 vsize=593696 CPUtime=0 cores=0,2,4,6
/proc/8144/task/8149/stat : 8149 (python) S 8138 8138 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947995282 607944704 80799 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554946 18446604445261574336 0 0 -1 6 0 0 0
[pid=8150] ppid=8138 vsize=593708 CPUtime=0.28 cores=0,2,4,6
/proc/8150/stat : 8150 (python) S 8138 8138 7156 0 -1 4202560 1098 0 0 0 14 14 0 0 17 0 2 0 947995284 607956992 80789 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8150/statm: 148427 80789 396 364 0 83311 0
[pid=8152] ppid=8150 vsize=8538052 CPUtime=50.53 cores=0,2,4,6
/proc/8152/stat : 8152 (java) T 8150 8152 8152 0 -1 4202496 158712 0 1 0 5032 21 0 0 18 0 19 0 947995285 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8152/statm: 2134513 151864 2255 9 0 2125254 0
[pid=8152/tid=8153] ppid=8150 vsize=8538052 CPUtime=47.63 cores=0,2,4,6
/proc/8152/task/8153/stat : 8153 (java) T 8150 8152 8152 0 -1 4202560 127629 0 1 0 4748 15 0 0 25 0 19 0 947995287 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 46912505854803 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8152/tid=8154] ppid=8150 vsize=8538052 CPUtime=0.04 cores=0,2,4,6
/proc/8152/task/8154/stat : 8154 (java) T 8150 8152 8152 0 -1 4202560 2404 0 0 0 4 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8152/tid=8155] ppid=8150 vsize=8538052 CPUtime=0.03 cores=0,2,4,6
/proc/8152/task/8155/stat : 8155 (java) T 8150 8152 8152 0 -1 4202560 948 0 0 0 3 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8156] ppid=8150 vsize=8538052 CPUtime=0.04 cores=0,2,4,6
/proc/8152/task/8156/stat : 8156 (java) T 8150 8152 8152 0 -1 4202560 1115 0 0 0 4 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8152/tid=8157] ppid=8150 vsize=8538052 CPUtime=0.02 cores=0,2,4,6
/proc/8152/task/8157/stat : 8157 (java) T 8150 8152 8152 0 -1 4202560 986 0 0 0 2 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8152/tid=8158] ppid=8150 vsize=8538052 CPUtime=0.05 cores=0,2,4,6
/proc/8152/task/8158/stat : 8158 (java) T 8150 8152 8152 0 -1 4202560 2213 0 0 0 5 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8152/tid=8159] ppid=8150 vsize=8538052 CPUtime=0.05 cores=0,2,4,6
/proc/8152/task/8159/stat : 8159 (java) T 8150 8152 8152 0 -1 4202560 2561 0 0 0 5 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8160] ppid=8150 vsize=8538052 CPUtime=0.03 cores=0,2,4,6
/proc/8152/task/8160/stat : 8160 (java) T 8150 8152 8152 0 -1 4202560 1362 0 0 0 3 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8161] ppid=8150 vsize=8538052 CPUtime=0.03 cores=0,2,4,6
/proc/8152/task/8161/stat : 8161 (java) T 8150 8152 8152 0 -1 4202560 607 0 0 0 3 0 0 0 15 0 19 0 947995288 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8162] ppid=8150 vsize=8538052 CPUtime=0.93 cores=0,2,4,6
/proc/8152/task/8162/stat : 8162 (java) T 8150 8152 8152 0 -1 4202560 3829 0 0 0 93 0 0 0 15 0 19 0 947995289 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8152/tid=8163] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8163/stat : 8163 (java) T 8150 8152 8152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947995289 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8164] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8164/stat : 8164 (java) T 8150 8152 8152 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947995289 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8165] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8165/stat : 8165 (java) T 8150 8152 8152 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947995292 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8166] ppid=8150 vsize=8538052 CPUtime=0.96 cores=0,2,4,6
/proc/8152/task/8166/stat : 8166 (java) T 8150 8152 8152 0 -1 4202560 11111 0 0 0 94 2 0 0 15 0 19 0 947995292 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8167] ppid=8150 vsize=8538052 CPUtime=0.62 cores=0,2,4,6
/proc/8152/task/8167/stat : 8167 (java) T 8150 8152 8152 0 -1 4202560 2552 0 0 0 62 0 0 0 15 0 19 0 947995292 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8152/tid=8168] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8168/stat : 8168 (java) T 8150 8152 8152 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947995292 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8152/tid=8169] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8169/stat : 8169 (java) T 8150 8152 8152 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947995292 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8152/tid=8170] ppid=8150 vsize=8538052 CPUtime=0 cores=0,2,4,6
/proc/8152/task/8170/stat : 8170 (java) T 8150 8152 8152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 947995817 8742965248 151864 33554432000 1073741824 1073778376 140734813605680 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8150/tid=8205] ppid=8138 vsize=593708 CPUtime=0 cores=0,2,4,6
/proc/8150/task/8205/stat : 8205 (python) S 8138 8138 7156 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948000164 607956992 80789 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443397974080 0 0 -1 6 0 0 0
[pid=8206] ppid=8138 vsize=603964 CPUtime=0 cores=0,2,4,6
/proc/8206/stat : 8206 (python) S 8138 8138 7156 0 -1 4202560 787 0 0 0 0 0 0 0 20 0 1 0 948000167 618459136 80744 33554432000 4194304 5683644 140736243340688 18446744073709551615 224284945990 0 0 16781312 33554946 2852910573006356480 0 0 17 0 0 0 0
/proc/8206/statm: 150991 80744 348 364 0 85872 0
[pid=8208] ppid=8206 vsize=8538636 CPUtime=1.03 cores=0,2,4,6
/proc/8208/stat : 8208 (java) S 8206 8208 8208 0 -1 4202496 38214 0 1 0 98 5 0 0 22 0 18 0 948000167 8743563264 36283 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8208/statm: 2134659 36285 2204 9 0 2125400 0
[pid=8208/tid=8209] ppid=8206 vsize=8538636 CPUtime=0.61 cores=0,2,4,6
/proc/8208/task/8209/stat : 8209 (java) R 8206 8208 8208 0 -1 4202560 33747 0 1 0 57 4 0 0 18 0 18 0 948000169 8743563264 37665 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 46912505561435 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8208/tid=8210] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8210/stat : 8210 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37668 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8211] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8211/stat : 8211 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37670 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8212] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8212/stat : 8212 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37673 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8213] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8213/stat : 8213 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37676 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8214] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8214/stat : 8214 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37678 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8215] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8215/stat : 8215 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37681 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8216] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8216/stat : 8216 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37684 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8217] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8217/stat : 8217 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000169 8743563264 37686 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8218] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8218/stat : 8218 (java) S 8206 8208 8208 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948000170 8743563264 37689 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296742400 0 0 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8219] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8219/stat : 8219 (java) S 8206 8208 8208 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948000171 8743563264 37692 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8220] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8220/stat : 8220 (java) S 8206 8208 8208 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948000171 8743563264 37694 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8221] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8221/stat : 8221 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000173 8743563264 37697 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296749489 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8222] ppid=8206 vsize=8538636 CPUtime=0.2 cores=0,2,4,6
/proc/8208/task/8222/stat : 8222 (java) S 8206 8208 8208 0 -1 4202560 1654 0 0 0 20 0 0 0 16 0 18 0 948000173 8743563264 37700 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 2 0 0 0
[pid=8208/tid=8223] ppid=8206 vsize=8538636 CPUtime=0.21 cores=0,2,4,6
/proc/8208/task/8223/stat : 8223 (java) S 8206 8208 8208 0 -1 4202560 2810 0 0 0 21 0 0 0 25 0 18 0 948000173 8743563264 37702 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 0 0 0 0
[pid=8208/tid=8224] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8224/stat : 8224 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948000173 8743563264 37705 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540928 0 0 -1 6 0 0 0
[pid=8208/tid=8225] ppid=8206 vsize=8538636 CPUtime=0 cores=0,2,4,6
/proc/8208/task/8225/stat : 8225 (java) S 8206 8208 8208 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948000173 8743563264 37707 33554432000 1073741824 1073778376 140737273708176 18446744073709551615 224296742400 0 4 0 16800975 18446604453450540928 0 0 -1 2 0 0 0
[pid=8138/tid=8145] ppid=8136 vsize=614208 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8145/stat : 8145 (python) S 8136 8138 7156 0 -1 4202560 29 931 0 0 0 0 0 0 25 0 4 0 947990547 628948992 82275 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 0 0 0 0
[pid=8138/tid=8151] ppid=8136 vsize=614208 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8151/stat : 8151 (python) S 8136 8138 7156 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 4 0 947995285 628948992 82275 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 0 0 0 0
[pid=8138/tid=8207] ppid=8136 vsize=614208 CPUtime=0 cores=0,2,4,6
/proc/8138/task/8207/stat : 8207 (python) S 8136 8138 7156 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 948000167 628948992 82275 33554432000 4194304 5683644 140736243340688 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451878007744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 121.72
Current children cumulated vsize (KiB) 19670668

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 8138 and gives
#  childrusage.ru_utime.tv_sec=21
#  childrusage.ru_utime.tv_usec=957661
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=333949
# CPU time returned by wait4() is 22.2916
# while last known CPU time is 121.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 119.891
CPU time (s): 121.72
CPU user time (s): 120.56
CPU system time (s): 1.16
CPU usage (%): 101.525
Max. virtual memory (cumulated for all children) (KiB): 19670668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9577
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135916
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= 2860
involuntary context switches= 64

runsolver used 0.831873 second user time and 1.66175 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-09 01:59:33
IDJOB=3481938
IDBENCH=2952
IDSOLVER=1970
FILE ID=node118/3481938-1307577572
RUNJOBID= node118-1307576359-7174
PBS_JOBID= 13547681
Free space on /tmp= 73536 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.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-3481938-1307577572/watcher-3481938-1307577572 -o /tmp/evaluation-result-3481938-1307577572/solver-3481938-1307577572 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481938-1307577572.opb -seed 1067838095 -budget 1800

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

MD5SUM BENCH= 5f844d3fbd9d157e56bab6c09ee5f179
RANDOM SEED=1067838095

node118.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.842
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.68
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.842
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25679736 kB
Buffers:        138456 kB
Cached:         763448 kB
SwapCached:      16428 kB
Active:        6776124 kB
Inactive:       142388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25679736 kB
SwapTotal:    67111528 kB
SwapFree:     33333036 kB
Dirty:          144748 kB
Writeback:           0 kB
AnonPages:     6013596 kB
Mapped:          83384 kB
Slab:           145388 kB
PageTables:     133276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 194109740 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= 73388 MiB
End job on node118 at 2011-06-09 02:01:38