Trace number 3481609

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) 244.55 239.695

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_1.opb
MD5SUM6856221d5d444d2079d321f11fb11f0b
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-68
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -74
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)151172
Sum of products size (including duplicates)302344
Number of different products75586
Sum of products size151172

Solver Data 

0.38/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.38/0.68	c INFO: solving HOME/instance-3481609-1307578518.opb
2.01/1.77	c INFO: wrote linearized instance to HOME/tmpOYSOfn.opb
3.16/2.88	c INFO: parsing took 1.09 s
5.36/5.00	c INFO: features took 2.12 CPU seconds
5.36/5.03	c INFO: running wbo1.4a@0 for 45 with 1796 remaining (b = 0.01)
51.54/51.00	c INFO: running scip-2.0.1-spx@0 for 45 with 1750 remaining (b = 0.01)
98.37/97.67	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1704 remaining (b = 0.00)
146.62/142.90	c INFO: running clasp-1.3.7@0 for 91 with 1657 remaining (b = 0.01)
243.43/239.16	c INFO: running sat4j-pb-v20101225@0 for 91 with 1560 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-3481609-1307578518/watcher-3481609-1307578518 -o /tmp/evaluation-result-3481609-1307578518/solver-3481609-1307578518 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481609-1307578518.opb -seed 1234851178 -budget 1800 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.04 1.83 2/886 32369
/proc/meminfo: memFree=18324152/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=16240 CPUtime=0.01 cores=1,3,5,7
/proc/32369/stat : 32369 (python) R 32367 32369 30488 0 -1 4202496 1063 0 0 0 1 0 0 0 23 0 1 0 869450707 16629760 934 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32369/statm: 4060 934 381 364 0 547 0

[startup+0.088028 s]
/proc/loadavg: 2.08 2.04 1.83 2/886 32369
/proc/meminfo: memFree=18324152/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=54636 CPUtime=0.05 cores=1,3,5,7
/proc/32369/stat : 32369 (python) R 32367 32369 30488 0 -1 4202496 2081 0 0 0 3 2 0 0 17 0 1 0 869450707 55947264 1836 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272684980 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32369/statm: 13659 1836 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636

[startup+0.10102 s]
/proc/loadavg: 2.08 2.04 1.83 2/886 32369
/proc/meminfo: memFree=18324152/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 2666 0 0 0 4 2 0 0 17 0 1 0 869450707 87674880 2382 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/32369/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620

[startup+0.30099 s]
/proc/loadavg: 2.08 2.04 1.83 2/886 32369
/proc/meminfo: memFree=18324152/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/32369/stat : 32369 (python) R 32367 32369 30488 0 -1 4202496 5358 933 1 0 10 8 0 0 16 0 1 0 869450707 126709760 3744 33554432000 4194304 5683644 140735425632880 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32369/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740

[startup+0.700892 s]
/proc/loadavg: 2.08 2.04 1.83 2/886 32369
/proc/meminfo: memFree=18324152/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=282400 CPUtime=0.45 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 9200 933 1 0 26 19 0 0 15 0 1 0 869450707 289177600 6937 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709135 0 0 16781312 2 1563907724025004032 0 0 17 5 0 0 0
/proc/32369/statm: 70600 6937 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 282400

[startup+1.50075 s]
/proc/loadavg: 2.08 2.04 1.83 3/888 32375
/proc/meminfo: memFree=18301800/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=290492 CPUtime=0.83 cores=1,3,5,7
/proc/32369/stat : 32369 (python) R 32367 32369 30488 0 -1 4202496 11204 933 1 0 30 53 0 0 16 0 1 0 869450707 297463808 8935 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709135 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32369/statm: 72623 8935 1777 364 0 7516 0
[pid=32375] ppid=32369 vsize=3744 CPUtime=0.81 cores=1,3,5,7
/proc/32375/stat : 32375 (PBlinearize) R 32369 32369 30488 0 -1 4202496 945 0 0 0 68 13 0 0 18 0 1 0 869450776 3833856 703 33554432000 4194304 5518411 140736286078768 18446744073709551615 4926752 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32375/statm: 936 703 126 324 0 608 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 294236

[startup+3.1004 s]
/proc/loadavg: 2.15 2.05 1.84 3/887 32375
/proc/meminfo: memFree=18272916/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=325676 CPUtime=3.47 cores=1,3,5,7
/proc/32369/stat : 32369 (python) R 32367 32369 30488 0 -1 4202496 33509 1879 1 0 165 76 85 21 17 0 1 0 869450707 333492224 17767 33554432000 4194304 5683644 140735425632880 18446744073709551615 47601423550720 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/32369/statm: 81419 17767 1816 364 0 16312 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 325676

[startup+6.30084 s]
/proc/loadavg: 2.15 2.05 1.84 3/890 32378
/proc/meminfo: memFree=18243756/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=338960 CPUtime=5.39 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 34927 1879 1 0 357 76 85 21 19 0 2 0 869450707 347095040 18580 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32369/statm: 84740 18580 1871 364 0 19627 0
[pid=32376] ppid=32369 vsize=328716 CPUtime=0 cores=1,3,5,7
/proc/32376/stat : 32376 (python) S 32369 32369 30488 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 1 0 869451211 336605184 17023 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709135 0 0 16781312 33554946 1860670465027080192 0 0 17 5 0 0 0
/proc/32376/statm: 82179 17023 318 364 0 17066 0
[pid=32378] ppid=32376 vsize=50796 CPUtime=1.25 cores=1,3,5,7
/proc/32378/stat : 32378 (wbo1.4a) R 32376 32378 32378 0 -1 4202496 15708 0 0 0 123 2 0 0 22 0 1 0 869451211 52015104 11684 33554432000 134512640 135751879 4292388160 18446744073709551615 134518934 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/32378/statm: 12699 11684 145 303 0 12394 0
[pid=32369/tid=32377] ppid=32367 vsize=338960 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 19 0 2 0 869451211 347095040 18580 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 718472

[startup+12.7007 s]
/proc/loadavg: 2.29 2.09 1.85 3/885 32438
/proc/meminfo: memFree=18142276/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=338960 CPUtime=5.39 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 34927 1879 1 0 357 76 85 21 19 0 2 0 869450707 347095040 18580 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32369/statm: 84740 18580 1871 364 0 19627 0
[pid=32376] ppid=32369 vsize=328716 CPUtime=0.02 cores=1,3,5,7
/proc/32376/stat : 32376 (python) S 32369 32369 30488 0 -1 4202560 879 0 0 0 1 1 0 0 15 0 1 0 869451211 336605184 17047 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709135 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/32376/statm: 82179 17047 342 364 0 17066 0
[pid=32378] ppid=32376 vsize=63468 CPUtime=7.65 cores=1,3,5,7
/proc/32378/stat : 32378 (wbo1.4a) R 32376 32378 32378 0 -1 4202496 20409 0 0 0 759 6 0 0 25 0 1 0 869451211 64991232 14874 33554432000 134512640 135751879 4292388160 18446744073709551615 134518928 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/32378/statm: 15867 14874 146 303 0 15562 0
[pid=32369/tid=32377] ppid=32367 vsize=338960 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 19 0 2 0 869451211 347095040 18580 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 731144

[startup+25.5005 s]
/proc/loadavg: 2.24 2.08 1.85 3/885 32439
/proc/meminfo: memFree=18130664/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=338960 CPUtime=5.39 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 34927 1879 1 0 357 76 85 21 19 0 2 0 869450707 347095040 18580 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32369/statm: 84740 18580 1871 364 0 19627 0
[pid=32376] ppid=32369 vsize=328716 CPUtime=0.1 cores=1,3,5,7
/proc/32376/stat : 32376 (python) S 32369 32369 30488 0 -1 4202560 888 0 0 0 4 6 0 0 15 0 1 0 869451211 336605184 17047 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709135 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/32376/statm: 82179 17047 342 364 0 17066 0
[pid=32378] ppid=32376 vsize=74608 CPUtime=20.43 cores=1,3,5,7
/proc/32378/stat : 32378 (wbo1.4a) R 32376 32378 32378 0 -1 4202496 23181 0 0 0 2034 9 0 0 25 0 1 0 869451211 76398592 17646 33554432000 134512640 135751879 4292388160 18446744073709551615 134606383 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32378/statm: 18652 17646 146 303 0 18347 0
[pid=32369/tid=32377] ppid=32367 vsize=338960 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 19 0 2 0 869451211 347095040 18580 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.92
Current children cumulated vsize (KiB) 742284

[startup+51.1008 s]
/proc/loadavg: 2.31 2.11 1.87 3/885 32439
/proc/meminfo: memFree=18098756/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=349216 CPUtime=5.42 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 35855 1879 1 0 360 76 85 21 20 0 3 0 869450707 357597184 18587 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32369/statm: 87304 18587 1874 364 0 22188 0
[pid=32376] ppid=32369 vsize=338960 CPUtime=0.25 cores=1,3,5,7
/proc/32376/stat : 32376 (python) S 32369 32369 30488 0 -1 4202560 1105 0 0 0 11 14 0 0 16 0 2 0 869451211 347095040 17115 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32376/statm: 84740 17115 405 364 0 19627 0
[pid=32378] ppid=32376 vsize=105428 CPUtime=45.88 cores=1,3,5,7
/proc/32378/stat : 32378 (wbo1.4a) T 32376 32378 32378 0 -1 4202496 30881 0 0 0 4575 13 0 0 25 0 1 0 869451211 107958272 25346 33554432000 134512640 135751879 4292388160 18446744073709551615 134606357 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/32378/statm: 26357 25346 146 303 0 26052 0
[pid=32369/tid=32377] ppid=32367 vsize=349216 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 19 0 3 0 869451211 357597184 18587 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.55
Current children cumulated vsize (KiB) 793604

[startup+102.302 s]
/proc/loadavg: 2.46 2.19 1.91 3/933 32489
/proc/meminfo: memFree=16764264/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=359472 CPUtime=5.44 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 36716 1879 1 0 362 76 85 21 20 0 4 0 869450707 368099328 18593 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32369/statm: 89868 18593 1876 364 0 24749 0
[pid=32376] ppid=32369 vsize=338960 CPUtime=0.25 cores=1,3,5,7
/proc/32376/stat : 32376 (python) S 32369 32369 30488 0 -1 4202560 1105 0 0 0 11 14 0 0 16 0 2 0 869451211 347095040 17115 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32376/statm: 84740 17115 405 364 0 19627 0
[pid=32378] ppid=32376 vsize=105428 CPUtime=45.88 cores=1,3,5,7
/proc/32378/stat : 32378 (wbo1.4a) T 32376 32378 32378 0 -1 4202496 30881 0 0 0 4575 13 0 0 25 0 1 0 869451211 107958272 25346 33554432000 134512640 135751879 4292388160 18446744073709551615 134606357 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/32378/statm: 26357 25346 146 303 0 26052 0
[pid=32376/tid=32440] ppid=32369 vsize=338960 CPUtime=0 cores=1,3,5,7
/proc/32376/task/32440/stat : 32440 (python) S 32369 32369 30488 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869455806 347095040 17115 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604467168483520 0 0 -1 3 0 0 0
[pid=32441] ppid=32369 vsize=338972 CPUtime=0.26 cores=1,3,5,7
/proc/32441/stat : 32441 (python) S 32369 32369 30488 0 -1 4202560 1127 0 0 0 11 15 0 0 16 0 2 0 869455808 347107328 17100 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32441/statm: 84743 17100 390 364 0 19627 0
[pid=32443] ppid=32441 vsize=689480 CPUtime=46.63 cores=1,3,5,7
/proc/32443/stat : 32443 (scip-2.0.1.linu) T 32441 32443 32443 0 -1 4202496 174788 0 0 0 4612 51 0 0 25 0 1 0 869455808 706027520 165417 33554432000 4194304 13684479 140737137413056 18446744073709551615 7390799 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32443/statm: 172370 165417 887 2317 0 170048 0
[pid=32441/tid=32467] ppid=32369 vsize=338972 CPUtime=0 cores=1,3,5,7
/proc/32441/task/32467/stat : 32467 (python) S 32369 32369 30488 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869460472 347107328 17100 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604464740717568 0 0 -1 7 0 0 0
[pid=32468] ppid=32369 vsize=349228 CPUtime=0.02 cores=1,3,5,7
/proc/32468/stat : 32468 (python) S 32369 32369 30488 0 -1 4202560 924 0 0 0 1 1 0 0 15 0 1 0 869460475 357609472 17055 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709190 0 0 16781312 33554946 142429490721587200 0 0 17 7 0 0 0
/proc/32468/statm: 87307 17055 342 364 0 22188 0
[pid=32470] ppid=32468 vsize=8542000 CPUtime=6.48 cores=1,3,5,7
/proc/32470/stat : 32470 (java) S 32468 32470 32470 0 -1 4202496 155213 0 1 0 632 16 0 0 20 0 19 0 869460475 8747008000 150390 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32470/statm: 2135500 150392 2246 9 0 2126241 0
[pid=32470/tid=32471] ppid=32468 vsize=8542000 CPUtime=4.37 cores=1,3,5,7
/proc/32470/task/32471/stat : 32471 (java) R 32468 32470 32470 0 -1 4202560 106833 0 1 0 426 11 0 0 25 0 19 0 869460476 8747008000 150393 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 46912506043312 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32470/tid=32472] ppid=32468 vsize=8542000 CPUtime=0.09 cores=1,3,5,7
/proc/32470/task/32472/stat : 32472 (java) S 32468 32470 32470 0 -1 4202560 6965 0 0 0 9 0 0 0 16 0 19 0 869460477 8747008000 150395 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 7 0 0 0
[pid=32470/tid=32473] ppid=32468 vsize=8542000 CPUtime=0.07 cores=1,3,5,7
/proc/32470/task/32473/stat : 32473 (java) S 32468 32470 32470 0 -1 4202560 4581 0 0 0 7 0 0 0 15 0 19 0 869460477 8747008000 150397 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 1 0 0 0
[pid=32470/tid=32474] ppid=32468 vsize=8542000 CPUtime=0.02 cores=1,3,5,7
/proc/32470/task/32474/stat : 32474 (java) S 32468 32470 32470 0 -1 4202560 1404 0 0 0 2 0 0 0 15 0 19 0 869460477 8747008000 150398 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 3 0 0 0
[pid=32470/tid=32475] ppid=32468 vsize=8542000 CPUtime=0.1 cores=1,3,5,7
/proc/32470/task/32475/stat : 32475 (java) S 32468 32470 32470 0 -1 4202560 6260 0 0 0 10 0 0 0 16 0 19 0 869460477 8747008000 150400 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 1 0 0 0
[pid=32470/tid=32476] ppid=32468 vsize=8542000 CPUtime=0.06 cores=1,3,5,7
/proc/32470/task/32476/stat : 32476 (java) S 32468 32470 32470 0 -1 4202560 3808 0 0 0 6 0 0 0 16 0 19 0 869460477 8747008000 150402 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 3 0 0 0
[pid=32470/tid=32477] ppid=32468 vsize=8542000 CPUtime=0.1 cores=1,3,5,7
/proc/32470/task/32477/stat : 32477 (java) S 32468 32470 32470 0 -1 4202560 5809 0 0 0 10 0 0 0 15 0 19 0 869460477 8747008000 150403 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 3 0 0 0
[pid=32470/tid=32478] ppid=32468 vsize=8542000 CPUtime=0.09 cores=1,3,5,7
/proc/32470/task/32478/stat : 32478 (java) S 32468 32470 32470 0 -1 4202560 6583 0 0 0 9 0 0 0 16 0 19 0 869460477 8747008000 150405 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 7 0 0 0
[pid=32470/tid=32479] ppid=32468 vsize=8542000 CPUtime=0.01 cores=1,3,5,7
/proc/32470/task/32479/stat : 32479 (java) S 32468 32470 32470 0 -1 4202560 429 0 0 0 1 0 0 0 15 0 19 0 869460477 8747008000 150407 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446604454820490112 0 0 -1 7 0 0 0
[pid=32470/tid=32480] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7

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

[pid=32470/tid=32489] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32489/stat : 32489 (java) T 32468 32470 32470 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869460593 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32468/tid=32495] ppid=32369 vsize=349228 CPUtime=0 cores=1,3,5,7
/proc/32468/task/32495/stat : 32495 (python) S 32369 32369 30488 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869464995 357609472 17104 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459609776320 0 0 -1 7 0 0 0
[pid=32496] ppid=32369 vsize=359484 CPUtime=0.42 cores=1,3,5,7
/proc/32496/stat : 32496 (python) S 32369 32369 30488 0 -1 4202560 998 0 0 0 19 23 0 0 15 0 1 0 869464997 368111616 17060 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709190 0 0 16781312 33554946 5623606151888251723 0 0 17 5 0 0 0
/proc/32496/statm: 89871 17060 343 364 0 24749 0
[pid=32498] ppid=32496 vsize=178112 CPUtime=79.39 cores=1,3,5,7
/proc/32498/stat : 32498 (clasp-1.3.7-x86) R 32496 32498 32498 0 -1 4202496 46065 0 0 0 7932 7 0 0 25 0 1 0 869464998 182386688 44003 33554432000 134512640 136139019 4291615488 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32498/statm: 44528 44003 189 398 0 44128 0
[pid=32369/tid=32377] ppid=32367 vsize=369728 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 19 0 5 0 869451211 378601472 18599 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 7 0 0 0
[pid=32369/tid=32442] ppid=32367 vsize=369728 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32442/stat : 32442 (python) S 32367 32369 30488 0 -1 4202560 33 1879 0 0 0 0 85 21 20 0 5 0 869455808 378601472 18599 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 3 0 0 0
[pid=32369/tid=32469] ppid=32367 vsize=369728 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32469/stat : 32469 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 20 0 5 0 869460475 378601472 18599 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 1 0 0 0
[pid=32369/tid=32497] ppid=32367 vsize=369728 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32497/stat : 32497 (python) S 32367 32369 30488 0 -1 4202560 29 1879 0 0 0 0 85 21 20 0 5 0 869464998 378601472 18599 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 226.56
Current children cumulated vsize (KiB) 11271392



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+239.601 s]
/proc/loadavg: 2.06 2.13 1.91 6/966 32525
/proc/meminfo: memFree=14698624/32950928 swapFree=43925852/67111528
[pid=32369] ppid=32367 vsize=379984 CPUtime=5.5 cores=1,3,5,7
/proc/32369/stat : 32369 (python) S 32367 32369 30488 0 -1 4202496 38484 1879 1 0 367 77 85 21 19 0 6 0 869450707 389103616 18605 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32369/statm: 94996 18605 1880 364 0 29871 0
[pid=32376] ppid=32369 vsize=338960 CPUtime=0.25 cores=1,3,5,7
/proc/32376/stat : 32376 (python) S 32369 32369 30488 0 -1 4202560 1105 0 0 0 11 14 0 0 16 0 2 0 869451211 347095040 17115 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32376/statm: 84740 17115 405 364 0 19627 0
[pid=32378] ppid=32376 vsize=105428 CPUtime=45.88 cores=1,3,5,7
/proc/32378/stat : 32378 (wbo1.4a) T 32376 32378 32378 0 -1 4202496 30881 0 0 0 4575 13 0 0 25 0 1 0 869451211 107958272 25346 33554432000 134512640 135751879 4292388160 18446744073709551615 134606357 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/32378/statm: 26357 25346 146 303 0 26052 0
[pid=32376/tid=32440] ppid=32369 vsize=338960 CPUtime=0 cores=1,3,5,7
/proc/32376/task/32440/stat : 32440 (python) S 32369 32369 30488 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869455806 347095040 17115 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604467168483520 0 0 -1 3 0 0 0
[pid=32441] ppid=32369 vsize=338972 CPUtime=0.26 cores=1,3,5,7
/proc/32441/stat : 32441 (python) S 32369 32369 30488 0 -1 4202560 1127 0 0 0 11 15 0 0 16 0 2 0 869455808 347107328 17100 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32441/statm: 84743 17100 390 364 0 19627 0
[pid=32443] ppid=32441 vsize=689480 CPUtime=46.63 cores=1,3,5,7
/proc/32443/stat : 32443 (scip-2.0.1.linu) T 32441 32443 32443 0 -1 4202496 174788 0 0 0 4612 51 0 0 25 0 1 0 869455808 706027520 165417 33554432000 4194304 13684479 140737137413056 18446744073709551615 7390799 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/32443/statm: 172370 165417 887 2317 0 170048 0
[pid=32441/tid=32467] ppid=32369 vsize=338972 CPUtime=0 cores=1,3,5,7
/proc/32441/task/32467/stat : 32467 (python) S 32369 32369 30488 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869460472 347107328 17100 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604464740717568 0 0 -1 7 0 0 0
[pid=32468] ppid=32369 vsize=349228 CPUtime=0.26 cores=1,3,5,7
/proc/32468/stat : 32468 (python) S 32369 32369 30488 0 -1 4202560 1141 0 0 0 12 14 0 0 16 0 2 0 869460475 357609472 17104 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32468/statm: 87307 17104 390 364 0 22188 0
[pid=32470] ppid=32468 vsize=8542000 CPUtime=47.99 cores=1,3,5,7
/proc/32470/stat : 32470 (java) T 32468 32470 32470 0 -1 4202496 559621 0 1 0 4745 54 0 0 18 0 19 0 869460475 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32470/statm: 2135500 554537 2249 9 0 2126241 0
[pid=32470/tid=32471] ppid=32468 vsize=8542000 CPUtime=44.76 cores=1,3,5,7
/proc/32470/task/32471/stat : 32471 (java) T 32468 32470 32470 0 -1 4202560 483037 0 1 0 4431 45 0 0 25 0 19 0 869460476 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 46912505978112 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32472] ppid=32468 vsize=8542000 CPUtime=0.16 cores=1,3,5,7
/proc/32470/task/32472/stat : 32472 (java) T 32468 32470 32470 0 -1 4202560 9746 0 0 0 15 1 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32473] ppid=32468 vsize=8542000 CPUtime=0.15 cores=1,3,5,7
/proc/32470/task/32473/stat : 32473 (java) T 32468 32470 32470 0 -1 4202560 9057 0 0 0 14 1 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32470/tid=32474] ppid=32468 vsize=8542000 CPUtime=0.09 cores=1,3,5,7
/proc/32470/task/32474/stat : 32474 (java) T 32468 32470 32470 0 -1 4202560 6044 0 0 0 9 0 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32470/tid=32475] ppid=32468 vsize=8542000 CPUtime=0.13 cores=1,3,5,7
/proc/32470/task/32475/stat : 32475 (java) T 32468 32470 32470 0 -1 4202560 8001 0 0 0 13 0 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32470/tid=32476] ppid=32468 vsize=8542000 CPUtime=0.13 cores=1,3,5,7
/proc/32470/task/32476/stat : 32476 (java) T 32468 32470 32470 0 -1 4202560 6914 0 0 0 13 0 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32470/tid=32477] ppid=32468 vsize=8542000 CPUtime=0.13 cores=1,3,5,7
/proc/32470/task/32477/stat : 32477 (java) T 32468 32470 32470 0 -1 4202560 8405 0 0 0 13 0 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32470/tid=32478] ppid=32468 vsize=8542000 CPUtime=0.18 cores=1,3,5,7
/proc/32470/task/32478/stat : 32478 (java) T 32468 32470 32470 0 -1 4202560 10695 0 0 0 17 1 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32479] ppid=32468 vsize=8542000 CPUtime=0.08 cores=1,3,5,7
/proc/32470/task/32479/stat : 32479 (java) T 32468 32470 32470 0 -1 4202560 4031 0 0 0 8 0 0 0 15 0 19 0 869460477 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32470/tid=32480] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32480/stat : 32480 (java) T 32468 32470 32470 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 869460478 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32470/tid=32481] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32481/stat : 32481 (java) T 32468 32470 32470 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869460478 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32482] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32482/stat : 32482 (java) T 32468 32470 32470 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869460478 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32483] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32483/stat : 32483 (java) T 32468 32470 32470 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869460480 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32484] ppid=32468 vsize=8542000 CPUtime=0.95 cores=1,3,5,7
/proc/32470/task/32484/stat : 32484 (java) T 32468 32470 32470 0 -1 4202560 3842 0 0 0 95 0 0 0 15 0 19 0 869460480 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32485] ppid=32468 vsize=8542000 CPUtime=1.1 cores=1,3,5,7
/proc/32470/task/32485/stat : 32485 (java) T 32468 32470 32470 0 -1 4202560 7189 0 0 0 110 0 0 0 15 0 19 0 869460480 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32470/tid=32486] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32486/stat : 32486 (java) T 32468 32470 32470 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869460480 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32470/tid=32487] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32487/stat : 32487 (java) T 32468 32470 32470 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869460480 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32470/tid=32489] ppid=32468 vsize=8542000 CPUtime=0 cores=1,3,5,7
/proc/32470/task/32489/stat : 32489 (java) T 32468 32470 32470 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869460593 8747008000 554537 33554432000 1073741824 1073778376 140736427672976 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32468/tid=32495] ppid=32369 vsize=349228 CPUtime=0 cores=1,3,5,7
/proc/32468/task/32495/stat : 32495 (python) S 32369 32369 30488 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869464995 357609472 17104 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459609776320 0 0 -1 7 0 0 0
[pid=32496] ppid=32369 vsize=359484 CPUtime=0.52 cores=1,3,5,7
/proc/32496/stat : 32496 (python) S 32369 32369 30488 0 -1 4202560 1199 0 0 0 23 29 0 0 17 0 2 0 869464997 368111616 17108 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32496/statm: 89871 17108 390 364 0 24749 0
[pid=32498] ppid=32496 vsize=188768 CPUtime=96.23 cores=1,3,5,7
/proc/32498/stat : 32498 (clasp-1.3.7-x86) T 32496 32498 32498 0 -1 4202496 48709 0 0 0 9615 8 0 0 25 0 1 0 869464998 193298432 46647 33554432000 134512640 136139019 4291615488 18446744073709551615 134833170 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32498/statm: 47192 46647 189 398 0 46792 0
[pid=32496/tid=32505] ppid=32369 vsize=359484 CPUtime=0 cores=1,3,5,7
/proc/32496/task/32505/stat : 32505 (python) S 32369 32369 30488 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869474621 368111616 17108 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554946 18446604465832801216 0 0 -1 7 0 0 0
[pid=32506] ppid=32369 vsize=369740 CPUtime=0 cores=1,3,5,7
/proc/32506/stat : 32506 (python) S 32369 32369 30488 0 -1 4202560 823 0 0 0 0 0 0 0 18 0 1 0 869474623 378613760 17040 33554432000 4194304 5683644 140735425632880 18446744073709551615 268272709190 0 0 16781312 33554946 16074744244421492997 0 0 17 3 0 0 0
/proc/32506/statm: 92435 17040 319 364 0 27310 0
[pid=32508] ppid=32506 vsize=8611380 CPUtime=1.03 cores=1,3,5,7
/proc/32508/stat : 32508 (java) S 32506 32508 32508 0 -1 4202496 19638 0 1 0 100 3 0 0 20 0 18 0 869474624 8818053120 16037 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32508/statm: 2152845 16038 2219 9 0 2143586 0
[pid=32508/tid=32509] ppid=32506 vsize=8611380 CPUtime=0.45 cores=1,3,5,7
/proc/32508/task/32509/stat : 32509 (java) R 32506 32508 32508 0 -1 4202560 8874 0 1 0 44 1 0 0 18 0 18 0 869474625 8818053120 16065 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 46912505731399 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32508/tid=32510] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32510/stat : 32510 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869474625 8818053120 16066 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32511] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32511/stat : 32511 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869474625 8818053120 16066 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32512] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32512/stat : 32512 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869474625 8818053120 16067 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32513] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32513/stat : 32513 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474625 8818053120 16067 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32514] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32514/stat : 32514 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474625 8818053120 16068 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 3 0 0 0
[pid=32508/tid=32515] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32515/stat : 32515 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474625 8818053120 16069 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 3 0 0 0
[pid=32508/tid=32516] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32516/stat : 32516 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474625 8818053120 16069 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 3 0 0 0
[pid=32508/tid=32517] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32517/stat : 32517 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474625 8818053120 16070 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 3 0 0 0
[pid=32508/tid=32518] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32518/stat : 32518 (java) S 32506 32508 32508 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869474626 8818053120 16070 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284505600 0 0 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32519] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32519/stat : 32519 (java) S 32506 32508 32508 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869474627 8818053120 16071 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32520] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32520/stat : 32520 (java) S 32506 32508 32508 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869474627 8818053120 16072 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 7 0 0 0
[pid=32508/tid=32521] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32521/stat : 32521 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474629 8818053120 16072 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284512689 0 4 0 16800975 18446604455175154688 0 0 -1 3 0 0 0
[pid=32508/tid=32522] ppid=32506 vsize=8611380 CPUtime=0.24 cores=1,3,5,7
/proc/32508/task/32522/stat : 32522 (java) R 32506 32508 32508 0 -1 4202560 4196 0 0 0 24 0 0 0 25 0 18 0 869474629 8818053120 16073 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 47449502811408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32508/tid=32523] ppid=32506 vsize=8611380 CPUtime=0.3 cores=1,3,5,7
/proc/32508/task/32523/stat : 32523 (java) R 32506 32508 32508 0 -1 4202560 5208 0 0 0 30 0 0 0 18 0 18 0 869474629 8818053120 16074 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 47449503649037 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32508/tid=32524] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32524/stat : 32524 (java) S 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869474629 8818053120 16074 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284504985 0 4 0 16800975 18446604455175154688 0 0 -1 3 0 0 0
[pid=32508/tid=32525] ppid=32506 vsize=8611380 CPUtime=0 cores=1,3,5,7
/proc/32508/task/32525/stat : 32525 (java) R 32506 32508 32508 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869474629 8818053120 16075 33554432000 1073741824 1073778376 140736694645312 18446744073709551615 268284505600 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32369/tid=32377] ppid=32367 vsize=379984 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 19 0 6 0 869451211 389103616 18605 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 7 0 0 0
[pid=32369/tid=32442] ppid=32367 vsize=379984 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32442/stat : 32442 (python) S 32367 32369 30488 0 -1 4202560 33 1879 0 0 0 0 85 21 20 0 6 0 869455808 389103616 18605 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 3 0 0 0
[pid=32369/tid=32469] ppid=32367 vsize=379984 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32469/stat : 32469 (python) S 32367 32369 30488 0 -1 4202560 28 1879 0 0 0 0 85 21 20 0 6 0 869460475 389103616 18605 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 1 0 0 0
[pid=32369/tid=32497] ppid=32367 vsize=379984 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32497/stat : 32497 (python) S 32367 32369 30488 0 -1 4202560 29 1879 0 0 0 0 85 21 20 0 6 0 869464998 389103616 18605 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 1 0 0 0
[pid=32369/tid=32507] ppid=32367 vsize=379984 CPUtime=1.06 cores=1,3,5,7
/proc/32369/task/32507/stat : 32507 (python) S 32367 32369 30488 0 -1 4202560 25 1879 0 0 0 0 85 21 20 0 6 0 869474624 389103616 18605 33554432000 4194304 5683644 140735425632880 18446744073709551615 268284512689 0 0 16781312 33554434 18446604462743804096 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 244.55
Current children cumulated vsize (KiB) 20273424

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 32369 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=531311
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=994848
# CPU time returned by wait4() is 5.52616
# while last known CPU time is 244.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 239.695
CPU time (s): 244.55
CPU user time (s): 241.56
CPU system time (s): 2.99
CPU usage (%): 102.025
Max. virtual memory (cumulated for all children) (KiB): 20273424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.53131
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40365
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= 67976
involuntary context switches= 33

runsolver used 1.86372 second user time and 3.9504 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-09 02:15:18
IDJOB=3481609
IDBENCH=48276
IDSOLVER=1970
FILE ID=node122/3481609-1307578518
RUNJOBID= node122-1307576358-30507
PBS_JOBID= 13547677
Free space on /tmp= 73356 MiB

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

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

MD5SUM BENCH= 6856221d5d444d2079d321f11fb11f0b
RANDOM SEED=1234851178

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:      18324432 kB
Buffers:        159492 kB
Cached:         869132 kB
SwapCached:      16764 kB
Active:       14115728 kB
Inactive:       160648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18324432 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:          110732 kB
Writeback:           0 kB
AnonPages:    13245936 kB
Mapped:         107220 kB
Slab:           147564 kB
PageTables:     125848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 201248192 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= 73212 MiB
End job on node122 at 2011-06-09 02:19:21