Trace number 3481722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
borg pb-opt-11.04.03? (MO) 501.46 497.593

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
MD5SUMf48abdef3d00ab6f87ca2e4f0d43c1d1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3811
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.37/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.37/0.67	c INFO: solving HOME/instance-3481722-1307577347.opb
0.37/0.68	c INFO: parsing took 0.00 s
0.37/0.68	c INFO: features took 0.00 CPU seconds
0.46/0.70	c INFO: running clasp-1.3.7@0 for 45 with 1799 remaining (b = 0.46)
48.84/48.91	c INFO: running scip-2.0.1-spx@0 for 45 with 1751 remaining (b = 0.07)
112.96/112.42	c INFO: running wbo1.4a@0 for 45 with 1702 remaining (b = 0.03)
164.38/163.60	c INFO: running scip-2.0.1-clp@0 for 45 with 1652 remaining (b = 0.01)
220.26/219.05	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1605 remaining (b = 0.00)
270.18/267.41	c INFO: running bsolo_pb10-l3@0 for 136 with 1556 remaining (b = 0.01)
408.20/405.00	c INFO: running wbo1.4a@50 for 45 with 1418 remaining (b = 0.00)
454.40/450.99	c INFO: running clasp-1.3.7@48 for 45 with 1373 remaining (b = 0.00)
500.91/497.21	c INFO: running sat4j-pb-v20101225@0 for 91 with 1327 remaining (b = 0.01)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481722-1307577347/watcher-3481722-1307577347 -o /tmp/evaluation-result-3481722-1307577347/solver-3481722-1307577347 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481722-1307577347.opb -seed 559528652 -budget 1800 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3338/stat : 3338 (python) R 3336 3338 2236 0 -1 4202496 793 0 0 0 0 0 0 0 17 0 1 0 869333571 15749120 680 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594864640 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/3338/statm: 3845 680 322 364 0 332 0

[startup+0.0364019 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 1239 0 0 0 1 1 0 0 17 0 1 0 869333571 19341312 1094 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/3338/statm: 4722 1094 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888

[startup+0.100462 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 2665 0 0 0 4 2 0 0 17 0 1 0 869333571 87674880 2382 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/3338/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620

[startup+0.300472 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=123744 CPUtime=0.18 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 5358 931 1 0 10 8 0 0 17 0 1 0 869333571 126713856 3745 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594862597 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/3338/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744

[startup+0.700348 s]
/proc/loadavg: 2.12 2.06 1.37 2/627 3338
/proc/meminfo: memFree=22354116/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=282820 CPUtime=0.46 cores=1,3,5,7
/proc/3338/stat : 3338 (python) R 3336 3338 2236 0 -1 4202496 9388 931 1 0 30 16 0 0 16 0 1 0 869333571 289607680 7109 33554432000 4194304 5683644 140733751832176 18446744073709551615 235598275241 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/3338/statm: 70705 7109 1855 364 0 5595 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 282820

[startup+1.50114 s]
/proc/loadavg: 2.12 2.06 1.37 3/631 3346
/proc/meminfo: memFree=22328540/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869333642 289619968 5615 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 6631834782432985350 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5615 349 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=0.78 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 465 0 0 0 78 0 0 0 18 0 1 0 869333642 1904640 207 33554432000 134512640 136139019 4291421584 18446744073709551615 134828800 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 207 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 577768

[startup+3.10086 s]
/proc/loadavg: 2.19 2.07 1.38 3/631 3346
/proc/meminfo: memFree=22326308/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 869333642 289619968 5618 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 6631837050175717638 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5618 352 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=2.38 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 466 0 0 0 238 0 0 0 22 0 1 0 869333642 1904640 208 33554432000 134512640 136139019 4291421584 18446744073709551615 134875839 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 208 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 577768

[startup+6.30029 s]
/proc/loadavg: 2.19 2.07 1.38 3/631 3346
/proc/meminfo: memFree=22329076/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0.01 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869333642 289619968 5641 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 6631846877060890886 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5641 375 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=5.58 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 466 0 0 0 558 0 0 0 25 0 1 0 869333642 1904640 208 33554432000 134512640 136139019 4291421584 18446744073709551615 134874996 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 208 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 577768

[startup+12.7002 s]
/proc/loadavg: 2.16 2.07 1.38 3/631 3346
/proc/meminfo: memFree=22364300/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0.03 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 865 0 0 0 2 1 0 0 18 0 1 0 869333642 289619968 5642 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 5623311482772007733 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5642 376 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=11.98 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 467 0 0 0 1198 0 0 0 25 0 1 0 869333642 1904640 209 33554432000 134512640 136139019 4291421584 18446744073709551615 134831196 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 209 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 577768

[startup+25.5009 s]
/proc/loadavg: 2.13 2.07 1.39 3/631 3346
/proc/meminfo: memFree=22398344/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=293076 CPUtime=0.47 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 9620 931 1 0 31 16 0 0 18 0 2 0 869333571 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 73269 7132 1862 364 0 8156 0
[pid=3344] ppid=3338 vsize=282832 CPUtime=0.09 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 873 0 0 0 5 4 0 0 18 0 1 0 869333642 289619968 5642 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886671 0 0 16781312 33554946 5623311482772007733 0 0 17 1 0 0 0
/proc/3344/statm: 70708 5642 376 364 0 5595 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=24.79 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) R 3344 3346 3346 0 -1 4202496 467 0 0 0 2479 0 0 0 25 0 1 0 869333642 1904640 209 33554432000 134512640 136139019 4291421584 18446744073709551615 134882950 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3346/statm: 465 209 183 398 0 65 0
[pid=3338/tid=3345] ppid=3336 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869333642 300109824 7132 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 577768

[startup+51.1004 s]
/proc/loadavg: 2.09 2.06 1.41 3/633 3429
/proc/meminfo: memFree=22400060/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=303876 CPUtime=0.49 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 10505 931 1 0 33 16 0 0 20 0 3 0 869333571 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3338/statm: 75969 7267 1873 364 0 10853 0
[pid=3344] ppid=3338 vsize=293076 CPUtime=0.18 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 1112 0 0 0 9 9 0 0 19 0 2 0 869333642 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3344/statm: 73269 5683 412 364 0 8156 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=48.18 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) T 3344 3346 3346 0 -1 4202496 468 0 0 0 4818 0 0 0 25 0 1 0 869333642 1904640 210 33554432000 134512640 136139019 4291421584 18446744073709551615 134831712 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3346/statm: 465 210 183 398 0 65 0
[pid=3344/tid=3425] ppid=3338 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3344/task/3425/stat : 3425 (python) S 3338 3338 2236 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869338460 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=3426] ppid=3338 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/3426/stat : 3426 (python) S 3338 3338 2236 0 -1 4202560 824 0 0 0 0 0 0 0 16 0 1 0 869338463 300679168 5739 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886726 0 0 16781312 33554946 3025779274343776256 0 0 17 1 0 0 0
/proc/3426/statm: 73408 5739 349 364 0 8292 0
[pid=3429] ppid=3426 vsize=29880 CPUtime=2.18 cores=1,3,5,7
/proc/3429/stat : 3429 (scip-2.0.1.linu) R 3426 3429 3429 0 -1 4202496 5600 0 0 0 158 60 0 0 20 0 1 0 869338463 30597120 4973 33554432000 4194304 13684479 140734340805408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3429/statm: 7470 4973 804 2317 0 5148 0
[pid=3338/tid=3345] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 3 0 869333642 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3428] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3428/stat : 3428 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869338463 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 922324

[startup+102.3 s]
/proc/loadavg: 2.08 2.06 1.44 3/637 3436
/proc/meminfo: memFree=22286028/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=303876 CPUtime=0.49 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 10505 931 1 0 33 16 0 0 20 0 3 0 869333571 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3338/statm: 75969 7267 1873 364 0 10853 0
[pid=3344] ppid=3338 vsize=293076 CPUtime=0.18 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 1112 0 0 0 9 9 0 0 19 0 2 0 869333642 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3344/statm: 73269 5683 412 364 0 8156 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=48.18 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) T 3344 3346 3346 0 -1 4202496 468 0 0 0 4818 0 0 0 25 0 1 0 869333642 1904640 210 33554432000 134512640 136139019 4291421584 18446744073709551615 134831712 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3346/statm: 465 210 183 398 0 65 0
[pid=3344/tid=3425] ppid=3338 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3344/task/3425/stat : 3425 (python) S 3338 3338 2236 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869338460 300109824 5683 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=3426] ppid=3338 vsize=294072 CPUtime=0.53 cores=1,3,5,7
/proc/3426/stat : 3426 (python) S 3338 3338 2236 0 -1 4202560 1187 0 0 0 27 26 0 0 16 0 1 0 869338463 301129728 5879 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886726 0 0 16781312 33554946 3884647268959125504 0 0 17 7 0 0 0
/proc/3426/statm: 73518 5879 376 364 0 8402 0
[pid=3429] ppid=3426 vsize=83152 CPUtime=53.37 cores=1,3,5,7
/proc/3429/stat : 3429 (scip-2.0.1.linu) R 3426 3429 3429 0 -1 4202496 18855 0 0 0 4073 1264 0 0 21 0 1 0 869338463 85147648 18228 33554432000 4194304 13684479 140734340805408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3429/statm: 20788 18228 804 2317 0 18466 0
[pid=3338/tid=3345] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 3 0 869333642 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3428] ppid=3336 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3428/stat : 3428 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869338463 311169024 7267 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0

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

Current children cumulated CPU time (s) 501.46
Current children cumulated vsize (KiB) 20088012

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

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

[startup+497.502 s]
/proc/loadavg: 2.13 2.10 1.67 5/741 3651
/proc/meminfo: memFree=20687200/32950928 swapFree=34366004/67111528
[pid=3338] ppid=3336 vsize=355532 CPUtime=0.67 cores=1,3,5,7
/proc/3338/stat : 3338 (python) S 3336 3338 2236 0 -1 4202496 15003 931 1 0 50 17 0 0 20 0 8 0 869333571 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3338/statm: 88883 7385 1883 364 0 23752 0
[pid=3344] ppid=3338 vsize=293076 CPUtime=0.37 cores=1,3,5,7
/proc/3344/stat : 3344 (python) S 3338 3338 2236 0 -1 4202560 1139 0 0 0 18 19 0 0 18 0 2 0 869333642 300109824 5684 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3344/statm: 73269 5684 413 364 0 8156 0
[pid=3346] ppid=3344 vsize=1860 CPUtime=94.38 cores=1,3,5,7
/proc/3346/stat : 3346 (clasp-1.3.7-x86) T 3344 3346 3346 0 -1 4202496 469 0 0 0 9438 0 0 0 25 0 1 0 869333642 1904640 211 33554432000 134512640 136139019 4291421584 18446744073709551615 134876516 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3346/statm: 465 211 183 398 0 65 0
[pid=3344/tid=3425] ppid=3338 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/3344/task/3425/stat : 3425 (python) S 3338 3338 2236 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 869338460 300109824 5684 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465090355456 0 0 -1 7 0 0 0
[pid=3426] ppid=3338 vsize=294664 CPUtime=0.64 cores=1,3,5,7
/proc/3426/stat : 3426 (python) S 3338 3338 2236 0 -1 4202560 1370 0 0 0 32 32 0 0 17 0 2 0 869338463 301735936 5923 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3426/statm: 73666 5923 399 364 0 8550 0
[pid=3429] ppid=3426 vsize=96044 CPUtime=63.47 cores=1,3,5,7
/proc/3429/stat : 3429 (scip-2.0.1.linu) T 3426 3429 3429 0 -1 4202496 22105 0 0 0 4862 1485 0 0 20 0 1 0 869338463 98349056 21478 33554432000 4194304 13684479 140734340805408 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3429/statm: 24011 21478 804 2317 0 21689 0
[pid=3426/tid=3437] ppid=3338 vsize=294664 CPUtime=0 cores=1,3,5,7
/proc/3426/task/3437/stat : 3437 (python) S 3338 3338 2236 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869344811 301735936 5923 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604466600907968 0 0 -1 7 0 0 0
[pid=3438] ppid=3338 vsize=303576 CPUtime=0.41 cores=1,3,5,7
/proc/3438/stat : 3438 (python) S 3338 3338 2236 0 -1 4202560 1126 0 0 0 20 21 0 0 15 0 2 0 869344813 310861824 5730 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3438/statm: 75894 5730 397 364 0 10775 0
[pid=3440] ppid=3438 vsize=170064 CPUtime=97.12 cores=1,3,5,7
/proc/3440/stat : 3440 (wbo1.4a) T 3438 3440 3440 0 -1 4202496 42241 0 0 0 9532 180 0 0 25 0 1 0 869344813 174145536 41977 33554432000 134512640 135751879 4293826224 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3440/statm: 42516 41977 143 303 0 42211 0
[pid=3438/tid=3449] ppid=3338 vsize=303576 CPUtime=0 cores=1,3,5,7
/proc/3438/task/3449/stat : 3449 (python) S 3338 3338 2236 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869349929 310861824 5730 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604458997355584 0 0 -1 7 0 0 0
[pid=3450] ppid=3338 vsize=314612 CPUtime=0.52 cores=1,3,5,7
/proc/3450/stat : 3450 (python) S 3338 3338 2236 0 -1 4202560 1365 0 0 0 26 26 0 0 17 0 2 0 869349931 322162688 5929 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3450/statm: 78653 5929 399 364 0 13531 0
[pid=3452] ppid=3450 vsize=82020 CPUtime=55.41 cores=1,3,5,7
/proc/3452/stat : 3452 (scip-2.0.1.linu) T 3450 3452 3452 0 -1 4202496 19379 0 0 0 4699 842 0 0 25 0 1 0 869349932 83988480 17251 33554432000 4194304 15243407 140736182976320 18446744073709551615 13277498 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/3452/statm: 20505 17251 928 2698 0 17800 0
[pid=3450/tid=3455] ppid=3338 vsize=314612 CPUtime=0 cores=1,3,5,7
/proc/3450/task/3455/stat : 3455 (python) S 3338 3338 2236 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869355474 322162688 5929 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604463185388736 0 0 -1 3 0 0 0
[pid=3456] ppid=3338 vsize=324328 CPUtime=0.19 cores=1,3,5,7
/proc/3456/stat : 3456 (python) S 3338 3338 2236 0 -1 4202560 1121 0 0 0 9 10 0 0 19 0 2 0 869355477 332111872 5769 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3456/statm: 81082 5769 397 364 0 15957 0
[pid=3459] ppid=3456 vsize=8612488 CPUtime=49.65 cores=1,3,5,7
/proc/3459/stat : 3459 (java) T 3456 3459 3459 0 -1 4202496 78950 0 1 0 4952 13 0 0 15 0 19 0 869355477 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3459/statm: 2153122 46029 2232 9 0 2143863 0
[pid=3459/tid=3460] ppid=3456 vsize=8612488 CPUtime=48.08 cores=1,3,5,7
/proc/3459/task/3460/stat : 3460 (java) T 3456 3459 3459 0 -1 4202560 46973 0 1 0 4802 6 0 0 25 0 19 0 869355478 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 46912505687606 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3461] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3461/stat : 3461 (java) T 3456 3459 3459 0 -1 4202560 2063 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3462] ppid=3456 vsize=8612488 CPUtime=0.03 cores=1,3,5,7
/proc/3459/task/3462/stat : 3462 (java) T 3456 3459 3459 0 -1 4202560 2183 0 0 0 3 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3464] ppid=3456 vsize=8612488 CPUtime=0.05 cores=1,3,5,7
/proc/3459/task/3464/stat : 3464 (java) T 3456 3459 3459 0 -1 4202560 1309 0 0 0 5 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3459/tid=3465] ppid=3456 vsize=8612488 CPUtime=0.06 cores=1,3,5,7
/proc/3459/task/3465/stat : 3465 (java) T 3456 3459 3459 0 -1 4202560 2500 0 0 0 6 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3459/tid=3466] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3466/stat : 3466 (java) T 3456 3459 3459 0 -1 4202560 2519 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3467] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3467/stat : 3467 (java) T 3456 3459 3459 0 -1 4202560 2398 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3459/tid=3469] ppid=3456 vsize=8612488 CPUtime=0.05 cores=1,3,5,7
/proc/3459/task/3469/stat : 3469 (java) T 3456 3459 3459 0 -1 4202560 2926 0 0 0 5 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3472] ppid=3456 vsize=8612488 CPUtime=0.04 cores=1,3,5,7
/proc/3459/task/3472/stat : 3472 (java) T 3456 3459 3459 0 -1 4202560 1394 0 0 0 4 0 0 0 15 0 19 0 869355479 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3459/tid=3473] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3473/stat : 3473 (java) T 3456 3459 3459 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 869355480 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3474] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3474/stat : 3474 (java) T 3456 3459 3459 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869355480 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3475] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3475/stat : 3475 (java) T 3456 3459 3459 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869355480 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3476] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3476/stat : 3476 (java) T 3456 3459 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3477] ppid=3456 vsize=8612488 CPUtime=0.56 cores=1,3,5,7
/proc/3459/task/3477/stat : 3477 (java) T 3456 3459 3459 0 -1 4202560 5689 0 0 0 56 0 0 0 15 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3479] ppid=3456 vsize=8612488 CPUtime=0.53 cores=1,3,5,7
/proc/3459/task/3479/stat : 3479 (java) T 3456 3459 3459 0 -1 4202560 7554 0 0 0 52 1 0 0 15 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3459/tid=3480] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3480/stat : 3480 (java) T 3456 3459 3459 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3481] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3481/stat : 3481 (java) T 3456 3459 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869355482 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3459/tid=3482] ppid=3456 vsize=8612488 CPUtime=0 cores=1,3,5,7
/proc/3459/task/3482/stat : 3482 (java) T 3456 3459 3459 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869355491 8819187712 46029 33554432000 1073741824 1073778376 140734714346608 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3456/tid=3513] ppid=3338 vsize=324328 CPUtime=0 cores=1,3,5,7
/proc/3456/task/3513/stat : 3513 (python) S 3338 3338 2236 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869360310 332111872 5769 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604464878486720 0 0 -1 5 0 0 0
[pid=3514] ppid=3338 vsize=335032 CPUtime=0.55 cores=1,3,5,7
/proc/3514/stat : 3514 (python) S 3338 3338 2236 0 -1 4202560 1184 0 0 0 28 27 0 0 19 0 2 0 869360313 343072768 5882 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3514/statm: 83758 5882 397 364 0 18630 0
[pid=3516] ppid=3514 vsize=22512 CPUtime=137.55 cores=1,3,5,7
/proc/3516/stat : 3516 (bsolo_pb10) T 3514 3516 3516 0 -1 4202496 1519 0 0 0 13734 21 0 0 25 0 1 0 869360313 23052288 1246 33554432000 134512640 137138936 4288767296 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/3516/statm: 5628 1246 192 642 0 4984 0
[pid=3514/tid=3619] ppid=3338 vsize=335032 CPUtime=0 cores=1,3,5,7
/proc/3514/task/3619/stat : 3619 (python) S 3338 3338 2236 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869374069 343072768 5882 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554946 18446604460564632704 0 0 -1 7 0 0 0
[pid=3631] ppid=3338 vsize=345288 CPUtime=0 cores=1,3,5,7
/proc/3631/stat : 3631 (python) S 3338 3338 2236 0 -1 4202560 842 0 0 0 0 0 0 0 18 0 1 0 869383293 353574912 5847 33554432000 4194304 5683644 140733751832176 18446744073709551615 235594886726 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/3631/statm: 86322 5847 349 364 0 21191 0
[pid=3633] ppid=3631 vsize=8536916 CPUtime=0.53 cores=1,3,5,7
/proc/3633/stat : 3633 (java) S 3631 3633 3633 0 -1 4202496 11774 0 1 0 51 2 0 0 20 0 19 0 869383293 8741801984 10112 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3633/statm: 2134229 10113 2202 9 0 2124970 0
[pid=3633/tid=3634] ppid=3631 vsize=8536916 CPUtime=0.29 cores=1,3,5,7
/proc/3633/task/3634/stat : 3634 (java) R 3631 3633 3633 0 -1 4202560 7537 0 1 0 28 1 0 0 25 0 19 0 869383294 8741801984 10397 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 46912505520754 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3633/tid=3635] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3635/stat : 3635 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869383295 8741801984 10398 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3636] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3636/stat : 3636 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869383295 8741801984 10399 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3637] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3637/stat : 3637 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869383295 8741801984 10401 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3638] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3638/stat : 3638 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10401 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3639] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3639/stat : 3639 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10403 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3640] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3640/stat : 3640 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10403 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3641] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3641/stat : 3641 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10404 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3642] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3642/stat : 3642 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383295 8741801984 10405 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3643] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3643/stat : 3643 (java) S 3631 3633 3633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869383296 8741801984 10406 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606683136 0 0 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3644] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3644/stat : 3644 (java) S 3631 3633 3633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869383296 8741801984 10407 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3645] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3645/stat : 3645 (java) S 3631 3633 3633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869383296 8741801984 10407 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3633/tid=3646] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3646/stat : 3646 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383298 8741801984 10409 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606690225 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3647] ppid=3631 vsize=8536916 CPUtime=0.1 cores=1,3,5,7
/proc/3633/task/3647/stat : 3647 (java) S 3631 3633 3633 0 -1 4202560 1479 0 0 0 10 0 0 0 25 0 19 0 869383298 8741801984 10410 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 1 0 0 0
[pid=3633/tid=3648] ppid=3631 vsize=8536916 CPUtime=0.12 cores=1,3,5,7
/proc/3633/task/3648/stat : 3648 (java) R 3631 3633 3633 0 -1 4202560 1641 0 0 0 12 0 0 0 25 0 19 0 869383298 8741801984 10410 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3633/tid=3649] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3649/stat : 3649 (java) S 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383298 8741801984 10412 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606682521 0 4 0 16800975 18446604454814559168 0 0 -1 7 0 0 0
[pid=3633/tid=3650] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3650/stat : 3650 (java) R 3631 3633 3633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869383298 8741801984 10413 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606683136 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3633/tid=3651] ppid=3631 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3633/task/3651/stat : 3651 (java) S 3631 3633 3633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869383307 8741801984 10413 33554432000 1073741824 1073778376 140733224959104 18446744073709551615 235606683136 0 4 0 16800975 18446604454814559168 0 0 -1 3 0 0 0
[pid=3338/tid=3345] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3345/stat : 3345 (python) S 3336 3338 2236 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 8 0 869333642 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3428] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3428/stat : 3428 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869338463 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3439] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3439/stat : 3439 (python) S 3336 3338 2236 0 -1 4202560 36 931 0 0 0 0 0 0 18 0 8 0 869344813 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3451] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3451/stat : 3451 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869349932 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3458] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3458/stat : 3458 (python) S 3336 3338 2236 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869355477 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
[pid=3338/tid=3515] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3515/stat : 3515 (python) S 3336 3338 2236 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 869360313 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 7 0 0 0
[pid=3338/tid=3632] ppid=3336 vsize=355532 CPUtime=0 cores=1,3,5,7
/proc/3338/task/3632/stat : 3632 (python) S 3336 3338 2236 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869383293 364064768 7385 33554432000 4194304 5683644 140733751832176 18446744073709551615 235606690225 0 0 16781312 33554434 18446604465102266496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 501.46
Current children cumulated vsize (KiB) 20088012

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 497.593
CPU time (s): 501.46
CPU user time (s): 474.51
CPU system time (s): 26.95
CPU usage (%): 100.777
Max. virtual memory (cumulated for all children) (KiB): 20088012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.505923
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15939
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= 2878
involuntary context switches= 32

runsolver used 3.20051 second user time and 7.38888 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-09 01:55:47
IDJOB=3481722
IDBENCH=2919
IDSOLVER=1970
FILE ID=node120/3481722-1307577347
RUNJOBID= node120-1307576358-2264
PBS_JOBID= 13547679
Free space on /tmp= 73564 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481722-1307577347/watcher-3481722-1307577347 -o /tmp/evaluation-result-3481722-1307577347/solver-3481722-1307577347 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481722-1307577347.opb -seed 559528652 -budget 1800

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

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=559528652

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22354520 kB
Buffers:        156816 kB
Cached:         732520 kB
SwapCached:      12060 kB
Active:       10092824 kB
Inactive:       174828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22354520 kB
SwapTotal:    67111528 kB
SwapFree:     34366004 kB
Dirty:          101816 kB
Writeback:          16 kB
AnonPages:     9376160 kB
Mapped:          70484 kB
Slab:           144444 kB
PageTables:     113696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 118176780 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= 73436 MiB
End job on node120 at 2011-06-09 02:04:08