Trace number 3482401

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 NameAnswerCPU timeWall clock time
borg pb-dec-11.04.03? (TO) 1800.1 1790.19

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
MD5SUM813576a353dee8860ef5bb1ebdae9d95
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

Solver Data 

0.29/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle
0.29/0.47	c INFO: solving HOME/instance-3482401-1307577113.opb
0.29/0.49	c INFO: wrote linearized instance to HOME/tmpkwHQHi.opb
0.38/0.51	c INFO: parsing took 0.02 s
0.38/0.55	c INFO: features took 0.04 CPU seconds
0.38/0.58	c INFO: running clasp-1.3.7@0 for 45 with 1799 remaining (b = 0.56)
47.88/47.82	c INFO: running scip-2.0.1-spx@0 for 45 with 1752 remaining (b = 0.18)
99.57/99.35	c INFO: running scip-2.0.1-clp@0 for 45 with 1702 remaining (b = 0.03)
146.17/145.79	c INFO: running clasp-1.3.7@47 for 45 with 1656 remaining (b = 0.01)
191.69/191.02	c INFO: running pbct-0.1.2-linear@0 for 45 with 1611 remaining (b = 0.07)
245.22/244.31	c INFO: running scip-2.0.1-clp@45 for 45 with 1561 remaining (b = 0.01)
291.34/290.22	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1515 remaining (b = 0.01)
340.93/337.74	c INFO: running clasp-1.3.7@92 for 136 with 1466 remaining (b = 0.02)
480.22/476.40	c INFO: running scip-2.0.1-spx@50 for 45 with 1328 remaining (b = 0.01)
525.34/521.35	c INFO: running bsolo_pb10-l3@0 for 45 with 1283 remaining (b = 0.02)
572.96/568.74	c INFO: running scip-2.0.1-spx@94 for 410 with 1236 remaining (b = 0.06)
994.34/988.11	c INFO: running bsolo_pb10-l1@0 for 91 with 824 remaining (b = 0.01)
1088.43/1081.87	c INFO: wrote minion input file to HOME/tmpv5sahD.minion
1088.43/1081.87	c INFO: running minion-0.12@0 for 45 with 731 remaining (b = 0.01)
1135.92/1129.17	c INFO: running scip-2.0.1-spx@506 for 547 with 683 remaining (b = 0.05)
1693.50/1684.10	c INFO: running bsolo_pb10-l2@0 for 45 with 139 remaining (b = 0.00)
1741.11/1731.48	c INFO: running wbo1.4a@0 for 45 with 92 remaining (b = 0.00)
1788.53/1778.64	c INFO: running scip-2.0.1-clp@91 for 46 with 46 remaining (b = 0.00)
1800.10/1790.18	s UNKNOWN

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-3482401-1307577113/watcher-3482401-1307577113 -o /tmp/evaluation-result-3482401-1307577113/solver-3482401-1307577113 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482401-1307577113.opb -seed 1982676039 -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.17 2.11 1.26 2/585 18718
/proc/meminfo: memFree=28738576/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/18718/stat : 18718 (python) R 18716 18718 17508 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 947942061 16629760 922 33554432000 4194304 5683644 140734121907024 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18718/statm: 4060 922 381 364 0 547 0

[startup+0.078639 s]
/proc/loadavg: 2.17 2.11 1.26 2/585 18718
/proc/meminfo: memFree=28738576/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=85356 CPUtime=0.05 cores=1,3,5,7
/proc/18718/stat : 18718 (python) R 18716 18718 17508 0 -1 4202496 2583 0 0 0 4 1 0 0 17 0 1 0 947942061 87404544 2309 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735176704 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18718/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85356

[startup+0.100634 s]
/proc/loadavg: 2.17 2.11 1.26 2/585 18718
/proc/meminfo: memFree=28738576/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/18718/stat : 18718 (python) R 18716 18718 17508 0 -1 4202496 3168 931 1 0 5 1 0 0 18 0 1 0 947942061 98430976 2483 33554432000 4194304 5683644 140734121907024 18446744073709551615 5178079 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18718/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124

[startup+0.301735 s]
/proc/loadavg: 2.17 2.11 1.26 2/585 18718
/proc/meminfo: memFree=28738576/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=202992 CPUtime=0.22 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 6699 931 1 0 16 6 0 0 17 0 1 0 947942061 207863808 4981 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/18718/statm: 50748 4981 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202992

[startup+0.700536 s]
/proc/loadavg: 2.17 2.11 1.26 2/585 18718
/proc/meminfo: memFree=28738576/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=293796 CPUtime=0.46 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 10811 1333 1 0 35 10 1 0 20 0 2 0 947942061 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18718/statm: 73449 7289 1871 364 0 8336 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293796

[startup+1.5004 s]
/proc/loadavg: 2.17 2.11 1.26 3/589 18727
/proc/meminfo: memFree=28712488/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=293796 CPUtime=0.46 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 10811 1333 1 0 35 10 1 0 20 0 2 0 947942061 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18718/statm: 73449 7289 1871 364 0 8336 0
[pid=18725] ppid=18718 vsize=283552 CPUtime=0 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 671 0 0 0 0 0 0 0 19 0 1 0 947942119 290357248 5730 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198735 0 0 16781312 33554946 3097800107756585223 0 0 17 7 0 0 0
/proc/18725/statm: 70888 5730 316 364 0 5775 0
[pid=18727] ppid=18725 vsize=2920 CPUtime=0.91 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) R 18725 18727 18727 0 -1 4202496 755 0 0 0 91 0 0 0 23 0 1 0 947942119 2990080 490 33554432000 134512640 136139019 4289730240 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18727/statm: 730 490 183 398 0 330 0
[pid=18718/tid=18726] ppid=18716 vsize=293796 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 2 0 947942119 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 580268

[startup+3.10111 s]
/proc/loadavg: 2.16 2.10 1.26 3/589 18728
/proc/meminfo: memFree=28711124/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=293796 CPUtime=0.46 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 10811 1333 1 0 35 10 1 0 20 0 2 0 947942061 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18718/statm: 73449 7289 1871 364 0 8336 0
[pid=18725] ppid=18718 vsize=283552 CPUtime=0 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 694 0 0 0 0 0 0 0 18 0 1 0 947942119 290357248 5733 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198735 0 0 16781312 33554946 1862198352397959431 0 0 17 7 0 0 0
/proc/18725/statm: 70888 5733 319 364 0 5775 0
[pid=18727] ppid=18725 vsize=3544 CPUtime=2.51 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) R 18725 18727 18727 0 -1 4202496 885 0 0 0 251 0 0 0 25 0 1 0 947942119 3629056 620 33554432000 134512640 136139019 4289730240 18446744073709551615 134598567 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18727/statm: 886 620 183 398 0 486 0
[pid=18718/tid=18726] ppid=18716 vsize=293796 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 2 0 947942119 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 580892

[startup+6.30056 s]
/proc/loadavg: 2.16 2.10 1.26 3/589 18728
/proc/meminfo: memFree=28711816/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=293796 CPUtime=0.46 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 10811 1333 1 0 35 10 1 0 20 0 2 0 947942061 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18718/statm: 73449 7289 1871 364 0 8336 0
[pid=18725] ppid=18718 vsize=283552 CPUtime=0.02 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 856 0 0 0 1 1 0 0 18 0 1 0 947942119 290357248 5757 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198735 0 0 16781312 33554946 75303459737272583 0 0 17 7 0 0 0
/proc/18725/statm: 70888 5757 343 364 0 5775 0
[pid=18727] ppid=18725 vsize=3760 CPUtime=5.71 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) R 18725 18727 18727 0 -1 4202496 951 0 0 0 571 0 0 0 25 0 1 0 947942119 3850240 686 33554432000 134512640 136139019 4289730240 18446744073709551615 134640607 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18727/statm: 940 686 183 398 0 540 0
[pid=18718/tid=18726] ppid=18716 vsize=293796 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 2 0 947942119 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 581108

[startup+12.7004 s]
/proc/loadavg: 2.13 2.10 1.27 3/589 18728
/proc/meminfo: memFree=28711296/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=293796 CPUtime=0.46 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 10811 1333 1 0 35 10 1 0 20 0 2 0 947942061 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18718/statm: 73449 7289 1871 364 0 8336 0
[pid=18725] ppid=18718 vsize=283552 CPUtime=0.05 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 862 0 0 0 2 3 0 0 18 0 1 0 947942119 290357248 5757 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198735 0 0 16781312 33554946 5623753486446373621 0 0 17 7 0 0 0
/proc/18725/statm: 70888 5757 343 364 0 5775 0
[pid=18727] ppid=18725 vsize=4468 CPUtime=12.11 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) R 18725 18727 18727 0 -1 4202496 1172 0 0 0 1211 0 0 0 25 0 1 0 947942119 4575232 857 33554432000 134512640 136139019 4289730240 18446744073709551615 134599022 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18727/statm: 1117 857 183 398 0 717 0
[pid=18718/tid=18726] ppid=18716 vsize=293796 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 2 0 947942119 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 581816

[startup+25.5012 s]
/proc/loadavg: 2.11 2.10 1.28 3/589 18728
/proc/meminfo: memFree=28706296/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=293796 CPUtime=0.46 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 10811 1333 1 0 35 10 1 0 20 0 2 0 947942061 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18718/statm: 73449 7289 1871 364 0 8336 0
[pid=18725] ppid=18718 vsize=283552 CPUtime=0.1 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 868 0 0 0 4 6 0 0 18 0 1 0 947942119 290357248 5757 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198735 0 0 16781312 33554946 5623753486446373621 0 0 17 7 0 0 0
/proc/18725/statm: 70888 5757 343 364 0 5775 0
[pid=18727] ppid=18725 vsize=4480 CPUtime=24.91 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) R 18725 18727 18727 0 -1 4202496 1197 0 0 0 2491 0 0 0 25 0 1 0 947942119 4587520 882 33554432000 134512640 136139019 4289730240 18446744073709551615 134599059 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18727/statm: 1120 882 183 398 0 720 0
[pid=18718/tid=18726] ppid=18716 vsize=293796 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 2 0 947942119 300847104 7289 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 581828

[startup+51.1007 s]
/proc/loadavg: 2.07 2.09 1.30 3/593 18733
/proc/meminfo: memFree=28663284/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=304556 CPUtime=0.48 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 11715 1333 1 0 37 10 1 0 19 0 3 0 947942061 311865344 7422 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18718/statm: 76139 7422 1874 364 0 11023 0
[pid=18725] ppid=18718 vsize=293796 CPUtime=0.21 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 1149 0 0 0 9 12 0 0 19 0 2 0 947942119 300847104 5830 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18725/statm: 73449 5830 411 364 0 8336 0
[pid=18727] ppid=18725 vsize=4780 CPUtime=47.21 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) T 18725 18727 18727 0 -1 4202496 1262 0 0 0 4721 0 0 0 25 0 1 0 947942119 4894720 947 33554432000 134512640 136139019 4289730240 18446744073709551615 134598640 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18727/statm: 1195 947 183 398 0 795 0
[pid=18725/tid=18730] ppid=18718 vsize=293796 CPUtime=0 cores=1,3,5,7
/proc/18725/task/18730/stat : 18730 (python) S 18718 18718 17508 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947946841 300847104 5830 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466546643136 0 0 -1 1 0 0 0
[pid=18731] ppid=18718 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/18731/stat : 18731 (python) S 18718 18718 17508 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 947946843 301375488 5864 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198790 0 0 16781312 33554946 3745893986775072768 0 0 17 1 0 0 0
/proc/18731/statm: 73578 5864 320 364 0 8462 0
[pid=18733] ppid=18731 vsize=50000 CPUtime=3.26 cores=1,3,5,7
/proc/18733/stat : 18733 (scip-2.0.1.linu) R 18731 18733 18733 0 -1 4202496 12588 0 0 0 300 26 0 0 25 0 1 0 947946844 51200000 10368 33554432000 4194304 13684479 140734762518864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18733/statm: 12500 10368 830 2317 0 10178 0
[pid=18718/tid=18726] ppid=18716 vsize=304556 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 3 0 947942119 311865344 7422 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
[pid=18718/tid=18732] ppid=18716 vsize=304556 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (python) S 18716 18718 17508 0 -1 4202560 26 1333 0 0 0 0 1 0 20 0 3 0 947946844 311865344 7422 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 947444

[startup+102.321 s]
/proc/loadavg: 2.12 2.10 1.34 3/597 18738
/proc/meminfo: memFree=28572612/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=314812 CPUtime=0.5 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 12595 1333 1 0 39 10 1 0 20 0 4 0 947942061 322367488 7446 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18718/statm: 78703 7446 1876 364 0 13584 0
[pid=18725] ppid=18718 vsize=293796 CPUtime=0.21 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 1149 0 0 0 9 12 0 0 19 0 2 0 947942119 300847104 5830 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18725/statm: 73449 5830 411 364 0 8336 0
[pid=18727] ppid=18725 vsize=4780 CPUtime=47.21 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) T 18725 18727 18727 0 -1 4202496 1262 0 0 0 4721 0 0 0 25 0 1 0 947942119 4894720 947 33554432000 134512640 136139019 4289730240 18446744073709551615 134598640 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18727/statm: 1195 947 183 398 0 795 0
[pid=18725/tid=18730] ppid=18718 vsize=293796 CPUtime=0 cores=1,3,5,7
/proc/18725/task/18730/stat : 18730 (python) S 18718 18718 17508 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947946841 300847104 5830 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466546643136 0 0 -1 1 0 0 0
[pid=18731] ppid=18718 vsize=294312 CPUtime=0.23 cores=1,3,5,7
/proc/18731/stat : 18731 (python) S 18718 18718 17508 0 -1 4202560 1124 0 0 0 9 14 0 0 16 0 2 0 947946843 301375488 5936 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/18731/statm: 73578 5936 391 364 0 8462 0
[pid=18733] ppid=18731 vsize=76616 CPUtime=51.5 cores=1,3,5,7
/proc/18733/stat : 18733 (scip-2.0.1.linu) T 18731 18733 18733 0 -1 4202496 21486 0 0 0 5019 131 0 0 25 0 1 0 947946844 78454784 16811 33554432000 4194304 13684479 140734762518864 18446744073709551615 7397984 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/18733/statm: 19154 16811 842 2317 0 16832 0
[pid=18731/tid=18735] ppid=18718 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/18731/task/18735/stat : 18735 (python) S 18718 18718 17508 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 947951994 301375488 5936 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604457270154560 0 0 -1 1 0 0 0
[pid=18736] ppid=18718 vsize=304568 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (python) S 18718 18718 17508 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 947951997 311877632 5886 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198790 0 0 16781312 33554946 8860951258920354054 0 0 17 7 0 0 0

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

[pid=18718/tid=18908] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18908/stat : 18908 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 11 0 948110471 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
[pid=18718/tid=18937] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18937/stat : 18937 (python) S 18716 18718 17508 0 -1 4202560 27 1333 0 0 0 0 1 0 20 0 11 0 948115209 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 12964116

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

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

[startup+1790.1 s]
/proc/loadavg: 2.18 2.42 2.11 3/669 18944
/proc/meminfo: memFree=17686768/32951124 swapFree=49879164/67111528
[pid=18718] ppid=18716 vsize=386900 CPUtime=0.93 cores=1,3,5,7
/proc/18718/stat : 18718 (python) S 18716 18718 17508 0 -1 4202496 19818 1333 1 0 80 12 1 0 18 0 11 0 947942061 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18718/statm: 96725 7551 1890 364 0 31585 0
[pid=18725] ppid=18718 vsize=293796 CPUtime=1.03 cores=1,3,5,7
/proc/18725/stat : 18725 (python) S 18718 18718 17508 0 -1 4202560 1216 0 0 0 47 56 0 0 18 0 2 0 947942119 300847104 5831 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18725/statm: 73449 5831 412 364 0 8336 0
[pid=18727] ppid=18725 vsize=6528 CPUtime=231.06 cores=1,3,5,7
/proc/18727/stat : 18727 (clasp-1.3.7-x86) T 18725 18727 18727 0 -1 4202496 1691 0 0 0 23106 0 0 0 25 0 1 0 947942119 6684672 1375 33554432000 134512640 136139019 4289730240 18446744073709551615 134875544 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18727/statm: 1632 1375 183 398 0 1232 0
[pid=18725/tid=18730] ppid=18718 vsize=293796 CPUtime=0 cores=1,3,5,7
/proc/18725/task/18730/stat : 18730 (python) S 18718 18718 17508 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 947946841 300847104 5831 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604466546643136 0 0 -1 1 0 0 0
[pid=18731] ppid=18718 vsize=294312 CPUtime=5.08 cores=1,3,5,7
/proc/18731/stat : 18731 (python) S 18718 18718 17508 0 -1 4202560 1207 0 0 0 242 266 0 0 15 0 2 0 947946843 301375488 5936 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18731/statm: 73578 5936 391 364 0 8462 0
[pid=18733] ppid=18731 vsize=76616 CPUtime=1070.7 cores=1,3,5,7
/proc/18733/stat : 18733 (scip-2.0.1.linu) T 18731 18733 18733 0 -1 4202496 21506 0 0 0 105043 2027 0 0 25 0 1 0 947946844 78454784 16831 33554432000 4194304 13684479 140734762518864 18446744073709551615 7388347 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18733/statm: 19154 16831 842 2317 0 16832 0
[pid=18731/tid=18735] ppid=18718 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/18731/task/18735/stat : 18735 (python) S 18718 18718 17508 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947951994 301375488 5936 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604457270154560 0 0 -1 1 0 0 0
[pid=18736] ppid=18718 vsize=304568 CPUtime=0.5 cores=1,3,5,7
/proc/18736/stat : 18736 (python) S 18718 18718 17508 0 -1 4202560 1148 0 0 0 25 25 0 0 16 0 2 0 947951997 311877632 5958 33554432000 4194304 5683644 140734121907024 18446744073709551615 216735198790 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18736/statm: 76142 5958 391 364 0 11023 0
[pid=18738] ppid=18736 vsize=61236 CPUtime=103.76 cores=1,3,5,7
/proc/18738/stat : 18738 (scip-2.0.1.linu) R 18736 18738 18738 0 -1 4202496 33878 0 0 0 10318 58 0 0 25 0 1 0 947951997 62705664 12636 33554432000 4194304 15243407 140734083667376 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18738/statm: 15309 12636 967 2698 0 12604 0
[pid=18736/tid=18740] ppid=18718 vsize=304568 CPUtime=0 cores=1,3,5,7
/proc/18736/task/18740/stat : 18740 (python) S 18718 18718 17508 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947956637 311877632 5958 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604465217755008 0 0 -1 1 0 0 0
[pid=18746] ppid=18718 vsize=314984 CPUtime=0.23 cores=1,3,5,7
/proc/18746/stat : 18746 (python) S 18718 18718 17508 0 -1 4202560 1111 0 0 0 10 13 0 0 19 0 2 0 947961164 322543616 5984 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18746/statm: 78746 5984 391 364 0 13624 0
[pid=18748] ppid=18746 vsize=52032 CPUtime=53.25 cores=1,3,5,7
/proc/18748/stat : 18748 (pbct-0.1.2-linu) T 18746 18748 18748 0 -1 4202496 13033 0 0 0 4938 387 0 0 25 0 1 0 947961164 53280768 12260 33554432000 134512640 136422188 4289013872 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/18748/statm: 13008 12260 213 467 0 12539 0
[pid=18746/tid=18750] ppid=18718 vsize=314984 CPUtime=0 cores=1,3,5,7
/proc/18746/task/18750/stat : 18750 (python) S 18718 18718 17508 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 947966490 322543616 5984 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604464930787648 0 0 -1 7 0 0 0
[pid=18753] ppid=18718 vsize=325240 CPUtime=0.22 cores=1,3,5,7
/proc/18753/stat : 18753 (python) S 18718 18718 17508 0 -1 4202560 1159 0 0 0 10 12 0 0 16 0 2 0 947971084 333045760 5988 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/18753/statm: 81310 5988 391 364 0 16185 0
[pid=18755] ppid=18753 vsize=8547924 CPUtime=49.35 cores=1,3,5,7
/proc/18755/stat : 18755 (java) T 18753 18755 18755 0 -1 4202496 240257 0 1 0 4909 26 0 0 18 0 19 0 947971084 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18755/statm: 2136981 163909 2247 9 0 2127722 0
[pid=18755/tid=18756] ppid=18753 vsize=8547924 CPUtime=47.12 cores=1,3,5,7
/proc/18755/task/18756/stat : 18756 (java) T 18753 18755 18755 0 -1 4202560 189876 0 1 0 4694 18 0 0 25 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 46912505986094 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18757] ppid=18753 vsize=8547924 CPUtime=0.11 cores=1,3,5,7
/proc/18755/task/18757/stat : 18757 (java) T 18753 18755 18755 0 -1 4202560 6489 0 0 0 10 1 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=8547924 CPUtime=0.1 cores=1,3,5,7
/proc/18755/task/18758/stat : 18758 (java) T 18753 18755 18755 0 -1 4202560 5334 0 0 0 10 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18755/tid=18759] ppid=18753 vsize=8547924 CPUtime=0.07 cores=1,3,5,7
/proc/18755/task/18759/stat : 18759 (java) T 18753 18755 18755 0 -1 4202560 3996 0 0 0 7 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18755/tid=18760] ppid=18753 vsize=8547924 CPUtime=0.06 cores=1,3,5,7
/proc/18755/task/18760/stat : 18760 (java) T 18753 18755 18755 0 -1 4202560 2238 0 0 0 6 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18755/tid=18761] ppid=18753 vsize=8547924 CPUtime=0.09 cores=1,3,5,7
/proc/18755/task/18761/stat : 18761 (java) T 18753 18755 18755 0 -1 4202560 6261 0 0 0 9 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=8547924 CPUtime=0.07 cores=1,3,5,7
/proc/18755/task/18762/stat : 18762 (java) T 18753 18755 18755 0 -1 4202560 2216 0 0 0 7 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18763] ppid=18753 vsize=8547924 CPUtime=0.07 cores=1,3,5,7
/proc/18755/task/18763/stat : 18763 (java) T 18753 18755 18755 0 -1 4202560 4987 0 0 0 7 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18765] ppid=18753 vsize=8547924 CPUtime=0.08 cores=1,3,5,7
/proc/18755/task/18765/stat : 18765 (java) T 18753 18755 18755 0 -1 4202560 5931 0 0 0 8 0 0 0 15 0 19 0 947971085 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18766] ppid=18753 vsize=8547924 CPUtime=0.01 cores=1,3,5,7
/proc/18755/task/18766/stat : 18766 (java) T 18753 18755 18755 0 -1 4202560 361 0 0 0 0 1 0 0 15 0 19 0 947971086 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746995200 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18755/tid=18768] ppid=18753 vsize=8547924 CPUtime=0 cores=1,3,5,7
/proc/18755/task/18768/stat : 18768 (java) T 18753 18755 18755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947971087 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18755/tid=18769] ppid=18753 vsize=8547924 CPUtime=0 cores=1,3,5,7
/proc/18755/task/18769/stat : 18769 (java) T 18753 18755 18755 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947971087 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18755/tid=18770] ppid=18753 vsize=8547924 CPUtime=0 cores=1,3,5,7
/proc/18755/task/18770/stat : 18770 (java) T 18753 18755 18755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947971089 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216747002289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18755/tid=18771] ppid=18753 vsize=8547924 CPUtime=0.74 cores=1,3,5,7
/proc/18755/task/18771/stat : 18771 (java) T 18753 18755 18755 0 -1 4202560 4738 0 0 0 74 0 0 0 15 0 19 0 947971089 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18772] ppid=18753 vsize=8547924 CPUtime=0.71 cores=1,3,5,7
/proc/18755/task/18772/stat : 18772 (java) T 18753 18755 18755 0 -1 4202560 6428 0 0 0 71 0 0 0 15 0 19 0 947971089 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18755/tid=18774] ppid=18753 vsize=8547924 CPUtime=0 cores=1,3,5,7
/proc/18755/task/18774/stat : 18774 (java) T 18753 18755 18755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947971089 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18755/tid=18775] ppid=18753 vsize=8547924 CPUtime=0 cores=1,3,5,7
/proc/18755/task/18775/stat : 18775 (java) T 18753 18755 18755 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947971089 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746995200 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18755/tid=18776] ppid=18753 vsize=8547924 CPUtime=0 cores=1,3,5,7
/proc/18755/task/18776/stat : 18776 (java) T 18753 18755 18755 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947971112 8753074176 163909 33554432000 1073741824 1073778376 140736379241840 18446744073709551615 216746995200 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18753/tid=18778] ppid=18718 vsize=325240 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18778/stat : 18778 (python) S 18718 18718 17508 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 947975833 333045760 5988 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604467232790656 0 0 -1 3 0 0 0
[pid=18787] ppid=18718 vsize=335496 CPUtime=0.22 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18718 18718 17508 0 -1 4202560 1164 0 0 0 10 12 0 0 19 0 2 0 947994196 343547904 5992 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18787/statm: 83874 5992 391 364 0 18746 0
[pid=18789] ppid=18787 vsize=60196 CPUtime=47.36 cores=1,3,5,7
/proc/18789/stat : 18789 (bsolo_pb10) T 18787 18789 18789 0 -1 4202496 12900 0 0 0 4732 4 0 0 25 0 1 0 947994196 61640704 12604 33554432000 134512640 137138936 4292333440 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/18789/statm: 15049 12604 192 642 0 14405 0
[pid=18787/tid=18803] ppid=18718 vsize=335496 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (python) S 18718 18718 17508 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 947998934 343547904 5992 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604470655555456 0 0 -1 7 0 0 0
[pid=18819] ppid=18718 vsize=345752 CPUtime=0.42 cores=1,3,5,7
/proc/18819/stat : 18819 (python) S 18718 18718 17508 0 -1 4202560 1163 0 0 0 20 22 0 0 19 0 2 0 948040873 354050048 6001 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18819/statm: 86438 6001 391 364 0 21307 0
[pid=18821] ppid=18819 vsize=172768 CPUtime=93.54 cores=1,3,5,7
/proc/18821/stat : 18821 (bsolo_pb10) T 18819 18821 18821 0 -1 4202496 41130 0 0 0 9336 18 0 0 25 0 1 0 948040873 176914432 40753 33554432000 134512640 137138936 4289487904 18446744073709551615 134542286 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/18821/statm: 43192 40753 190 642 0 42548 0
[pid=18819/tid=18824] ppid=18718 vsize=345752 CPUtime=0 cores=1,3,5,7
/proc/18819/task/18824/stat : 18824 (python) S 18718 18718 17508 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948050229 354050048 6001 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604468664908736 0 0 -1 3 0 0 0
[pid=18825] ppid=18718 vsize=355640 CPUtime=0.22 cores=1,3,5,7
/proc/18825/stat : 18825 (python) S 18718 18718 17508 0 -1 4202560 1212 0 0 0 10 12 0 0 17 0 2 0 948050248 364175360 5939 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18825/statm: 88910 5939 397 364 0 23776 0
[pid=18827] ppid=18825 vsize=66688 CPUtime=47.29 cores=1,3,5,7
/proc/18827/stat : 18827 (minion) T 18825 18827 18827 0 -1 4202496 9788 0 0 0 4728 1 0 0 25 0 1 0 948050248 68288512 9407 33554432000 134512640 165565024 4288169088 18446744073709551615 142765088 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/18827/statm: 16672 9407 359 7582 0 9087 0
[pid=18825/tid=18830] ppid=18718 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/18825/task/18830/stat : 18830 (python) S 18718 18718 17508 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948054977 364175360 5939 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604456998223936 0 0 -1 7 0 0 0
[pid=18907] ppid=18718 vsize=366400 CPUtime=0.22 cores=1,3,5,7
/proc/18907/stat : 18907 (python) S 18718 18718 17508 0 -1 4202560 1201 0 0 0 11 11 0 0 19 0 2 0 948110471 375193600 6044 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18907/statm: 91600 6044 397 364 0 26463 0
[pid=18909] ppid=18907 vsize=86468 CPUtime=47.36 cores=1,3,5,7
/proc/18909/stat : 18909 (bsolo_pb10) T 18907 18909 18909 0 -1 4202496 19469 0 0 0 4703 33 0 0 25 0 1 0 948110471 88543232 19173 33554432000 134512640 137138936 4288982448 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/18909/statm: 21617 19173 192 642 0 20973 0
[pid=18907/tid=18935] ppid=18718 vsize=366400 CPUtime=0 cores=1,3,5,7
/proc/18907/task/18935/stat : 18935 (python) S 18718 18718 17508 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 948115208 375193600 6044 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604467232788864 0 0 -1 7 0 0 0
[pid=18936] ppid=18718 vsize=376656 CPUtime=0.22 cores=1,3,5,7
/proc/18936/stat : 18936 (python) S 18718 18718 17508 0 -1 4202560 1172 0 0 0 10 12 0 0 17 0 2 0 948115209 385695744 6042 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18936/statm: 94164 6042 391 364 0 29024 0
[pid=18938] ppid=18936 vsize=133916 CPUtime=47.14 cores=1,3,5,7
/proc/18938/stat : 18938 (wbo1.4a) T 18936 18938 18938 0 -1 4202496 33262 0 0 0 4647 67 0 0 25 0 1 0 948115209 137129984 32972 33554432000 134512640 135751879 4292508704 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/18938/statm: 33479 32972 143 303 0 33174 0
[pid=18936/tid=18944] ppid=18718 vsize=376656 CPUtime=0 cores=1,3,5,7
/proc/18936/task/18944/stat : 18944 (python) S 18718 18718 17508 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948119924 385695744 6042 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554946 18446604464623704000 0 0 -1 7 0 0 0
[pid=18718/tid=18726] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18726/stat : 18726 (python) S 18716 18718 17508 0 -1 4202560 39 1333 0 0 0 0 1 0 18 0 11 0 947942119 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
[pid=18718/tid=18732] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18732/stat : 18732 (python) S 18716 18718 17508 0 -1 4202560 43 1333 0 0 0 0 1 0 18 0 11 0 947946844 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
[pid=18718/tid=18737] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18737/stat : 18737 (python) S 18716 18718 17508 0 -1 4202560 34 1333 0 0 0 0 1 0 18 0 11 0 947951997 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 3 0 0 0
[pid=18718/tid=18747] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18747/stat : 18747 (python) S 18716 18718 17508 0 -1 4202560 28 1333 0 0 0 0 1 0 20 0 11 0 947961164 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
[pid=18718/tid=18754] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18754/stat : 18754 (python) S 18716 18718 17508 0 -1 4202560 27 1333 0 0 0 0 1 0 20 0 11 0 947971084 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
[pid=18718/tid=18788] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18788/stat : 18788 (python) S 18716 18718 17508 0 -1 4202560 30 1333 0 0 0 0 1 0 20 0 11 0 947994196 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
[pid=18718/tid=18820] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18820/stat : 18820 (python) S 18716 18718 17508 0 -1 4202560 28 1333 0 0 0 0 1 0 20 0 11 0 948040873 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 7 0 0 0
[pid=18718/tid=18826] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18826/stat : 18826 (python) S 18716 18718 17508 0 -1 4202560 23 1333 0 0 0 0 1 0 20 0 11 0 948050248 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 3 0 0 0
[pid=18718/tid=18908] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18908/stat : 18908 (python) S 18716 18718 17508 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 11 0 948110471 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 1 0 0 0
[pid=18718/tid=18937] ppid=18716 vsize=386900 CPUtime=0.01 cores=1,3,5,7
/proc/18718/task/18937/stat : 18937 (python) S 18716 18718 17508 0 -1 4202560 27 1333 0 0 0 0 1 0 20 0 11 0 948115209 396185600 7551 33554432000 4194304 5683644 140734121907024 18446744073709551615 216747002289 0 0 16781312 33554434 18446604454936962176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 12964116

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18718 and gives
#  childrusage.ru_utime.tv_sec=296
#  childrusage.ru_utime.tv_usec=176974
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=262048
# CPU time returned by wait4() is 302.439
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.19
CPU time (s): 1800.1
CPU user time (s): 1769.36
CPU system time (s): 30.74
CPU usage (%): 100.554
Max. virtual memory (cumulated for all children) (KiB): 12968448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 296.177
system time used= 6.26205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144378
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= 4754
involuntary context switches= 1559

runsolver used 14.4628 second user time and 32.862 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-09 01:51:53
IDJOB=3482401
IDBENCH=48362
IDSOLVER=1971
FILE ID=node119/3482401-1307577113
RUNJOBID= node119-1307576359-17527
PBS_JOBID= 13547680
Free space on /tmp= 73656 MiB

SOLVER NAME= borg pb-dec-11.04.03
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3482401-1307577113/watcher-3482401-1307577113 -o /tmp/evaluation-result-3482401-1307577113/solver-3482401-1307577113 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482401-1307577113.opb -seed 1982676039 -budget 1800

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

MD5SUM BENCH= 813576a353dee8860ef5bb1ebdae9d95
RANDOM SEED=1982676039

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28738856 kB
Buffers:        159488 kB
Cached:         487572 kB
SwapCached:      11168 kB
Active:        3760404 kB
Inactive:       145488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28738856 kB
SwapTotal:    67111528 kB
SwapFree:     49879164 kB
Dirty:          103016 kB
Writeback:           0 kB
AnonPages:     3256128 kB
Mapped:          41392 kB
Slab:           146344 kB
PageTables:      88328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167608448 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= 69400 MiB
End job on node119 at 2011-06-09 02:21:46