Trace number 3482392

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.06 1790.9

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_40.opb
MD5SUM83d1e3d1d0816aba7f8b7eb415a5cecb
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 variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle
0.32/0.47	c INFO: solving HOME/instance-3482392-1307576841.opb
0.38/0.57	c INFO: wrote linearized instance to HOME/tmp9KapMx.opb
0.49/0.66	c INFO: parsing took 0.09 s
0.69/0.85	c INFO: features took 0.19 CPU seconds
0.69/0.87	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.39)
48.59/48.54	c INFO: running clasp-1.3.7@0 for 45 with 1752 remaining (b = 0.09)
96.91/96.77	c INFO: running scip-2.0.1-clp@0 for 45 with 1703 remaining (b = 0.03)
144.90/144.57	c INFO: running clasp-1.3.7@48 for 45 with 1656 remaining (b = 0.01)
191.42/190.80	c INFO: running scip-2.0.1-clp@47 for 45 with 1610 remaining (b = 0.01)
237.82/237.09	c INFO: running wbo1.4a@0 for 45 with 1563 remaining (b = 0.02)
284.93/283.92	c INFO: running clasp-1.3.7@94 for 136 with 1517 remaining (b = 0.02)
421.11/419.51	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1381 remaining (b = 0.01)
472.06/468.51	c INFO: running scip-2.0.1-spx@47 for 45 with 1331 remaining (b = 0.01)
520.94/517.02	c INFO: running bsolo_pb10-l3@0 for 45 with 1282 remaining (b = 0.01)
568.51/564.40	c INFO: running scip-2.0.1-spx@95 for 410 with 1235 remaining (b = 0.06)
978.11/972.35	c INFO: running bsolo_pb10-l1@0 for 91 with 828 remaining (b = 0.01)
1073.11/1066.95	c INFO: running scip-2.0.1-spx@502 for 547 with 734 remaining (b = 0.05)
1627.63/1619.03	c INFO: wrote minion input file to HOME/tmpQ5Ys_t.minion
1627.63/1619.03	c INFO: running minion-0.12@0 for 45 with 184 remaining (b = 0.00)
1675.23/1666.57	c INFO: running pbct-0.1.2-linear@0 for 45 with 136 remaining (b = 0.00)
1722.71/1713.89	c INFO: running scip-2.0.1-clp@93 for 89 with 89 remaining (b = 0.00)

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-3482392-1307576841/watcher-3482392-1307576841 -o /tmp/evaluation-result-3482392-1307576841/solver-3482392-1307576841 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482392-1307576841.opb -seed 910709415 -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: 4.81 2.63 1.13 3/492 4214
/proc/meminfo: memFree=23202120/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/4214/stat : 4214 (python) R 4212 4214 3857 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 601875688 15753216 677 33554432000 4194304 5683644 140735241157472 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4214/statm: 3846 678 322 364 0 333 0

[startup+0.079917 s]
/proc/loadavg: 4.81 2.63 1.13 3/492 4214
/proc/meminfo: memFree=23202120/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=85368 CPUtime=0.05 cores=0,2,4,6
/proc/4214/stat : 4214 (python) R 4212 4214 3857 0 -1 4202496 2622 0 0 0 4 1 0 0 18 0 1 0 601875688 87416832 2341 33554432000 4194304 5683644 140735241157472 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4214/statm: 21406 2342 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85368

[startup+0.100945 s]
/proc/loadavg: 4.81 2.63 1.13 3/492 4214
/proc/meminfo: memFree=23202120/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/4214/stat : 4214 (python) R 4212 4214 3857 0 -1 4202496 3170 928 1 0 5 1 0 0 18 0 1 0 601875688 98435072 2483 33554432000 4194304 5683644 140735241157472 18446744073709551615 5171997 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4214/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128

[startup+0.300841 s]
/proc/loadavg: 4.81 2.63 1.13 3/492 4214
/proc/meminfo: memFree=23202120/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 6678 928 1 0 18 5 0 0 17 0 1 0 601875688 207867904 4962 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/4214/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996

[startup+0.700852 s]
/proc/loadavg: 4.81 2.63 1.13 3/492 4214
/proc/meminfo: memFree=23202120/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=285784 CPUtime=0.59 cores=0,2,4,6
/proc/4214/stat : 4214 (python) R 4212 4214 3857 0 -1 4202496 11476 1361 1 0 42 8 9 0 18 0 1 0 601875688 292642816 7819 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660320395 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/4214/statm: 71446 7819 1816 364 0 6339 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 285784

[startup+1.5007 s]
/proc/loadavg: 4.81 2.63 1.13 3/496 4223
/proc/meminfo: memFree=23144924/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=296412 CPUtime=0.78 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 12244 1361 1 0 60 9 9 0 20 0 2 0 601875688 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4214/statm: 74103 7942 1871 364 0 8990 0
[pid=4221] ppid=4214 vsize=286168 CPUtime=0 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 718 0 0 0 0 0 0 0 16 0 1 0 601875776 293036032 6386 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682255 0 0 16781312 33554946 10731012936228110595 0 0 17 4 0 0 0
/proc/4221/statm: 71542 6386 319 364 0 6429 0
[pid=4223] ppid=4221 vsize=78588 CPUtime=0.61 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) R 4221 4223 4223 0 -1 4202496 17882 0 0 0 52 9 0 0 22 0 1 0 601875776 80474112 16820 33554432000 4194304 13684479 140734414345728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4223/statm: 19647 16820 757 2317 0 17325 0
[pid=4214/tid=4222] ppid=4212 vsize=296412 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 26 1361 0 0 0 0 9 0 20 0 2 0 601875776 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 661168

[startup+3.10038 s]
/proc/loadavg: 4.81 2.63 1.13 3/495 4223
/proc/meminfo: memFree=23104012/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=296412 CPUtime=0.78 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 12244 1361 1 0 60 9 9 0 20 0 2 0 601875688 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4214/statm: 74103 7942 1871 364 0 8990 0
[pid=4221] ppid=4214 vsize=286168 CPUtime=0 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 1 0 601875776 293036032 6386 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682255 0 0 16781312 33554946 10731012936228110595 0 0 17 4 0 0 0
/proc/4221/statm: 71542 6386 319 364 0 6429 0
[pid=4223] ppid=4221 vsize=79916 CPUtime=2.21 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) R 4221 4223 4223 0 -1 4202496 18780 0 0 0 212 9 0 0 19 0 1 0 601875776 81833984 17699 33554432000 4194304 13684479 140734414345728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4223/statm: 19979 17699 796 2317 0 17657 0
[pid=4214/tid=4222] ppid=4212 vsize=296412 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 26 1361 0 0 0 0 9 0 20 0 2 0 601875776 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 662496

[startup+6.30085 s]
/proc/loadavg: 4.75 2.66 1.14 3/495 4223
/proc/meminfo: memFree=23106872/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=296412 CPUtime=0.78 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 12244 1361 1 0 60 9 9 0 20 0 2 0 601875688 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4214/statm: 74103 7942 1871 364 0 8990 0
[pid=4221] ppid=4214 vsize=286168 CPUtime=0.01 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 876 0 0 0 0 1 0 0 15 0 1 0 601875776 293036032 6410 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682255 0 0 16781312 33554946 10731020495370551555 0 0 17 6 0 0 0
/proc/4221/statm: 71542 6410 343 364 0 6429 0
[pid=4223] ppid=4221 vsize=79916 CPUtime=5.41 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) R 4221 4223 4223 0 -1 4202496 18803 0 0 0 531 10 0 0 25 0 1 0 601875776 81833984 17705 33554432000 4194304 13684479 140734414345728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4223/statm: 19979 17705 783 2317 0 17657 0
[pid=4214/tid=4222] ppid=4212 vsize=296412 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 26 1361 0 0 0 0 9 0 20 0 2 0 601875776 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 662496

[startup+12.7007 s]
/proc/loadavg: 4.53 2.65 1.14 3/499 4227
/proc/meminfo: memFree=22994744/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=296412 CPUtime=0.78 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 12244 1361 1 0 60 9 9 0 20 0 2 0 601875688 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4214/statm: 74103 7942 1871 364 0 8990 0
[pid=4221] ppid=4214 vsize=286168 CPUtime=0.03 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 982 0 0 0 1 2 0 0 15 0 1 0 601875776 293036032 6415 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682255 0 0 16781312 33554946 10731012936228110595 0 0 17 6 0 0 0
/proc/4221/statm: 71542 6415 348 364 0 6429 0
[pid=4223] ppid=4221 vsize=125244 CPUtime=11.8 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) R 4221 4223 4223 0 -1 4202496 33524 0 0 0 1165 15 0 0 25 0 1 0 601875776 128249856 29101 33554432000 4194304 13684479 140734414345728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4223/statm: 31311 29101 843 2317 0 28989 0
[pid=4214/tid=4222] ppid=4212 vsize=296412 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 26 1361 0 0 0 0 9 0 20 0 2 0 601875776 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 707824

[startup+25.5005 s]
/proc/loadavg: 3.97 2.61 1.16 3/499 4228
/proc/meminfo: memFree=22979860/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=296412 CPUtime=0.78 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 12244 1361 1 0 60 9 9 0 20 0 2 0 601875688 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4214/statm: 74103 7942 1871 364 0 8990 0
[pid=4221] ppid=4214 vsize=286168 CPUtime=0.09 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 990 0 0 0 4 5 0 0 15 0 1 0 601875776 293036032 6415 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682255 0 0 16781312 33554946 72556772316949293 0 0 17 6 0 0 0
/proc/4221/statm: 71542 6415 348 364 0 6429 0
[pid=4223] ppid=4221 vsize=125244 CPUtime=24.61 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) R 4221 4223 4223 0 -1 4202496 33581 0 0 0 2441 20 0 0 25 0 1 0 601875776 128249856 29150 33554432000 4194304 13684479 140734414345728 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4223/statm: 31311 29150 838 2317 0 28989 0
[pid=4214/tid=4222] ppid=4212 vsize=296412 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 26 1361 0 0 0 0 9 0 20 0 2 0 601875776 303525888 7942 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 707824

[startup+51.1009 s]
/proc/loadavg: 3.36 2.58 1.19 3/503 4232
/proc/meminfo: memFree=22968872/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=306668 CPUtime=0.8 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 13174 1361 1 0 62 9 9 0 19 0 3 0 601875688 314028032 7949 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4214/statm: 76667 7949 1874 364 0 11551 0
[pid=4221] ppid=4214 vsize=296412 CPUtime=0.19 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 1178 0 0 0 9 10 0 0 17 0 2 0 601875776 303525888 6483 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4221/statm: 74103 6483 411 364 0 8990 0
[pid=4223] ppid=4221 vsize=122616 CPUtime=47.62 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) T 4221 4223 4223 0 -1 4202496 36333 0 0 0 4736 26 0 0 25 0 1 0 601875776 125558784 28609 33554432000 4194304 13684479 140734414345728 18446744073709551615 5070776 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4223/statm: 30654 28609 849 2317 0 28332 0
[pid=4221/tid=4229] ppid=4214 vsize=296412 CPUtime=0 cores=0,2,4,6
/proc/4221/task/4229/stat : 4229 (python) S 4214 4214 3857 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 601880540 303525888 6483 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604451366723840 0 0 -1 2 0 0 0
[pid=4230] ppid=4214 vsize=296424 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4214 4214 3857 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 601880542 303538176 6391 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682310 0 0 16781312 33554946 16470137696740671746 0 0 17 0 0 0 0
/proc/4230/statm: 74106 6391 320 364 0 8990 0
[pid=4232] ppid=4230 vsize=9804 CPUtime=2.55 cores=0,2,4,6
/proc/4232/stat : 4232 (clasp-1.3.7-x86) R 4230 4232 4232 0 -1 4202496 2555 0 0 0 255 0 0 0 25 0 1 0 601880543 10039296 2186 33554432000 134512640 136139019 4292019696 18446744073709551615 134871008 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/4232/statm: 2451 2186 183 398 0 2051 0
[pid=4214/tid=4222] ppid=4212 vsize=306668 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 26 1361 0 0 0 0 9 0 20 0 3 0 601875776 314028032 7949 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=306668 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4231/stat : 4231 (python) S 4212 4214 3857 0 -1 4202560 30 1361 0 0 0 0 9 0 20 0 3 0 601880542 314028032 7949 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 1031924

[startup+102.319 s]
/proc/loadavg: 2.54 2.48 1.23 3/511 4242
/proc/meminfo: memFree=22771700/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=316924 CPUtime=0.82 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 14074 1361 1 0 64 9 9 0 20 0 4 0 601875688 324530176 7955 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4214/statm: 79231 7955 1876 364 0 14112 0
[pid=4221] ppid=4214 vsize=296412 CPUtime=0.19 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 1178 0 0 0 9 10 0 0 17 0 2 0 601875776 303525888 6483 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4221/statm: 74103 6483 411 364 0 8990 0
[pid=4223] ppid=4221 vsize=122616 CPUtime=47.62 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) T 4221 4223 4223 0 -1 4202496 36333 0 0 0 4736 26 0 0 25 0 1 0 601875776 125558784 28609 33554432000 4194304 13684479 140734414345728 18446744073709551615 5070776 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4223/statm: 30654 28609 849 2317 0 28332 0
[pid=4221/tid=4229] ppid=4214 vsize=296412 CPUtime=0 cores=0,2,4,6
/proc/4221/task/4229/stat : 4229 (python) S 4214 4214 3857 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 601880540 303525888 6483 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604451366723840 0 0 -1 2 0 0 0
[pid=4230] ppid=4214 vsize=296424 CPUtime=0.21 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4214 4214 3857 0 -1 4202560 1094 0 0 0 11 10 0 0 19 0 2 0 601880542 303538176 6463 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/4230/statm: 74106 6463 391 364 0 8990 0
[pid=4232] ppid=4230 vsize=13636 CPUtime=48.17 cores=0,2,4,6
/proc/4232/stat : 4232 (clasp-1.3.7-x86) T 4230 4232 4232 0 -1 4202496 3511 0 0 0 4817 0 0 0 25 0 1 0 601880543 13963264 3142 33554432000 134512640 136139019 4292019696 18446744073709551615 134640605 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/4232/statm: 3409 3142 183 398 0 3009 0
[pid=4230/tid=4239] ppid=4214 vsize=296424 CPUtime=0 cores=0,2,4,6
/proc/4230/task/4239/stat : 4239 (python) S 4214 4214 3857 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 601885363 303538176 6463 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445742811264 0 0 -1 0 0 0 0
[pid=4240] ppid=4214 vsize=306680 CPUtime=0.01 cores=0,2,4,6
/proc/4240/stat : 4240 (python) S 4214 4214 3857 0 -1 4202560 920 0 0 0 0 1 0 0 15 0 1 0 601885366 314040320 6419 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682310 0 0 16781312 33554946 3095660664287363329 0 0 17 4 0 0 0

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

[pid=4214/tid=4266] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4266/stat : 4266 (python) S 4212 4214 3857 0 -1 4202560 28 1361 0 0 0 0 9 0 20 0 10 0 601917640 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 2 0 0 0
[pid=4214/tid=4315] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4315/stat : 4315 (python) S 4212 4214 3857 0 -1 4202560 30 1361 0 0 0 0 9 0 20 0 10 0 601927391 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4344] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4344/stat : 4344 (python) S 4212 4214 3857 0 -1 4202560 82 1361 0 0 0 0 9 0 20 0 10 0 601972924 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4370] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4370/stat : 4370 (python) S 4212 4214 3857 0 -1 4202560 35 1361 0 0 0 0 9 0 21 0 10 0 602037591 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4378] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4378/stat : 4378 (python) S 4212 4214 3857 0 -1 4202560 33 1361 0 0 0 0 9 0 20 0 10 0 602042346 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 13206940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.82 s]
/proc/loadavg: 2.05 2.05 1.90 3/549 4420
/proc/meminfo: memFree=21281236/32951124 swapFree=46575304/67111528
[pid=4214] ppid=4212 vsize=444500 CPUtime=1.95 cores=0,2,4,6
/proc/4214/stat : 4214 (python) S 4212 4214 3857 0 -1 4202496 20421 1361 1 0 175 11 9 0 18 0 10 0 601875688 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4214/statm: 111125 8250 1888 364 0 45988 0
[pid=4221] ppid=4214 vsize=296412 CPUtime=4.51 cores=0,2,4,6
/proc/4221/stat : 4221 (python) S 4214 4214 3857 0 -1 4202560 1242 0 0 0 224 227 0 0 15 0 2 0 601875776 303525888 6484 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4221/statm: 74103 6484 412 364 0 8990 0
[pid=4223] ppid=4221 vsize=151048 CPUtime=1055.26 cores=0,2,4,6
/proc/4223/stat : 4223 (scip-2.0.1.linu) T 4221 4223 4223 0 -1 4202496 43259 0 0 0 105191 335 0 0 25 0 1 0 601875776 154673152 35369 33554432000 4194304 13684479 140734414345728 18446744073709551615 7354521 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4223/statm: 37762 35369 884 2317 0 35440 0
[pid=4221/tid=4229] ppid=4214 vsize=296412 CPUtime=0 cores=0,2,4,6
/proc/4221/task/4229/stat : 4229 (python) S 4214 4214 3857 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 2 0 601880540 303525888 6484 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604451366723840 0 0 -1 2 0 0 0
[pid=4230] ppid=4214 vsize=296424 CPUtime=0.99 cores=0,2,4,6
/proc/4230/stat : 4230 (python) S 4214 4214 3857 0 -1 4202560 1182 0 0 0 50 49 0 0 18 0 2 0 601880542 303538176 6463 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4230/statm: 74106 6463 391 364 0 8990 0
[pid=4232] ppid=4230 vsize=17600 CPUtime=229.94 cores=0,2,4,6
/proc/4232/stat : 4232 (clasp-1.3.7-x86) T 4230 4232 4232 0 -1 4202496 4657 0 0 0 22994 0 0 0 25 0 1 0 601880543 18022400 4134 33554432000 134512640 136139019 4292019696 18446744073709551615 134875915 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/4232/statm: 4400 4134 183 398 0 4000 0
[pid=4230/tid=4239] ppid=4214 vsize=296424 CPUtime=0 cores=0,2,4,6
/proc/4230/task/4239/stat : 4239 (python) S 4214 4214 3857 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 601885363 303538176 6463 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445742811264 0 0 -1 0 0 0 0
[pid=4240] ppid=4214 vsize=306680 CPUtime=0.74 cores=0,2,4,6
/proc/4240/stat : 4240 (python) S 4214 4214 3857 0 -1 4202560 1190 0 0 0 36 38 0 0 15 0 2 0 601885366 314040320 6467 33554432000 4194304 5683644 140735241157472 18446744073709551615 268660682310 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4240/statm: 76670 6467 391 364 0 11551 0
[pid=4242] ppid=4240 vsize=126364 CPUtime=170.98 cores=0,2,4,6
/proc/4242/stat : 4242 (scip-2.0.1.linu) R 4240 4242 4242 0 -1 4202496 66634 0 0 0 17055 43 0 0 25 0 1 0 601885366 129396736 28595 33554432000 4194304 15243407 140733910083072 18446744073709551615 8645256 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4242/statm: 31591 28595 985 2698 0 28886 0
[pid=4240/tid=4245] ppid=4214 vsize=306680 CPUtime=0 cores=0,2,4,6
/proc/4240/task/4245/stat : 4245 (python) S 4214 4214 3857 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 601890143 314040320 6467 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604440450982080 0 0 -1 6 0 0 0
[pid=4252] ppid=4214 vsize=316936 CPUtime=0.19 cores=0,2,4,6
/proc/4252/stat : 4252 (python) S 4214 4214 3857 0 -1 4202560 1168 0 0 0 9 10 0 0 16 0 2 0 601899398 324542464 6471 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4252/statm: 79234 6471 391 364 0 14112 0
[pid=4254] ppid=4252 vsize=129932 CPUtime=46.79 cores=0,2,4,6
/proc/4254/stat : 4254 (wbo1.4a) T 4252 4254 4254 0 -1 4202496 32359 0 0 0 4660 19 0 0 25 0 1 0 601899398 133050368 31960 33554432000 134512640 135751879 4293806400 18446744073709551615 134606830 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/4254/statm: 32483 31960 143 303 0 32178 0
[pid=4252/tid=4260] ppid=4214 vsize=316936 CPUtime=0 cores=0,2,4,6
/proc/4252/task/4260/stat : 4260 (python) S 4214 4214 3857 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 601904078 324542464 6471 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604441732399488 0 0 -1 4 0 0 0
[pid=4265] ppid=4214 vsize=327192 CPUtime=0.2 cores=0,2,4,6
/proc/4265/stat : 4265 (python) S 4214 4214 3857 0 -1 4202560 1143 0 0 0 10 10 0 0 17 0 2 0 601917640 335044608 6475 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4265/statm: 81798 6475 391 364 0 16673 0
[pid=4267] ppid=4265 vsize=8543948 CPUtime=50.84 cores=0,2,4,6
/proc/4267/stat : 4267 (java) T 4265 4267 4267 0 -1 4202496 170468 0 117 0 5060 24 0 0 18 0 19 0 601917640 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 12
/proc/4267/statm: 2135987 153642 2250 9 0 2126728 0
[pid=4267/tid=4268] ppid=4265 vsize=8543948 CPUtime=48.37 cores=0,2,4,6
/proc/4267/task/4268/stat : 4268 (java) T 4265 4267 4267 0 -1 4202560 115175 0 59 0 4823 14 0 0 25 0 19 0 601917654 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 46912505863284 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 11
[pid=4267/tid=4269] ppid=4265 vsize=8543948 CPUtime=0.12 cores=0,2,4,6
/proc/4267/task/4269/stat : 4269 (java) T 4265 4267 4267 0 -1 4202560 6924 0 0 0 11 1 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4267/tid=4270] ppid=4265 vsize=8543948 CPUtime=0.07 cores=0,2,4,6
/proc/4267/task/4270/stat : 4270 (java) T 4265 4267 4267 0 -1 4202560 5281 0 0 0 7 0 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4267/tid=4271] ppid=4265 vsize=8543948 CPUtime=0.05 cores=0,2,4,6
/proc/4267/task/4271/stat : 4271 (java) T 4265 4267 4267 0 -1 4202560 3921 0 0 0 5 0 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4267/tid=4272] ppid=4265 vsize=8543948 CPUtime=0.08 cores=0,2,4,6
/proc/4267/task/4272/stat : 4272 (java) T 4265 4267 4267 0 -1 4202560 4719 0 0 0 8 0 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4267/tid=4273] ppid=4265 vsize=8543948 CPUtime=0.07 cores=0,2,4,6
/proc/4267/task/4273/stat : 4273 (java) T 4265 4267 4267 0 -1 4202560 3399 0 0 0 7 0 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4267/tid=4274] ppid=4265 vsize=8543948 CPUtime=0.1 cores=0,2,4,6
/proc/4267/task/4274/stat : 4274 (java) T 4265 4267 4267 0 -1 4202560 7809 0 0 0 9 1 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4267/tid=4275] ppid=4265 vsize=8543948 CPUtime=0.06 cores=0,2,4,6
/proc/4267/task/4275/stat : 4275 (java) T 4265 4267 4267 0 -1 4202560 3647 0 0 0 6 0 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4267/tid=4276] ppid=4265 vsize=8543948 CPUtime=0.07 cores=0,2,4,6
/proc/4267/task/4276/stat : 4276 (java) T 4265 4267 4267 0 -1 4202560 5102 0 0 0 7 0 0 0 15 0 19 0 601917657 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4267/tid=4277] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4277/stat : 4277 (java) T 4265 4267 4267 0 -1 4202560 455 0 0 0 0 0 0 0 15 0 19 0 601917660 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478720 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4267/tid=4278] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4278/stat : 4278 (java) T 4265 4267 4267 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 601917661 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4267/tid=4279] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4279/stat : 4279 (java) T 4265 4267 4267 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 601917661 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=4267/tid=4280] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4280/stat : 4280 (java) T 4265 4267 4267 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 601917667 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672485809 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4267/tid=4281] ppid=4265 vsize=8543948 CPUtime=0.95 cores=0,2,4,6
/proc/4267/task/4281/stat : 4281 (java) T 4265 4267 4267 0 -1 4202560 4409 0 0 0 95 0 0 0 15 0 19 0 601917667 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4267/tid=4282] ppid=4265 vsize=8543948 CPUtime=0.77 cores=0,2,4,6
/proc/4267/task/4282/stat : 4282 (java) T 4265 4267 4267 0 -1 4202560 8288 0 2 0 76 1 0 0 15 0 19 0 601917667 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4267/tid=4283] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4283/stat : 4283 (java) T 4265 4267 4267 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 601917667 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4267/tid=4284] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4284/stat : 4284 (java) T 4265 4267 4267 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 601917667 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478720 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4267/tid=4285] ppid=4265 vsize=8543948 CPUtime=0 cores=0,2,4,6
/proc/4267/task/4285/stat : 4285 (java) T 4265 4267 4267 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 601917718 8749002752 153642 33554432000 1073741824 1073778376 140734701051024 18446744073709551615 268672478720 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4265/tid=4287] ppid=4214 vsize=327192 CPUtime=0 cores=0,2,4,6
/proc/4265/task/4287/stat : 4287 (python) S 4214 4214 3857 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 601922537 335044608 6475 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604441505862784 0 0 -1 2 0 0 0
[pid=4314] ppid=4214 vsize=337952 CPUtime=0.2 cores=0,2,4,6
/proc/4314/stat : 4314 (python) S 4214 4214 3857 0 -1 4202560 1167 0 0 0 10 10 0 0 17 0 2 0 601927391 346062848 6605 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4314/statm: 84488 6605 391 364 0 19360 0
[pid=4316] ppid=4314 vsize=87664 CPUtime=47.35 cores=0,2,4,6
/proc/4316/stat : 4316 (bsolo_pb10) T 4314 4316 4316 0 -1 4202496 20214 0 0 0 4730 5 0 0 25 0 1 0 601927391 89767936 19485 33554432000 134512640 137138936 4289337552 18446744073709551615 134542316 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/4316/statm: 21916 19485 192 642 0 21272 0
[pid=4314/tid=4319] ppid=4214 vsize=337952 CPUtime=0 cores=0,2,4,6
/proc/4314/task/4319/stat : 4319 (python) S 4214 4214 3857 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 601932126 346062848 6605 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449651123200 0 0 -1 6 0 0 0
[pid=4343] ppid=4214 vsize=413744 CPUtime=0.41 cores=0,2,4,6
/proc/4343/stat : 4343 (python) S 4214 4214 3857 0 -1 4202560 1095 0 0 0 21 20 0 0 17 0 2 0 601972924 423673856 6744 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4343/statm: 103436 6744 391 364 0 38305 0
[pid=4345] ppid=4343 vsize=245804 CPUtime=94.58 cores=0,2,4,6
/proc/4345/stat : 4345 (bsolo_pb10) T 4343 4345 4345 0 -1 4202496 59739 0 0 0 9440 18 0 0 25 0 1 0 601972924 251703296 59018 33554432000 134512640 137138936 4289625280 18446744073709551615 134542752 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/4345/statm: 61451 59018 190 642 0 60807 0
[pid=4343/tid=4352] ppid=4214 vsize=413744 CPUtime=0 cores=0,2,4,6
/proc/4343/task/4352/stat : 4352 (python) S 4214 4214 3857 0 -1 4202560 112 0 0 0 0 0 0 0 17 0 2 0 601982382 423673856 6744 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604443210150336 0 0 -1 6 0 0 0
[pid=4369] ppid=4214 vsize=424000 CPUtime=0.2 cores=0,2,4,6
/proc/4369/stat : 4369 (python) S 4214 4214 3857 0 -1 4202560 1122 0 0 0 10 10 0 0 17 0 2 0 602037591 434176000 6777 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4369/statm: 106000 6777 397 364 0 40866 0
[pid=4371] ppid=4369 vsize=99572 CPUtime=47.44 cores=0,2,4,6
/proc/4371/stat : 4371 (minion) T 4369 4371 4371 0 -1 4202496 124917 0 0 0 4729 15 0 0 25 0 1 0 602037592 101961728 17598 33554432000 134512640 165565024 4289021824 18446744073709551615 142424327 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/4371/statm: 24893 17598 359 7582 0 17308 0
[pid=4369/tid=4376] ppid=4214 vsize=424000 CPUtime=0 cores=0,2,4,6
/proc/4369/task/4376/stat : 4376 (python) S 4214 4214 3857 0 -1 4202560 60 0 0 0 0 0 0 0 17 0 2 0 602042345 434176000 6777 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449423798656 0 0 -1 6 0 0 0
[pid=4377] ppid=4214 vsize=434256 CPUtime=0.2 cores=0,2,4,6
/proc/4377/stat : 4377 (python) S 4214 4214 3857 0 -1 4202560 1252 0 0 0 10 10 0 0 19 0 2 0 602042346 444678144 6890 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4377/statm: 108564 6890 397 364 0 43427 0
[pid=4379] ppid=4377 vsize=206912 CPUtime=47.29 cores=0,2,4,6
/proc/4379/stat : 4379 (pbct-0.1.2-linu) T 4377 4379 4379 0 -1 4202496 53220 0 0 0 4672 57 0 0 25 0 1 0 602042346 211877888 49550 33554432000 134512640 136422188 4292280288 18446744073709551615 135020953 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/4379/statm: 51728 49550 214 467 0 51259 0
[pid=4377/tid=4383] ppid=4214 vsize=434256 CPUtime=0 cores=0,2,4,6
/proc/4377/task/4383/stat : 4383 (python) S 4214 4214 3857 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 602047076 444678144 6890 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445742810368 0 0 -1 6 0 0 0
[pid=4214/tid=4222] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4222/stat : 4222 (python) S 4212 4214 3857 0 -1 4202560 41 1361 0 0 0 0 9 0 18 0 10 0 601875776 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4231] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4231/stat : 4231 (python) S 4212 4214 3857 0 -1 4202560 42 1361 0 0 0 0 9 0 18 0 10 0 601880542 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 4 0 0 0
[pid=4214/tid=4241] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4241/stat : 4241 (python) S 4212 4214 3857 0 -1 4202560 35 1361 0 0 0 0 9 0 18 0 10 0 601885366 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 2 0 0 0
[pid=4214/tid=4253] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4253/stat : 4253 (python) S 4212 4214 3857 0 -1 4202560 29 1361 0 0 0 0 9 0 20 0 10 0 601899398 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 2 0 0 0
[pid=4214/tid=4266] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4266/stat : 4266 (python) S 4212 4214 3857 0 -1 4202560 28 1361 0 0 0 0 9 0 20 0 10 0 601917640 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 2 0 0 0
[pid=4214/tid=4315] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4315/stat : 4315 (python) S 4212 4214 3857 0 -1 4202560 30 1361 0 0 0 0 9 0 20 0 10 0 601927391 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4344] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4344/stat : 4344 (python) S 4212 4214 3857 0 -1 4202560 82 1361 0 0 0 0 9 0 20 0 10 0 601972924 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4370] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4370/stat : 4370 (python) S 4212 4214 3857 0 -1 4202560 35 1361 0 0 0 0 9 0 21 0 10 0 602037591 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 0 0 0 0
[pid=4214/tid=4378] ppid=4212 vsize=444500 CPUtime=0.09 cores=0,2,4,6
/proc/4214/task/4378/stat : 4378 (python) S 4212 4214 3857 0 -1 4202560 33 1361 0 0 0 0 9 0 20 0 10 0 602042346 455168000 8250 33554432000 4194304 5683644 140735241157472 18446744073709551615 268672485809 0 0 16781312 33554434 18446604448581357632 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13206940

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1790.9
CPU time (s): 1800.06
CPU user time (s): 1790.95
CPU system time (s): 9.11
CPU usage (%): 100.511
Max. virtual memory (cumulated for all children) (KiB): 13206944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.84972
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21788
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= 6117
involuntary context switches= 34

runsolver used 14.3878 second user time and 28.8256 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-09 01:47:24
IDJOB=3482392
IDBENCH=48353
IDSOLVER=1971
FILE ID=node107/3482392-1307576841
RUNJOBID= node107-1307576441-3875
PBS_JOBID= 13547698
Free space on /tmp= 73828 MiB

SOLVER NAME= borg pb-dec-11.04.03
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_4_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-3482392-1307576841/watcher-3482392-1307576841 -o /tmp/evaluation-result-3482392-1307576841/solver-3482392-1307576841 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482392-1307576841.opb -seed 910709415 -budget 1800

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

MD5SUM BENCH= 83d1e3d1d0816aba7f8b7eb415a5cecb
RANDOM SEED=910709415

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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:      23202160 kB
Buffers:        170684 kB
Cached:         509816 kB
SwapCached:      19640 kB
Active:        9203832 kB
Inactive:       209504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23202160 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:          181136 kB
Writeback:         200 kB
AnonPages:     8730972 kB
Mapped:          38756 kB
Slab:           169860 kB
PageTables:      95920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145171076 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= 73676 MiB
End job on node107 at 2011-06-09 02:17:17