Trace number 3482379

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.68

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
MD5SUM67a15ea3b760eccb0e507c1f93bad0e1
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)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

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-3482379-1307576721.opb
0.39/0.57	c INFO: wrote linearized instance to HOME/tmpS59VO5.opb
0.50/0.66	c INFO: parsing took 0.09 s
0.69/0.87	c INFO: features took 0.20 CPU seconds
1.38/9.79	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.39)
47.38/47.32	c INFO: running clasp-1.3.7@0 for 45 with 1753 remaining (b = 0.09)
94.66/94.55	c INFO: running scip-2.0.1-clp@0 for 45 with 1706 remaining (b = 0.03)
143.16/142.88	c INFO: running clasp-1.3.7@47 for 45 with 1658 remaining (b = 0.01)
188.66/188.12	c INFO: running scip-2.0.1-clp@48 for 45 with 1612 remaining (b = 0.01)
232.47/231.79	c INFO: running wbo1.4a@0 for 45 with 1569 remaining (b = 0.02)
282.18/281.20	c INFO: running clasp-1.3.7@92 for 136 with 1520 remaining (b = 0.02)
422.34/420.84	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1380 remaining (b = 0.01)
468.34/464.58	c INFO: running scip-2.0.1-spx@46 for 45 with 1334 remaining (b = 0.01)
514.48/510.44	c INFO: running bsolo_pb10-l3@0 for 45 with 1289 remaining (b = 0.01)
562.15/557.97	c INFO: running scip-2.0.1-spx@91 for 410 with 1241 remaining (b = 0.06)
977.75/971.79	c INFO: running bsolo_pb10-l1@0 for 91 with 829 remaining (b = 0.01)
1070.70/1064.30	c INFO: running scip-2.0.1-spx@504 for 547 with 736 remaining (b = 0.05)
1624.67/1616.09	c INFO: wrote minion input file to HOME/tmpkxqV5W.minion
1624.67/1616.09	c INFO: running minion-0.12@0 for 45 with 188 remaining (b = 0.00)
1673.48/1664.60	c INFO: running pbct-0.1.2-linear@0 for 45 with 139 remaining (b = 0.00)
1721.98/1712.90	c INFO: running scip-2.0.1-clp@91 for 45 with 91 remaining (b = 0.00)
1767.60/1758.39	c INFO: running clasp-1.3.7@231 for 46 with 46 remaining (b = 0.00)
1800.06/1790.67	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-3482379-1307576721/watcher-3482379-1307576721 -o /tmp/evaluation-result-3482379-1307576721/solver-3482379-1307576721 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482379-1307576721.opb -seed 950059646 -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.41 3.07 1.39 2/514 17124
/proc/meminfo: memFree=28245176/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/17124/stat : 17124 (python) R 17122 17124 16517 0 -1 4202496 1046 0 0 0 0 0 0 0 25 0 1 0 869271830 16625664 917 33554432000 4194304 5683644 140735604760624 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17124/statm: 4059 917 381 364 0 546 0

[startup+0.0265429 s]
/proc/loadavg: 4.41 3.07 1.39 2/514 17124
/proc/meminfo: memFree=28245176/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=16812 CPUtime=0.01 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 1228 0 0 0 1 0 0 0 25 0 1 0 869271830 17215488 1085 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/17124/statm: 4203 1085 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812

[startup+0.10451 s]
/proc/loadavg: 4.41 3.07 1.39 2/514 17124
/proc/meminfo: memFree=28245176/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/17124/stat : 17124 (python) R 17122 17124 16517 0 -1 4202496 3168 929 1 0 6 2 0 0 18 0 1 0 869271830 98430976 2482 33554432000 4194304 5683644 140735604760624 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17124/statm: 24031 2482 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124

[startup+0.300565 s]
/proc/loadavg: 4.41 3.07 1.39 2/514 17124
/proc/meminfo: memFree=28245176/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 6671 929 1 0 16 7 0 0 17 0 1 0 869271830 207863808 4957 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/17124/statm: 50748 4957 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992

[startup+0.700445 s]
/proc/loadavg: 4.41 3.07 1.39 2/514 17124
/proc/meminfo: memFree=28245176/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=285820 CPUtime=0.59 cores=0,2,4,6
/proc/17124/stat : 17124 (python) R 17122 17124 16517 0 -1 4202496 11458 1360 1 0 41 10 8 0 18 0 1 0 869271830 292679680 7803 33554432000 4194304 5683644 140735604760624 18446744073709551615 47759420681918 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/17124/statm: 71455 7803 1816 364 0 6348 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 285820

[startup+1.50131 s]
/proc/loadavg: 4.22 3.06 1.39 4/518 17133
/proc/meminfo: memFree=28187856/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=296244 CPUtime=0.79 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 12220 1360 1 0 61 10 8 0 20 0 2 0 869271830 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17124/statm: 74061 7918 1863 364 0 8948 0
[pid=17131] ppid=17124 vsize=286000 CPUtime=0 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 719 0 0 0 0 0 0 0 16 0 1 0 869271920 292864000 6370 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166479 0 0 16781312 33554946 8924915691463606531 0 0 17 4 0 0 0
/proc/17131/statm: 71500 6370 319 364 0 6387 0
[pid=17133] ppid=17131 vsize=78132 CPUtime=0.59 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) R 17131 17133 17133 0 -1 4202496 17679 0 0 0 50 9 0 0 22 0 1 0 869271920 80007168 16665 33554432000 4194304 13684479 140737095864800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17133/statm: 19533 16665 753 2317 0 17211 0
[pid=17124/tid=17132] ppid=17122 vsize=296244 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 20 0 2 0 869271920 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 660376

[startup+9.89089 s]
/proc/loadavg: 4.22 3.06 1.39 4/518 17133
/proc/meminfo: memFree=28187856/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=296244 CPUtime=0.79 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 12220 1360 1 0 61 10 8 0 20 0 2 0 869271830 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17124/statm: 74061 7918 1863 364 0 8948 0
[pid=17131] ppid=17124 vsize=286000 CPUtime=0.03 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 873 0 0 0 2 1 0 0 15 0 1 0 869271920 292864000 6394 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166479 0 0 16781312 33554946 72409437758827375 0 0 17 4 0 0 0
/proc/17131/statm: 71500 6394 343 364 0 6387 0
[pid=17133] ppid=17131 vsize=80044 CPUtime=8.98 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) R 17131 17133 17133 0 -1 4202496 18765 0 0 0 886 12 0 0 25 0 1 0 869271920 81965056 17667 33554432000 4194304 13684479 140737095864800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17133/statm: 20011 17667 788 2317 0 17689 0
[pid=17124/tid=17132] ppid=17122 vsize=296244 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 20 0 2 0 869271920 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 662288

[startup+9.90089 s]
/proc/loadavg: 4.22 3.06 1.39 4/518 17133
/proc/meminfo: memFree=28187856/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=296244 CPUtime=0.79 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 12220 1360 1 0 61 10 8 0 20 0 2 0 869271830 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17124/statm: 74061 7918 1863 364 0 8948 0
[pid=17131] ppid=17124 vsize=286000 CPUtime=0.03 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 873 0 0 0 2 1 0 0 15 0 1 0 869271920 292864000 6394 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166479 0 0 16781312 33554946 72409437758827375 0 0 17 4 0 0 0
/proc/17131/statm: 71500 6394 343 364 0 6387 0
[pid=17133] ppid=17131 vsize=80044 CPUtime=8.99 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) R 17131 17133 17133 0 -1 4202496 18765 0 0 0 887 12 0 0 25 0 1 0 869271920 81965056 17667 33554432000 4194304 13684479 140737095864800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17133/statm: 20011 17667 788 2317 0 17689 0
[pid=17124/tid=17132] ppid=17122 vsize=296244 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 20 0 2 0 869271920 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 662288

[startup+12.7004 s]
/proc/loadavg: 4.49 3.15 1.44 3/518 17133
/proc/meminfo: memFree=28105024/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=296244 CPUtime=0.79 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 12220 1360 1 0 61 10 8 0 20 0 2 0 869271830 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17124/statm: 74061 7918 1863 364 0 8948 0
[pid=17131] ppid=17124 vsize=286000 CPUtime=0.03 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 975 0 0 0 2 1 0 0 15 0 1 0 869271920 292864000 6399 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166479 0 0 16781312 33554946 8924915691463606531 0 0 17 4 0 0 0
/proc/17131/statm: 71500 6399 348 364 0 6387 0
[pid=17133] ppid=17131 vsize=124360 CPUtime=11.79 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) R 17131 17133 17133 0 -1 4202496 33520 0 0 0 1162 17 0 0 25 0 1 0 869271920 127344640 28868 33554432000 4194304 13684479 140737095864800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17133/statm: 31090 28868 844 2317 0 28768 0
[pid=17124/tid=17132] ppid=17122 vsize=296244 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 20 0 2 0 869271920 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 706604

[startup+25.5012 s]
/proc/loadavg: 4.41 3.18 1.47 3/518 17133
/proc/meminfo: memFree=28101516/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=296244 CPUtime=0.79 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 12220 1360 1 0 61 10 8 0 20 0 2 0 869271830 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17124/statm: 74061 7918 1863 364 0 8948 0
[pid=17131] ppid=17124 vsize=286000 CPUtime=0.1 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 984 0 0 0 5 5 0 0 15 0 1 0 869271920 292864000 6399 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949359 0 0 17 6 0 0 0
/proc/17131/statm: 71500 6399 348 364 0 6387 0
[pid=17133] ppid=17131 vsize=124360 CPUtime=24.59 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) R 17131 17133 17133 0 -1 4202496 33582 0 0 0 2437 22 0 0 25 0 1 0 869271920 127344640 28916 33554432000 4194304 13684479 140737095864800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17133/statm: 31090 28916 833 2317 0 28768 0
[pid=17124/tid=17132] ppid=17122 vsize=296244 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 20 0 2 0 869271920 303353856 7918 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 706604

[startup+51.1189 s]
/proc/loadavg: 3.68 3.13 1.50 3/522 17139
/proc/meminfo: memFree=28091900/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=306500 CPUtime=0.81 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 13172 1360 1 0 63 10 8 0 20 0 3 0 869271830 313856000 7933 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17124/statm: 76625 7933 1874 364 0 11509 0
[pid=17131] ppid=17124 vsize=296244 CPUtime=0.2 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 1171 0 0 0 10 10 0 0 17 0 2 0 869271920 303353856 6467 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17131/statm: 74061 6467 411 364 0 8948 0
[pid=17133] ppid=17131 vsize=123124 CPUtime=46.39 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) T 17131 17133 17133 0 -1 4202496 36547 0 0 0 4610 29 0 0 25 0 1 0 869271920 126078976 28701 33554432000 4194304 13684479 140737095864800 18446744073709551615 6514407 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17133/statm: 30781 28701 844 2317 0 28459 0
[pid=17131/tid=17136] ppid=17124 vsize=296244 CPUtime=0 cores=0,2,4,6
/proc/17131/task/17136/stat : 17136 (python) S 17124 17124 16517 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869276560 303353856 6467 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452376493120 0 0 -1 6 0 0 0
[pid=17137] ppid=17124 vsize=296256 CPUtime=0.02 cores=0,2,4,6
/proc/17137/stat : 17137 (python) S 17124 17124 16517 0 -1 4202560 885 0 0 0 1 1 0 0 18 0 1 0 869276562 303366144 6399 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166534 0 0 16781312 33554946 7671962749265477889 0 0 17 6 0 0 0
/proc/17137/statm: 74064 6399 344 364 0 8948 0
[pid=17139] ppid=17137 vsize=9488 CPUtime=3.78 cores=0,2,4,6
/proc/17139/stat : 17139 (clasp-1.3.7-x86) R 17137 17139 17139 0 -1 4202496 2486 0 0 0 378 0 0 0 25 0 1 0 869276563 9715712 2118 33554432000 134512640 136139019 4294052608 18446744073709551615 134640605 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17139/statm: 2372 2118 183 398 0 1972 0
[pid=17124/tid=17132] ppid=17122 vsize=306500 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 20 0 3 0 869271920 313856000 7933 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
[pid=17124/tid=17138] ppid=17122 vsize=306500 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17138/stat : 17138 (python) S 17122 17124 16517 0 -1 4202560 31 1360 0 0 0 0 8 0 20 0 3 0 869276563 313856000 7933 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 1031612

[startup+102.301 s]
/proc/loadavg: 2.73 2.95 1.53 3/526 17143
/proc/meminfo: memFree=27964536/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=316756 CPUtime=0.84 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 14059 1360 1 0 65 11 8 0 20 0 4 0 869271830 324358144 7939 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17124/statm: 79189 7939 1876 364 0 14070 0
[pid=17131] ppid=17124 vsize=296244 CPUtime=0.2 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 1171 0 0 0 10 10 0 0 17 0 2 0 869271920 303353856 6467 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17131/statm: 74061 6467 411 364 0 8948 0
[pid=17133] ppid=17131 vsize=123124 CPUtime=46.39 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) T 17131 17133 17133 0 -1 4202496 36547 0 0 0 4610 29 0 0 25 0 1 0 869271920 126078976 28701 33554432000 4194304 13684479 140737095864800 18446744073709551615 6514407 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17133/statm: 30781 28701 844 2317 0 28459 0
[pid=17131/tid=17136] ppid=17124 vsize=296244 CPUtime=0 cores=0,2,4,6
/proc/17131/task/17136/stat : 17136 (python) S 17124 17124 16517 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869276560 303353856 6467 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452376493120 0 0 -1 6 0 0 0
[pid=17137] ppid=17124 vsize=296256 CPUtime=0.2 cores=0,2,4,6
/proc/17137/stat : 17137 (python) S 17124 17124 16517 0 -1 4202560 1106 0 0 0 10 10 0 0 19 0 2 0 869276562 303366144 6447 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17137/statm: 74064 6447 391 364 0 8948 0
[pid=17139] ppid=17137 vsize=11864 CPUtime=47.12 cores=0,2,4,6
/proc/17139/stat : 17139 (clasp-1.3.7-x86) T 17137 17139 17139 0 -1 4202496 3089 0 0 0 4712 0 0 0 25 0 1 0 869276563 12148736 2721 33554432000 134512640 136139019 4294052608 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/17139/statm: 2966 2721 183 398 0 2566 0
[pid=17137/tid=17140] ppid=17124 vsize=296256 CPUtime=0 cores=0,2,4,6
/proc/17137/task/17140/stat : 17140 (python) S 17124 17124 16517 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 869281284 303366144 6447 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604444122530176 0 0 -1 2 0 0 0
[pid=17141] ppid=17124 vsize=306512 CPUtime=0.01 cores=0,2,4,6
/proc/17141/stat : 17141 (python) S 17124 17124 16517 0 -1 4202560 922 0 0 0 0 1 0 0 15 0 1 0 869281286 313868288 6403 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166534 0 0 16781312 33554946 5301320159707758851 0 0 17 6 0 0 0

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

[pid=17124/tid=17164] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17164/stat : 17164 (python) S 17122 17124 16517 0 -1 4202560 32 1360 0 0 0 0 8 0 20 0 10 0 869313915 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17188] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17188/stat : 17188 (python) S 17122 17124 16517 0 -1 4202560 31 1360 0 0 0 0 8 0 20 0 10 0 869322875 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17239] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17239/stat : 17239 (python) S 17122 17124 16517 0 -1 4202560 30 1360 0 0 0 0 8 0 20 0 10 0 869369010 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17377] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17377/stat : 17377 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 21 0 10 0 869433440 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17385] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17385/stat : 17385 (python) S 17122 17124 16517 0 -1 4202560 29 1360 0 0 0 0 8 0 20 0 10 0 869438291 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 12880356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.6 s]
/proc/loadavg: 2.07 2.31 2.09 3/615 17417
/proc/meminfo: memFree=24418176/32951132 swapFree=57925100/67111528
[pid=17124] ppid=17122 vsize=378896 CPUtime=2.03 cores=0,2,4,6
/proc/17124/stat : 17124 (python) S 17122 17124 16517 0 -1 4202496 20745 1360 1 0 182 13 8 0 18 0 10 0 869271830 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17124/statm: 94724 8101 1888 364 0 29587 0
[pid=17131] ppid=17124 vsize=296244 CPUtime=4.6 cores=0,2,4,6
/proc/17131/stat : 17131 (python) S 17124 17124 16517 0 -1 4202560 1236 0 0 0 234 226 0 0 15 0 2 0 869271920 303353856 6468 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17131/statm: 74061 6468 412 364 0 8948 0
[pid=17133] ppid=17131 vsize=156344 CPUtime=1056.76 cores=0,2,4,6
/proc/17133/stat : 17133 (scip-2.0.1.linu) T 17131 17133 17133 0 -1 4202496 44710 0 0 0 105256 420 0 0 25 0 1 0 869271920 160096256 36717 33554432000 4194304 13684479 140737095864800 18446744073709551615 7267000 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17133/statm: 39086 36717 848 2317 0 36764 0
[pid=17131/tid=17136] ppid=17124 vsize=296244 CPUtime=0 cores=0,2,4,6
/proc/17131/task/17136/stat : 17136 (python) S 17124 17124 16517 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869276560 303353856 6468 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452376493120 0 0 -1 6 0 0 0
[pid=17137] ppid=17124 vsize=296256 CPUtime=1.2 cores=0,2,4,6
/proc/17137/stat : 17137 (python) S 17124 17124 16517 0 -1 4202560 1188 0 0 0 62 58 0 0 18 0 2 0 869276562 303366144 6447 33554432000 4194304 5683644 140735604760624 18446744073709551615 210647166534 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17137/statm: 74064 6447 391 364 0 8948 0
[pid=17139] ppid=17137 vsize=17676 CPUtime=264.09 cores=0,2,4,6
/proc/17139/stat : 17139 (clasp-1.3.7-x86) R 17137 17139 17139 0 -1 4202496 4513 0 0 0 26407 2 0 0 25 0 1 0 869276563 18100224 4145 33554432000 134512640 136139019 4294052608 18446744073709551615 134831812 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17139/statm: 4419 4145 183 398 0 4019 0
[pid=17137/tid=17140] ppid=17124 vsize=296256 CPUtime=0 cores=0,2,4,6
/proc/17137/task/17140/stat : 17140 (python) S 17124 17124 16517 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 869281284 303366144 6447 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604444122530176 0 0 -1 2 0 0 0
[pid=17141] ppid=17124 vsize=306512 CPUtime=0.64 cores=0,2,4,6
/proc/17141/stat : 17141 (python) S 17124 17124 16517 0 -1 4202560 1179 0 0 0 30 34 0 0 15 0 2 0 869281286 313868288 6451 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17141/statm: 76628 6451 391 364 0 11509 0
[pid=17143] ppid=17141 vsize=125084 CPUtime=137.42 cores=0,2,4,6
/proc/17143/stat : 17143 (scip-2.0.1.linu) T 17141 17143 17143 0 -1 4202496 70327 0 0 0 13702 40 0 0 25 0 1 0 869281286 128086016 28917 33554432000 4194304 15243407 140734899116160 18446744073709551615 8113506 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17143/statm: 31271 28917 970 2698 0 28566 0
[pid=17141/tid=17146] ppid=17124 vsize=306512 CPUtime=0 cores=0,2,4,6
/proc/17141/task/17146/stat : 17146 (python) S 17124 17124 16517 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869286117 313868288 6451 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604450803652544 0 0 -1 6 0 0 0
[pid=17153] ppid=17124 vsize=316768 CPUtime=0.22 cores=0,2,4,6
/proc/17153/stat : 17153 (python) S 17124 17124 16517 0 -1 4202560 1170 0 0 0 11 11 0 0 16 0 2 0 869295010 324370432 6455 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17153/statm: 79192 6455 391 364 0 14070 0
[pid=17155] ppid=17153 vsize=117072 CPUtime=49.36 cores=0,2,4,6
/proc/17155/stat : 17155 (wbo1.4a) T 17153 17155 17155 0 -1 4202496 29155 0 0 0 4916 20 0 0 25 0 1 0 869295010 119881728 28760 33554432000 134512640 135751879 4294765664 18446744073709551615 134516989 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/17155/statm: 29268 28760 143 303 0 28963 0
[pid=17153/tid=17158] ppid=17124 vsize=316768 CPUtime=0 cores=0,2,4,6
/proc/17153/task/17158/stat : 17158 (python) S 17124 17124 16517 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869299948 324370432 6455 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604451991466112 0 0 -1 2 0 0 0
[pid=17163] ppid=17124 vsize=327024 CPUtime=0.19 cores=0,2,4,6
/proc/17163/stat : 17163 (python) S 17124 17124 16517 0 -1 4202560 1144 0 0 0 10 9 0 0 16 0 2 0 869313915 334872576 6459 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17163/statm: 81756 6459 391 364 0 16631 0
[pid=17165] ppid=17163 vsize=8541328 CPUtime=45.83 cores=0,2,4,6
/proc/17165/stat : 17165 (java) T 17163 17165 17165 0 -1 4202496 97125 0 1 0 4568 15 0 0 18 0 19 0 869313915 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17165/statm: 2135332 62263 2250 9 0 2126073 0
[pid=17165/tid=17166] ppid=17163 vsize=8541328 CPUtime=43.29 cores=0,2,4,6
/proc/17165/task/17166/stat : 17166 (java) T 17163 17165 17165 0 -1 4202560 50186 0 1 0 4324 5 0 0 25 0 19 0 869313916 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 46912505867488 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17165/tid=17167] ppid=17163 vsize=8541328 CPUtime=0.1 cores=0,2,4,6
/proc/17165/task/17167/stat : 17167 (java) T 17163 17165 17165 0 -1 4202560 5039 0 0 0 10 0 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17168] ppid=17163 vsize=8541328 CPUtime=0.11 cores=0,2,4,6
/proc/17165/task/17168/stat : 17168 (java) T 17163 17165 17165 0 -1 4202560 5254 0 0 0 11 0 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17165/tid=17169] ppid=17163 vsize=8541328 CPUtime=0.11 cores=0,2,4,6
/proc/17165/task/17169/stat : 17169 (java) T 17163 17165 17165 0 -1 4202560 5812 0 0 0 10 1 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17170] ppid=17163 vsize=8541328 CPUtime=0.09 cores=0,2,4,6
/proc/17165/task/17170/stat : 17170 (java) T 17163 17165 17165 0 -1 4202560 2957 0 0 0 9 0 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17165/tid=17171] ppid=17163 vsize=8541328 CPUtime=0.1 cores=0,2,4,6
/proc/17165/task/17171/stat : 17171 (java) T 17163 17165 17165 0 -1 4202560 2952 0 0 0 10 0 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17165/tid=17172] ppid=17163 vsize=8541328 CPUtime=0.1 cores=0,2,4,6
/proc/17165/task/17172/stat : 17172 (java) T 17163 17165 17165 0 -1 4202560 4562 0 0 0 10 0 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17165/tid=17173] ppid=17163 vsize=8541328 CPUtime=0.1 cores=0,2,4,6
/proc/17165/task/17173/stat : 17173 (java) T 17163 17165 17165 0 -1 4202560 5885 0 0 0 9 1 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17165/tid=17174] ppid=17163 vsize=8541328 CPUtime=0.07 cores=0,2,4,6
/proc/17165/task/17174/stat : 17174 (java) T 17163 17165 17165 0 -1 4202560 2920 0 0 0 7 0 0 0 15 0 19 0 869313917 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17165/tid=17175] ppid=17163 vsize=8541328 CPUtime=0.02 cores=0,2,4,6
/proc/17165/task/17175/stat : 17175 (java) T 17163 17165 17165 0 -1 4202560 200 0 0 0 1 1 0 0 15 0 19 0 869313918 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962944 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17176] ppid=17163 vsize=8541328 CPUtime=0 cores=0,2,4,6
/proc/17165/task/17176/stat : 17176 (java) T 17163 17165 17165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869313918 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17177] ppid=17163 vsize=8541328 CPUtime=0 cores=0,2,4,6
/proc/17165/task/17177/stat : 17177 (java) T 17163 17165 17165 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869313918 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17178] ppid=17163 vsize=8541328 CPUtime=0 cores=0,2,4,6
/proc/17165/task/17178/stat : 17178 (java) T 17163 17165 17165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869313921 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658970033 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17179] ppid=17163 vsize=8541328 CPUtime=0.78 cores=0,2,4,6
/proc/17165/task/17179/stat : 17179 (java) T 17163 17165 17165 0 -1 4202560 3871 0 0 0 78 0 0 0 15 0 19 0 869313921 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17165/tid=17180] ppid=17163 vsize=8541328 CPUtime=0.84 cores=0,2,4,6
/proc/17165/task/17180/stat : 17180 (java) T 17163 17165 17165 0 -1 4202560 6094 0 0 0 83 1 0 0 15 0 19 0 869313921 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17165/tid=17181] ppid=17163 vsize=8541328 CPUtime=0 cores=0,2,4,6
/proc/17165/task/17181/stat : 17181 (java) T 17163 17165 17165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869313921 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962329 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17165/tid=17182] ppid=17163 vsize=8541328 CPUtime=0 cores=0,2,4,6
/proc/17165/task/17182/stat : 17182 (java) T 17163 17165 17165 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869313921 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17165/tid=17183] ppid=17163 vsize=8541328 CPUtime=0 cores=0,2,4,6
/proc/17165/task/17183/stat : 17183 (java) T 17163 17165 17165 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869313966 8746319872 62263 33554432000 1073741824 1073778376 140733689624112 18446744073709551615 210658962944 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17163/tid=17184] ppid=17124 vsize=327024 CPUtime=0 cores=0,2,4,6
/proc/17163/task/17184/stat : 17184 (python) S 17124 17124 16517 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869318287 334872576 6459 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604453896682304 0 0 -1 6 0 0 0
[pid=17187] ppid=17124 vsize=337280 CPUtime=0.21 cores=0,2,4,6
/proc/17187/stat : 17187 (python) S 17124 17124 16517 0 -1 4202560 1182 0 0 0 11 10 0 0 17 0 2 0 869322875 345374720 6463 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17187/statm: 84320 6463 391 364 0 19192 0
[pid=17189] ppid=17187 vsize=88152 CPUtime=47.48 cores=0,2,4,6
/proc/17189/stat : 17189 (bsolo_pb10) T 17187 17189 17189 0 -1 4202496 20338 0 0 0 4742 6 0 0 25 0 1 0 869322876 90267648 19608 33554432000 134512640 137138936 4286860048 18446744073709551615 134542233 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/17189/statm: 22038 19608 192 642 0 21394 0
[pid=17187/tid=17190] ppid=17124 vsize=337280 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (python) S 17124 17124 16517 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 869327625 345374720 6463 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604453165508736 0 0 -1 6 0 0 0
[pid=17238] ppid=17124 vsize=348140 CPUtime=0.41 cores=0,2,4,6
/proc/17238/stat : 17238 (python) S 17124 17124 16517 0 -1 4202560 1182 0 0 0 22 19 0 0 17 0 2 0 869369010 356495360 6593 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17238/statm: 87035 6593 391 364 0 21904 0
[pid=17240] ppid=17238 vsize=193624 CPUtime=92.42 cores=0,2,4,6
/proc/17240/stat : 17240 (bsolo_pb10) T 17238 17240 17240 0 -1 4202496 46690 0 0 0 9225 17 0 0 25 0 1 0 869369011 198270976 45962 33554432000 134512640 137138936 4294508080 18446744073709551615 134542339 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/17240/statm: 48406 45962 190 642 0 47762 0
[pid=17238/tid=17243] ppid=17124 vsize=348140 CPUtime=0 cores=0,2,4,6
/proc/17238/task/17243/stat : 17243 (python) S 17124 17124 16517 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869378259 356495360 6593 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604444122531072 0 0 -1 6 0 0 0
[pid=17376] ppid=17124 vsize=358396 CPUtime=0.23 cores=0,2,4,6
/proc/17376/stat : 17376 (python) S 17124 17124 16517 0 -1 4202560 1223 0 0 0 12 11 0 0 19 0 2 0 869433440 366997504 6603 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17376/statm: 89599 6603 397 364 0 24465 0
[pid=17378] ppid=17376 vsize=99332 CPUtime=48.49 cores=0,2,4,6
/proc/17378/stat : 17378 (minion) T 17376 17378 17378 0 -1 4202496 154753 0 0 0 4829 20 0 0 25 0 1 0 869433440 101715968 17538 33554432000 134512640 165565024 4289439184 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/17378/statm: 24833 17538 359 7582 0 17248 0
[pid=17376/tid=17383] ppid=17124 vsize=358396 CPUtime=0 cores=0,2,4,6
/proc/17376/task/17383/stat : 17383 (python) S 17124 17124 16517 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869438290 366997504 6603 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604445840180544 0 0 -1 6 0 0 0
[pid=17384] ppid=17124 vsize=368652 CPUtime=0.21 cores=0,2,4,6
/proc/17384/stat : 17384 (python) S 17124 17124 16517 0 -1 4202560 1203 0 0 0 10 11 0 0 19 0 2 0 869438291 377499648 6607 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17384/statm: 92163 6607 397 364 0 27026 0
[pid=17386] ppid=17384 vsize=207576 CPUtime=48.27 cores=0,2,4,6
/proc/17386/stat : 17386 (pbct-0.1.2-linu) T 17384 17386 17386 0 -1 4202496 53364 0 0 0 4769 58 0 0 25 0 1 0 869438291 212557824 49709 33554432000 134512640 136422188 4292794704 18446744073709551615 135006609 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/17386/statm: 51894 49709 214 467 0 51425 0
[pid=17384/tid=17393] ppid=17124 vsize=368652 CPUtime=0 cores=0,2,4,6
/proc/17384/task/17393/stat : 17393 (python) S 17124 17124 16517 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869443120 377499648 6607 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452685872192 0 0 -1 6 0 0 0
[pid=17124/tid=17132] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17132/stat : 17132 (python) S 17122 17124 16517 0 -1 4202560 43 1360 0 0 0 0 8 0 18 0 10 0 869271920 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 4 0 0 0
[pid=17124/tid=17138] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17138/stat : 17138 (python) S 17122 17124 16517 0 -1 4202560 46 1360 0 0 0 0 8 0 18 0 10 0 869276563 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 6 0 0 0
[pid=17124/tid=17142] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17142/stat : 17142 (python) S 17122 17124 16517 0 -1 4202560 34 1360 0 0 0 0 8 0 18 0 10 0 869281286 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 2 0 0 0
[pid=17124/tid=17154] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17154/stat : 17154 (python) S 17122 17124 16517 0 -1 4202560 29 1360 0 0 0 0 8 0 20 0 10 0 869295010 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 6 0 0 0
[pid=17124/tid=17164] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17164/stat : 17164 (python) S 17122 17124 16517 0 -1 4202560 32 1360 0 0 0 0 8 0 20 0 10 0 869313915 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17188] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17188/stat : 17188 (python) S 17122 17124 16517 0 -1 4202560 31 1360 0 0 0 0 8 0 20 0 10 0 869322875 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17239] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17239/stat : 17239 (python) S 17122 17124 16517 0 -1 4202560 30 1360 0 0 0 0 8 0 20 0 10 0 869369010 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17377] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17377/stat : 17377 (python) S 17122 17124 16517 0 -1 4202560 26 1360 0 0 0 0 8 0 21 0 10 0 869433440 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
[pid=17124/tid=17385] ppid=17122 vsize=378896 CPUtime=0.08 cores=0,2,4,6
/proc/17124/task/17385/stat : 17385 (python) S 17122 17124 16517 0 -1 4202560 29 1360 0 0 0 0 8 0 20 0 10 0 869438291 387989504 8101 33554432000 4194304 5683644 140735604760624 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003395648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 12880356

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 17124 and gives
#  childrusage.ru_utime.tv_sec=460
#  childrusage.ru_utime.tv_usec=640971
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=757276
# CPU time returned by wait4() is 465.398
# 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.68
CPU time (s): 1800.06
CPU user time (s): 1790.06
CPU system time (s): 10
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 12889172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 460.641
system time used= 4.75728
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340830
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12347
involuntary context switches= 2740

runsolver used 14.7178 second user time and 29.7655 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-09 01:45:21
IDJOB=3482379
IDBENCH=48340
IDSOLVER=1971
FILE ID=node129/3482379-1307576721
RUNJOBID= node129-1307576356-16535
PBS_JOBID= 13547670
Free space on /tmp= 73880 MiB

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

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

MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1
RANDOM SEED=950059646

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
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.831
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.831
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.831
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:     32951132 kB
MemFree:      28245208 kB
Buffers:        365324 kB
Cached:        2610584 kB
SwapCached:      49344 kB
Active:        1152640 kB
Inactive:      3229976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28245208 kB
SwapTotal:    67111528 kB
SwapFree:     57925100 kB
Dirty:          103068 kB
Writeback:           0 kB
AnonPages:     1368152 kB
Mapped:          28684 kB
Slab:           191196 kB
PageTables:      62296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147782536 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73724 MiB
End job on node129 at 2011-06-09 02:15:15