Trace number 3481812

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
borg pb-opt-11.04.03? (MO) 149.73 146.577

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
MD5SUMdd415565c40b70127defa3137ccd18d3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark633.683
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1660
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 45
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 108
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 144
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 741
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.17/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.17/0.68	c INFO: solving HOME/instance-3481812-1307577516.opb
0.17/0.74	c INFO: parsing took 0.07 s
0.17/0.88	c INFO: features took 0.13 CPU seconds
0.17/0.90	c INFO: running clasp-1.3.7@0 for 45 with 1799 remaining (b = 0.38)
51.40/51.59	c INFO: running wbo1.4a@0 for 45 with 1748 remaining (b = 0.04)
100.62/100.59	c INFO: running sat4j-pb-v20101225@0 for 45 with 1700 remaining (b = 0.01)
148.58/146.05	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1652 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-3481812-1307577516/watcher-3481812-1307577516 -o /tmp/evaluation-result-3481812-1307577516/solver-3481812-1307577516 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481812-1307577516.opb -seed 1938912779 -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.17 2.09 1.49 3/558 15623
/proc/meminfo: memFree=25610016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/15623/stat : 15623 (python) R 15621 15623 14938 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 869349897 15749120 692 33554432000 4194304 5683644 140733256690352 18446744073709551615 4309344 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15623/statm: 3845 693 332 364 0 332 0

[startup+0.0966041 s]
/proc/loadavg: 2.17 2.09 1.49 3/558 15623
/proc/meminfo: memFree=25610016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/15623/stat : 15623 (python) R 15621 15623 14938 0 -1 4202496 2596 0 0 0 4 1 0 0 18 0 1 0 869349897 87412736 2317 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15623/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364

[startup+0.100627 s]
/proc/loadavg: 2.17 2.09 1.49 3/558 15623
/proc/meminfo: memFree=25610016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/15623/stat : 15623 (python) R 15621 15623 14938 0 -1 4202496 2666 0 0 0 5 1 0 0 17 0 1 0 869349897 87678976 2383 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335892224 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15623/statm: 21406 2383 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624

[startup+0.30061 s]
/proc/loadavg: 2.17 2.09 1.49 3/558 15623
/proc/meminfo: memFree=25610016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/15623/stat : 15623 (python) R 15621 15623 14938 0 -1 4202496 5358 932 1 0 13 4 0 0 17 0 1 0 869349897 126709760 3744 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/15623/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740

[startup+1.87028 s]
/proc/loadavg: 2.17 2.09 1.49 3/558 15623
/proc/meminfo: memFree=25610016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 294548

[startup+1.90028 s]
/proc/loadavg: 2.17 2.09 1.49 3/558 15623
/proc/meminfo: memFree=25610016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 294548

[startup+3.10114 s]
/proc/loadavg: 2.17 2.09 1.49 3/562 15631
/proc/meminfo: memFree=25580520/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
[pid=15629] ppid=15623 vsize=284304 CPUtime=0 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 869349987 291127296 5959 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912463 0 0 16781312 33554946 4002188485057282308 0 0 17 4 0 0 0
/proc/15629/statm: 71076 5959 352 364 0 5963 0
[pid=15631] ppid=15629 vsize=3312 CPUtime=2.18 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) R 15629 15631 15631 0 -1 4202496 835 0 0 0 218 0 0 0 25 0 1 0 869349988 3391488 573 33554432000 134512640 136139019 4289437104 18446744073709551615 134828874 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15631/statm: 828 573 186 398 0 428 0
[pid=15623/tid=15630] ppid=15621 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869349988 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 582164

[startup+6.30057 s]
/proc/loadavg: 2.15 2.08 1.49 3/562 15631
/proc/meminfo: memFree=25582252/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
[pid=15629] ppid=15623 vsize=284304 CPUtime=0.02 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 917 0 0 0 1 1 0 0 15 0 1 0 869349987 291127296 5983 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912463 0 0 16781312 33554946 4002193020542746884 0 0 17 4 0 0 0
/proc/15629/statm: 71076 5983 376 364 0 5963 0
[pid=15631] ppid=15629 vsize=3312 CPUtime=5.38 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) R 15629 15631 15631 0 -1 4202496 841 0 0 0 538 0 0 0 25 0 1 0 869349988 3391488 579 33554432000 134512640 136139019 4289437104 18446744073709551615 134832319 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15631/statm: 828 579 186 398 0 428 0
[pid=15623/tid=15630] ppid=15621 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869349988 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 582164

[startup+12.7004 s]
/proc/loadavg: 2.14 2.08 1.49 3/562 15631
/proc/meminfo: memFree=25581016/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
[pid=15629] ppid=15623 vsize=284304 CPUtime=0.03 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 924 0 0 0 2 1 0 0 15 0 1 0 869349987 291127296 5983 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912463 0 0 16781312 33554946 4002188485057282308 0 0 17 4 0 0 0
/proc/15629/statm: 71076 5983 376 364 0 5963 0
[pid=15631] ppid=15629 vsize=3312 CPUtime=11.78 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) R 15629 15631 15631 0 -1 4202496 849 0 0 0 1178 0 0 0 25 0 1 0 869349988 3391488 587 33554432000 134512640 136139019 4289437104 18446744073709551615 134828711 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15631/statm: 828 587 186 398 0 428 0
[pid=15623/tid=15630] ppid=15621 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869349988 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 582164

[startup+25.5012 s]
/proc/loadavg: 2.26 2.11 1.51 3/562 15631
/proc/meminfo: memFree=25581308/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
[pid=15629] ppid=15623 vsize=284304 CPUtime=0.09 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 936 0 0 0 5 4 0 0 15 0 1 0 869349987 291127296 5983 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912463 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/15629/statm: 71076 5983 376 364 0 5963 0
[pid=15631] ppid=15629 vsize=3312 CPUtime=24.59 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) R 15629 15631 15631 0 -1 4202496 853 0 0 0 2459 0 0 0 25 0 1 0 869349988 3391488 591 33554432000 134512640 136139019 4289437104 18446744073709551615 134831771 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15631/statm: 828 591 186 398 0 428 0
[pid=15623/tid=15630] ppid=15621 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869349988 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 582164

[startup+51.1006 s]
/proc/loadavg: 2.17 2.10 1.52 3/562 15632
/proc/meminfo: memFree=25580300/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=294548 CPUtime=0.64 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 10090 932 1 0 53 11 0 0 18 0 2 0 869349897 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15623/statm: 73637 7483 1872 364 0 8524 0
[pid=15629] ppid=15623 vsize=284304 CPUtime=0.18 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 1040 0 0 0 9 9 0 0 15 0 1 0 869349987 291127296 5988 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912463 0 0 16781312 33554946 72556772316949230 0 0 17 6 0 0 0
/proc/15629/statm: 71076 5988 381 364 0 5963 0
[pid=15631] ppid=15629 vsize=3312 CPUtime=50.18 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) R 15629 15631 15631 0 -1 4202496 854 0 0 0 5018 0 0 0 25 0 1 0 869349988 3391488 592 33554432000 134512640 136139019 4289437104 18446744073709551615 134832401 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/15631/statm: 828 592 186 398 0 428 0
[pid=15623/tid=15630] ppid=15621 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 2 0 869349988 301617152 7483 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 582164

[startup+102.301 s]
/proc/loadavg: 2.12 2.10 1.55 3/610 15681
/proc/meminfo: memFree=25281752/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=315060 CPUtime=0.69 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 11838 932 1 0 58 11 0 0 20 0 4 0 869349897 322621440 7512 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15623/statm: 78765 7512 1877 364 0 13646 0
[pid=15629] ppid=15623 vsize=294548 CPUtime=0.21 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 1173 0 0 0 11 10 0 0 17 0 2 0 869349987 301617152 6024 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15629/statm: 73637 6024 412 364 0 8524 0
[pid=15631] ppid=15629 vsize=3444 CPUtime=50.65 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) T 15629 15631 15631 0 -1 4202496 855 0 0 0 5065 0 0 0 25 0 1 0 869349988 3526656 593 33554432000 134512640 136139019 4289437104 18446744073709551615 134832109 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/15631/statm: 861 593 186 398 0 461 0
[pid=15629/tid=15633] ppid=15623 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15629/task/15633/stat : 15633 (python) S 15623 15623 14938 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 869355054 301617152 6024 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453909788480 0 0 -1 6 0 0 0
[pid=15634] ppid=15623 vsize=294560 CPUtime=0.21 cores=0,2,4,6
/proc/15634/stat : 15634 (python) S 15623 15623 14938 0 -1 4202560 1107 0 0 0 11 10 0 0 17 0 2 0 869355056 301629440 6025 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15634/statm: 73640 6025 397 364 0 8524 0
[pid=15636] ppid=15634 vsize=25152 CPUtime=48.96 cores=0,2,4,6
/proc/15636/stat : 15636 (wbo1.4a) T 15634 15636 15636 0 -1 4202496 6192 0 0 0 4880 16 0 0 25 0 1 0 869355056 25755648 5848 33554432000 134512640 135751879 4291707808 18446744073709551615 134611152 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15636/statm: 6288 5848 146 303 0 5983 0
[pid=15634/tid=15660] ppid=15623 vsize=294560 CPUtime=0 cores=0,2,4,6
/proc/15634/task/15660/stat : 15660 (python) S 15623 15623 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869359954 301629440 6025 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604440859133888 0 0 -1 6 0 0 0
[pid=15661] ppid=15623 vsize=304816 CPUtime=0 cores=0,2,4,6
/proc/15661/stat : 15661 (python) S 15623 15623 14938 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 869359956 312131584 5980 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912518 0 0 16781312 33554946 2774776167180239108 0 0 17 0 0 0 0
/proc/15661/statm: 76204 5980 349 364 0 11085 0
[pid=15663] ppid=15661 vsize=8544828 CPUtime=2.6 cores=0,2,4,6
/proc/15663/stat : 15663 (java) S 15661 15663 15663 0 -1 4202496 50092 0 1 0 254 6 0 0 20 0 19 0 869359957 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15663/statm: 2136207 44889 2238 9 0 2126948 0
[pid=15663/tid=15664] ppid=15661 vsize=8544828 CPUtime=1.66 cores=0,2,4,6
/proc/15663/task/15664/stat : 15664 (java) R 15661 15663 15663 0 -1 4202560 35260 0 1 0 162 4 0 0 19 0 19 0 869359957 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 46912505783435 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15663/tid=15665] ppid=15661 vsize=8544828 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15665/stat : 15665 (java) S 15661 15663 15663 0 -1 4202560 1035 0 0 0 0 0 0 0 16 0 19 0 869359958 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446604453811760192 0 0 -1 4 0 0 0
[pid=15663/tid=15666] ppid=15661 vsize=8544828 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15666/stat : 15666 (java) S 15661 15663 15663 0 -1 4202560 553 0 0 0 0 0 0 0 16 0 19 0 869359958 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446604453811760192 0 0 -1 6 0 0 0
[pid=15663/tid=15667] ppid=15661 vsize=8544828 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15667/stat : 15667 (java) S 15661 15663 15663 0 -1 4202560 359 0 0 0 0 0 0 0 16 0 19 0 869359958 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446604453811760192 0 0 -1 2 0 0 0
[pid=15663/tid=15668] ppid=15661 vsize=8544828 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15668/stat : 15668 (java) S 15661 15663 15663 0 -1 4202560 471 0 0 0 0 0 0 0 15 0 19 0 869359958 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446604453811760192 0 0 -1 0 0 0 0
[pid=15663/tid=15669] ppid=15661 vsize=8544828 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15669/stat : 15669 (java) S 15661 15663 15663 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 869359958 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446604453811760192 0 0 -1 4 0 0 0
[pid=15663/tid=15670] ppid=15661 vsize=8544828 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15670/stat : 15670 (java) S 15661 15663 15663 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 869359958 8749903872 44889 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446604453811760192 0 0 -1 2 0 0 0

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

[pid=15696/tid=15704] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17201 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17201 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15696 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869364505 8817197056 17203 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708928 0 0 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15696 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869364505 8817197056 17204 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15696 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869364505 8817197056 17206 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364508 8817197056 17207 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347716017 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=8610544 CPUtime=0.3 cores=0,2,4,6
/proc/15696/task/15710/stat : 15710 (java) R 15694 15696 15696 0 -1 4202560 4966 0 0 0 30 0 0 0 17 0 19 0 869364508 8817197056 17208 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 47327354153918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=8610544 CPUtime=0.3 cores=0,2,4,6
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15696 0 -1 4202560 4491 0 0 0 30 0 0 0 25 0 19 0 869364508 8817197056 17209 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 2 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364508 8817197056 17211 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869364508 8817197056 17212 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708928 0 4 0 16800975 18446604445562478976 0 0 -1 2 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15696 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869364544 8817197056 17213 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708928 0 4 0 16800975 18446604445562478976 0 0 -1 6 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 5 0 869349988 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (python) S 15621 15623 14938 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 869355056 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 0 0 0 0
[pid=15623/tid=15662] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15662/stat : 15662 (python) S 15621 15623 14938 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869359957 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 2 0 0 0
[pid=15623/tid=15695] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15695/stat : 15695 (python) S 15621 15623 14938 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 869364502 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 149.73
Current children cumulated vsize (KiB) 18719468

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

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

[startup+146.502 s]
/proc/loadavg: 2.10 2.10 1.57 5/632 15714
/proc/meminfo: memFree=24876008/32951124 swapFree=57654872/67111528
[pid=15623] ppid=15621 vsize=325544 CPUtime=0.73 cores=0,2,4,6
/proc/15623/stat : 15623 (python) S 15621 15623 14938 0 -1 4202496 12711 932 1 0 61 12 0 0 20 0 5 0 869349897 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15623/statm: 81386 7554 1879 364 0 16264 0
[pid=15629] ppid=15623 vsize=294548 CPUtime=0.21 cores=0,2,4,6
/proc/15629/stat : 15629 (python) S 15623 15623 14938 0 -1 4202560 1173 0 0 0 11 10 0 0 17 0 2 0 869349987 301617152 6024 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15629/statm: 73637 6024 412 364 0 8524 0
[pid=15631] ppid=15629 vsize=3444 CPUtime=50.65 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.3.7-x86) T 15629 15631 15631 0 -1 4202496 855 0 0 0 5065 0 0 0 25 0 1 0 869349988 3526656 593 33554432000 134512640 136139019 4289437104 18446744073709551615 134832109 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/15631/statm: 861 593 186 398 0 461 0
[pid=15629/tid=15633] ppid=15623 vsize=294548 CPUtime=0 cores=0,2,4,6
/proc/15629/task/15633/stat : 15633 (python) S 15623 15623 14938 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 869355054 301617152 6024 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453909788480 0 0 -1 6 0 0 0
[pid=15634] ppid=15623 vsize=294560 CPUtime=0.21 cores=0,2,4,6
/proc/15634/stat : 15634 (python) S 15623 15623 14938 0 -1 4202560 1107 0 0 0 11 10 0 0 17 0 2 0 869355056 301629440 6025 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15634/statm: 73640 6025 397 364 0 8524 0
[pid=15636] ppid=15634 vsize=25152 CPUtime=48.96 cores=0,2,4,6
/proc/15636/stat : 15636 (wbo1.4a) T 15634 15636 15636 0 -1 4202496 6192 0 0 0 4880 16 0 0 25 0 1 0 869355056 25755648 5848 33554432000 134512640 135751879 4291707808 18446744073709551615 134611152 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/15636/statm: 6288 5848 146 303 0 5983 0
[pid=15634/tid=15660] ppid=15623 vsize=294560 CPUtime=0 cores=0,2,4,6
/proc/15634/task/15660/stat : 15660 (python) S 15623 15623 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869359954 301629440 6025 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604440859133888 0 0 -1 6 0 0 0
[pid=15661] ppid=15623 vsize=304816 CPUtime=0.2 cores=0,2,4,6
/proc/15661/stat : 15661 (python) S 15623 15623 14938 0 -1 4202560 1105 0 0 0 10 10 0 0 16 0 2 0 869359956 312131584 6029 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15661/statm: 76204 6029 397 364 0 11085 0
[pid=15663] ppid=15661 vsize=8545560 CPUtime=47.71 cores=0,2,4,6
/proc/15663/stat : 15663 (java) T 15661 15663 15663 0 -1 4202496 154377 0 1 0 4751 20 0 0 18 0 19 0 869359957 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15663/statm: 2136390 120969 2253 9 0 2127131 0
[pid=15663/tid=15664] ppid=15661 vsize=8545560 CPUtime=44.98 cores=0,2,4,6
/proc/15663/task/15664/stat : 15664 (java) T 15661 15663 15663 0 -1 4202560 127568 0 1 0 4484 14 0 0 20 0 19 0 869359957 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 46912505784099 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15665] ppid=15661 vsize=8545560 CPUtime=0.08 cores=0,2,4,6
/proc/15663/task/15665/stat : 15665 (java) T 15661 15663 15663 0 -1 4202560 1649 0 0 0 8 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15666] ppid=15661 vsize=8545560 CPUtime=0.07 cores=0,2,4,6
/proc/15663/task/15666/stat : 15666 (java) T 15661 15663 15663 0 -1 4202560 1618 0 0 0 7 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15663/tid=15667] ppid=15661 vsize=8545560 CPUtime=0.06 cores=0,2,4,6
/proc/15663/task/15667/stat : 15667 (java) T 15661 15663 15663 0 -1 4202560 1323 0 0 0 6 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15668] ppid=15661 vsize=8545560 CPUtime=0.06 cores=0,2,4,6
/proc/15663/task/15668/stat : 15668 (java) T 15661 15663 15663 0 -1 4202560 1219 0 0 0 6 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15669] ppid=15661 vsize=8545560 CPUtime=0.06 cores=0,2,4,6
/proc/15663/task/15669/stat : 15669 (java) T 15661 15663 15663 0 -1 4202560 657 0 0 0 6 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15670] ppid=15661 vsize=8545560 CPUtime=0.07 cores=0,2,4,6
/proc/15663/task/15670/stat : 15670 (java) T 15661 15663 15663 0 -1 4202560 897 0 0 0 7 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15663/tid=15671] ppid=15661 vsize=8545560 CPUtime=0.07 cores=0,2,4,6
/proc/15663/task/15671/stat : 15671 (java) T 15661 15663 15663 0 -1 4202560 260 0 0 0 7 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15663/tid=15672] ppid=15661 vsize=8545560 CPUtime=0.07 cores=0,2,4,6
/proc/15663/task/15672/stat : 15672 (java) T 15661 15663 15663 0 -1 4202560 981 0 0 0 7 0 0 0 15 0 19 0 869359958 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15663/tid=15673] ppid=15661 vsize=8545560 CPUtime=0.15 cores=0,2,4,6
/proc/15663/task/15673/stat : 15673 (java) T 15661 15663 15663 0 -1 4202560 504 0 0 0 14 1 0 0 15 0 19 0 869359959 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15663/tid=15674] ppid=15661 vsize=8545560 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15674/stat : 15674 (java) T 15661 15663 15663 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869359959 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15663/tid=15675] ppid=15661 vsize=8545560 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15675/stat : 15675 (java) T 15661 15663 15663 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869359959 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15663/tid=15676] ppid=15661 vsize=8545560 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15676/stat : 15676 (java) T 15661 15663 15663 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869359961 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15677] ppid=15661 vsize=8545560 CPUtime=1.32 cores=0,2,4,6
/proc/15663/task/15677/stat : 15677 (java) T 15661 15663 15663 0 -1 4202560 10271 0 0 0 131 1 0 0 15 0 19 0 869359961 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15663/tid=15678] ppid=15661 vsize=8545560 CPUtime=0.64 cores=0,2,4,6
/proc/15663/task/15678/stat : 15678 (java) T 15661 15663 15663 0 -1 4202560 6042 0 0 0 63 1 0 0 15 0 19 0 869359961 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15663/tid=15679] ppid=15661 vsize=8545560 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15679/stat : 15679 (java) T 15661 15663 15663 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869359961 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15663/tid=15680] ppid=15661 vsize=8545560 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15680/stat : 15680 (java) T 15661 15663 15663 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869359961 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15663/tid=15681] ppid=15661 vsize=8545560 CPUtime=0 cores=0,2,4,6
/proc/15663/task/15681/stat : 15681 (java) T 15661 15663 15663 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869359998 8750653440 120969 33554432000 1073741824 1073778376 140733897409568 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15661/tid=15693] ppid=15623 vsize=304816 CPUtime=0 cores=0,2,4,6
/proc/15661/task/15693/stat : 15693 (python) S 15623 15623 14938 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869364499 312131584 6029 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453865500800 0 0 -1 6 0 0 0
[pid=15694] ppid=15623 vsize=315300 CPUtime=0 cores=0,2,4,6
/proc/15694/stat : 15694 (python) S 15623 15623 14938 0 -1 4202560 801 0 0 0 0 0 0 0 16 0 1 0 869364502 322867200 6020 33554432000 4194304 5683644 140733256690352 18446744073709551615 232335912518 0 0 16781312 33554946 1468967476241891328 0 0 17 2 0 0 0
/proc/15694/statm: 78825 6020 349 364 0 13703 0
[pid=15696] ppid=15694 vsize=8610544 CPUtime=1.06 cores=0,2,4,6
/proc/15696/stat : 15696 (java) S 15694 15696 15696 0 -1 4202496 21398 0 1 0 104 2 0 0 20 0 19 0 869364502 8817197056 17535 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15696/statm: 2152636 17535 2214 9 0 2143377 0
[pid=15696/tid=15697] ppid=15694 vsize=8610544 CPUtime=0.46 cores=0,2,4,6
/proc/15696/task/15697/stat : 15697 (java) R 15694 15696 15696 0 -1 4202560 10763 0 1 0 45 1 0 0 19 0 19 0 869364503 8817197056 17194 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 46912505618108 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15696/tid=15698] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15698/stat : 15698 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869364504 8817197056 17196 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15699] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15699/stat : 15699 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869364504 8817197056 17196 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15700] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15700/stat : 15700 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869364504 8817197056 17196 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15701] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15701/stat : 15701 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17197 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15702] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15702/stat : 15702 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17199 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15703] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15703/stat : 15703 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17200 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15704] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15704/stat : 15704 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17201 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15705] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15705/stat : 15705 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364504 8817197056 17201 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15706] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15706/stat : 15706 (java) S 15694 15696 15696 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869364505 8817197056 17203 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708928 0 0 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15707] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15707/stat : 15707 (java) S 15694 15696 15696 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869364505 8817197056 17204 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15708] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15708/stat : 15708 (java) S 15694 15696 15696 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869364505 8817197056 17206 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15709] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15709/stat : 15709 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364508 8817197056 17207 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347716017 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15710] ppid=15694 vsize=8610544 CPUtime=0.3 cores=0,2,4,6
/proc/15696/task/15710/stat : 15710 (java) R 15694 15696 15696 0 -1 4202560 4966 0 0 0 30 0 0 0 17 0 19 0 869364508 8817197056 17208 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 47327354153918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15696/tid=15711] ppid=15694 vsize=8610544 CPUtime=0.3 cores=0,2,4,6
/proc/15696/task/15711/stat : 15711 (java) S 15694 15696 15696 0 -1 4202560 4491 0 0 0 30 0 0 0 25 0 19 0 869364508 8817197056 17209 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 2 0 0 0
[pid=15696/tid=15712] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15712/stat : 15712 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869364508 8817197056 17211 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708313 0 4 0 16800975 18446604445562478976 0 0 -1 4 0 0 0
[pid=15696/tid=15713] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15713/stat : 15713 (java) S 15694 15696 15696 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869364508 8817197056 17212 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708928 0 4 0 16800975 18446604445562478976 0 0 -1 2 0 0 0
[pid=15696/tid=15714] ppid=15694 vsize=8610544 CPUtime=0 cores=0,2,4,6
/proc/15696/task/15714/stat : 15714 (java) S 15694 15696 15696 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869364544 8817197056 17213 33554432000 1073741824 1073778376 140735692162016 18446744073709551615 232347708928 0 4 0 16800975 18446604445562478976 0 0 -1 6 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (python) S 15621 15623 14938 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 5 0 869349988 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 4 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (python) S 15621 15623 14938 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 869355056 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 0 0 0 0
[pid=15623/tid=15662] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15662/stat : 15662 (python) S 15621 15623 14938 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 869359957 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 2 0 0 0
[pid=15623/tid=15695] ppid=15621 vsize=325544 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15695/stat : 15695 (python) S 15621 15623 14938 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 5 0 869364502 333357056 7554 33554432000 4194304 5683644 140733256690352 18446744073709551615 232347716017 0 0 16781312 33554434 18446604453909787584 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 149.73
Current children cumulated vsize (KiB) 18719468

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 146.577
CPU time (s): 149.73
CPU user time (s): 148.93
CPU system time (s): 0.8
CPU usage (%): 102.151
Max. virtual memory (cumulated for all children) (KiB): 18719468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.615906
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13644
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= 2870
involuntary context switches= 16

runsolver used 0.921859 second user time and 1.70074 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-09 01:58:37
IDJOB=3481812
IDBENCH=2944
IDSOLVER=1970
FILE ID=node132/3481812-1307577516
RUNJOBID= node132-1307576356-14956
PBS_JOBID= 13547667
Free space on /tmp= 73816 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.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-3481812-1307577516/watcher-3481812-1307577516 -o /tmp/evaluation-result-3481812-1307577516/solver-3481812-1307577516 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481812-1307577516.opb -seed 1938912779 -budget 1800

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

MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3
RANDOM SEED=1938912779

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25610048 kB
Buffers:        139552 kB
Cached:         561716 kB
SwapCached:      10184 kB
Active:        6919328 kB
Inactive:       148548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25610048 kB
SwapTotal:    67111528 kB
SwapFree:     57654872 kB
Dirty:          125676 kB
Writeback:           0 kB
AnonPages:     6364744 kB
Mapped:          50900 kB
Slab:           138288 kB
PageTables:      66228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 117407628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73716 MiB
End job on node132 at 2011-06-09 02:01:06