Trace number 3481652

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) 192.72 190.984

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
MD5SUM4c21c441bf9f3f3be8f0cdb52c39f9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark115.563
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables12852
Total number of constraints41686
Number of constraints which are clauses41686
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 6267
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 6267
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6267
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.35/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.35/0.68	c INFO: solving HOME/instance-3481652-1307577666.opb
0.53/0.89	c INFO: parsing took 0.21 s
1.04/1.32	c INFO: features took 0.43 CPU seconds
1.04/1.34	c INFO: running scip-2.0.1-spx@0 for 45 with 1799 remaining (b = 0.45)
50.01/50.15	c INFO: running sat4j-pb-v20101225@0 for 45 with 1750 remaining (b = 0.20)
96.64/95.23	c INFO: running scip-2.0.1-clp@0 for 45 with 1704 remaining (b = 0.09)
146.14/144.66	c INFO: running wbo1.4a@0 for 45 with 1655 remaining (b = 0.02)
192.27/190.68	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1609 remaining (b = 0.02)

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-3481652-1307577666/watcher-3481652-1307577666 -o /tmp/evaluation-result-3481652-1307577666/solver-3481652-1307577666 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481652-1307577666.opb -seed 197850423 -budget 1800 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.10 2.10 1.57 3/601 15743
/proc/meminfo: memFree=24971588/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 820 0 0 0 0 0 0 0 21 0 1 0 869364854 15753216 704 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/15743/statm: 3846 704 334 364 0 333 0

[startup+0.0715729 s]
/proc/loadavg: 2.10 2.10 1.57 3/601 15743
/proc/meminfo: memFree=24971588/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=36512 CPUtime=0.04 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 1621 0 0 0 3 1 0 0 21 0 1 0 869364854 37388288 1451 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/15743/statm: 9128 1451 452 364 0 945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36512

[startup+0.100525 s]
/proc/loadavg: 2.10 2.10 1.57 3/601 15743
/proc/meminfo: memFree=24971588/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/15743/stat : 15743 (python) R 15741 15743 14938 0 -1 4202496 2666 0 0 0 5 1 0 0 17 0 1 0 869364854 87678976 2382 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335888229 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15743/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624

[startup+0.300527 s]
/proc/loadavg: 2.10 2.10 1.57 3/601 15743
/proc/meminfo: memFree=24971588/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 5357 933 1 0 12 5 0 0 17 0 1 0 869364854 126713856 3744 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/15743/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744

[startup+0.700467 s]
/proc/loadavg: 2.10 2.10 1.57 3/601 15743
/proc/meminfo: memFree=24971588/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=284500 CPUtime=0.43 cores=0,2,4,6
/proc/15743/stat : 15743 (python) R 15741 15743 14938 0 -1 4202496 9557 933 1 0 33 10 0 0 16 0 1 0 869364854 291328000 7419 33554432000 4194304 5683644 140733584417888 18446744073709551615 5007429 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15743/statm: 71125 7419 1781 364 0 6018 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 284500

[startup+1.50027 s]
/proc/loadavg: 2.10 2.10 1.57 3/602 15748
/proc/meminfo: memFree=24940588/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=302120 CPUtime=1.08 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 13068 933 1 0 97 11 0 0 18 0 2 0 869364854 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15743/statm: 75530 9366 1870 364 0 10417 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 302120

[startup+3.10102 s]
/proc/loadavg: 2.10 2.10 1.57 3/605 15751
/proc/meminfo: memFree=24822020/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=302120 CPUtime=1.08 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 13068 933 1 0 97 11 0 0 18 0 2 0 869364854 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15743/statm: 75530 9366 1870 364 0 10417 0
[pid=15749] ppid=15743 vsize=291876 CPUtime=0 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 869364989 298881024 7844 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335912463 0 0 16781312 33554946 15330325600552321281 0 0 17 4 0 0 0
/proc/15749/statm: 72969 7844 351 364 0 7856 0
[pid=15751] ppid=15749 vsize=125964 CPUtime=1.74 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) R 15749 15751 15751 0 -1 4202496 31382 0 0 0 166 8 0 0 18 0 1 0 869364989 128987136 28840 33554432000 4194304 13684479 140736695146688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15751/statm: 31491 28840 752 2317 0 29169 0
[pid=15743/tid=15750] ppid=15741 vsize=302120 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 2 0 869364989 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 719960

[startup+6.30046 s]
/proc/loadavg: 2.25 2.13 1.59 3/605 15751
/proc/meminfo: memFree=24815560/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=302120 CPUtime=1.08 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 13068 933 1 0 97 11 0 0 18 0 2 0 869364854 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15743/statm: 75530 9366 1870 364 0 10417 0
[pid=15749] ppid=15743 vsize=291876 CPUtime=0.02 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 927 0 0 0 1 1 0 0 15 0 1 0 869364989 298881024 7869 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335912463 0 0 16781312 33554946 15330326356466565377 0 0 17 4 0 0 0
/proc/15749/statm: 72969 7869 375 364 0 7856 0
[pid=15751] ppid=15749 vsize=138988 CPUtime=4.92 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) R 15749 15751 15751 0 -1 4202496 34134 0 0 0 481 11 0 0 25 0 1 0 869364989 142323712 31554 33554432000 4194304 13684479 140736695146688 18446744073709551615 4966968 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15751/statm: 34747 31554 849 2317 0 32425 0
[pid=15743/tid=15750] ppid=15741 vsize=302120 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 2 0 869364989 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 732984

[startup+12.7003 s]
/proc/loadavg: 2.23 2.12 1.59 3/605 15751
/proc/meminfo: memFree=24808412/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=302120 CPUtime=1.08 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 13068 933 1 0 97 11 0 0 18 0 2 0 869364854 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15743/statm: 75530 9366 1870 364 0 10417 0
[pid=15749] ppid=15743 vsize=291876 CPUtime=0.03 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 930 0 0 0 1 2 0 0 15 0 1 0 869364989 298881024 7869 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335912463 0 0 16781312 33554946 2330748034209546240 0 0 17 4 0 0 0
/proc/15749/statm: 72969 7869 375 364 0 7856 0
[pid=15751] ppid=15749 vsize=144832 CPUtime=11.33 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) R 15749 15751 15751 0 -1 4202496 35489 0 0 0 1119 14 0 0 22 0 1 0 869364989 148307968 32890 33554432000 4194304 13684479 140736695146688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15751/statm: 36208 32890 835 2317 0 33886 0
[pid=15743/tid=15750] ppid=15741 vsize=302120 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 2 0 869364989 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 738828

[startup+25.501 s]
/proc/loadavg: 2.25 2.13 1.60 3/609 15755
/proc/meminfo: memFree=24782452/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=302120 CPUtime=1.08 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 13068 933 1 0 97 11 0 0 18 0 2 0 869364854 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/15743/statm: 75530 9366 1870 364 0 10417 0
[pid=15749] ppid=15743 vsize=291876 CPUtime=0.1 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 1021 0 0 0 5 5 0 0 15 0 1 0 869364989 298881024 7874 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335912463 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/15749/statm: 72969 7874 380 364 0 7856 0
[pid=15751] ppid=15749 vsize=149536 CPUtime=24.12 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) R 15749 15751 15751 0 -1 4202496 36752 0 0 0 2393 19 0 0 25 0 1 0 869364989 153124864 34111 33554432000 4194304 13684479 140736695146688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15751/statm: 37384 34111 795 2317 0 35062 0
[pid=15743/tid=15750] ppid=15741 vsize=302120 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 2 0 869364989 309370880 9366 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 743532

[startup+51.1009 s]
/proc/loadavg: 2.23 2.14 1.62 3/609 15756
/proc/meminfo: memFree=24767268/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=312376 CPUtime=1.1 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 14031 933 1 0 99 11 0 0 20 0 3 0 869364854 319873024 9375 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15743/statm: 78094 9375 1873 364 0 12978 0
[pid=15749] ppid=15743 vsize=302120 CPUtime=0.22 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 1171 0 0 0 12 10 0 0 17 0 2 0 869364989 309370880 7910 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15749/statm: 75530 7910 411 364 0 10417 0
[pid=15751] ppid=15749 vsize=152648 CPUtime=48.75 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) T 15749 15751 15751 0 -1 4202496 38280 0 0 0 4846 29 0 0 21 0 1 0 869364989 156311552 34490 33554432000 4194304 13684479 140736695146688 18446744073709551615 4957346 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/15751/statm: 38162 34490 797 2317 0 35840 0
[pid=15743/tid=15750] ppid=15741 vsize=312376 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 3 0 869364989 319873024 9375 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 767144

[startup+102.301 s]
/proc/loadavg: 2.10 2.11 1.64 3/624 15877
/proc/meminfo: memFree=24324684/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=322632 CPUtime=1.13 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 14895 933 1 0 102 11 0 0 20 0 4 0 869364854 330375168 9381 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15743/statm: 80658 9381 1875 364 0 15539 0
[pid=15749] ppid=15743 vsize=302120 CPUtime=0.22 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 1171 0 0 0 12 10 0 0 17 0 2 0 869364989 309370880 7910 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15749/statm: 75530 7910 411 364 0 10417 0
[pid=15751] ppid=15749 vsize=152648 CPUtime=48.75 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) T 15749 15751 15751 0 -1 4202496 38280 0 0 0 4846 29 0 0 21 0 1 0 869364989 156311552 34490 33554432000 4194304 13684479 140736695146688 18446744073709551615 4957346 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/15751/statm: 38162 34490 797 2317 0 35840 0
[pid=15749/tid=15757] ppid=15743 vsize=302120 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (python) S 15743 15743 14938 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869369867 309370880 7910 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604444230919168 0 0 -1 6 0 0 0
[pid=15758] ppid=15743 vsize=302132 CPUtime=0.19 cores=0,2,4,6
/proc/15758/stat : 15758 (python) S 15743 15743 14938 0 -1 4202560 1167 0 0 0 8 11 0 0 16 0 2 0 869369870 309383168 7901 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 75533 7901 402 364 0 10417 0
[pid=15760] ppid=15758 vsize=8538124 CPUtime=46.37 cores=0,2,4,6
/proc/15760/stat : 15760 (java) T 15758 15760 15760 0 -1 4202496 45324 0 1 0 4630 7 0 0 18 0 19 0 869369870 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2134531 42157 2259 9 0 2125272 0
[pid=15760/tid=15761] ppid=15758 vsize=8538124 CPUtime=44.75 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) T 15758 15760 15760 0 -1 4202560 33123 0 1 0 4470 5 0 0 25 0 19 0 869369871 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15762] ppid=15758 vsize=8538124 CPUtime=0.02 cores=0,2,4,6
/proc/15760/task/15762/stat : 15762 (java) T 15758 15760 15760 0 -1 4202560 860 0 0 0 2 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=8538124 CPUtime=0.01 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) T 15758 15760 15760 0 -1 4202560 443 0 0 0 1 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 47696869442722 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) T 15758 15760 15760 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) T 15758 15760 15760 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=8538124 CPUtime=0.01 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) T 15758 15760 15760 0 -1 4202560 99 0 0 0 1 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232335845687 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) T 15758 15760 15760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) T 15758 15760 15760 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) T 15758 15760 15760 0 -1 4202560 465 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=8538124 CPUtime=0.18 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) T 15758 15760 15760 0 -1 4202560 2282 0 0 0 18 0 0 0 15 0 19 0 869369873 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) T 15758 15760 15760 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 869369873 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0

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

/proc/15877/stat : 15877 (scip-2.0.1.linu) T 15875 15877 15877 0 -1 4202496 47434 0 0 0 4903 26 0 0 25 0 1 0 869374378 173875200 35902 33554432000 4194304 15243407 140736712611888 18446744073709551615 8113562 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/15877/statm: 42450 35902 940 2698 0 39745 0
[pid=15875/tid=15883] ppid=15743 vsize=312388 CPUtime=0 cores=0,2,4,6
/proc/15875/task/15883/stat : 15883 (python) S 15743 15743 14938 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869379318 319885312 7899 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442139294464 0 0 -1 0 0 0 0
[pid=15884] ppid=15743 vsize=322644 CPUtime=0.08 cores=0,2,4,6
/proc/15884/stat : 15884 (python) S 15743 15743 14938 0 -1 4202560 966 0 0 0 4 4 0 0 15 0 1 0 869379321 330387456 7878 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335912518 0 0 16781312 33554946 72114768642583373 0 0 17 0 0 0 0
/proc/15884/statm: 80661 7878 372 364 0 15539 0
[pid=15886] ppid=15884 vsize=24852 CPUtime=17.61 cores=0,2,4,6
/proc/15886/stat : 15886 (wbo1.4a) R 15884 15886 15886 0 -1 4202496 7082 0 0 0 1756 5 0 0 25 0 1 0 869379321 25448448 5754 33554432000 134512640 135751879 4291592384 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/15886/statm: 6213 5754 146 303 0 5908 0
[pid=15743/tid=15750] ppid=15741 vsize=332888 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 5 0 869364989 340877312 9387 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
[pid=15743/tid=15759] ppid=15741 vsize=332888 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15759/stat : 15759 (python) S 15741 15743 14938 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 869369870 340877312 9387 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 6 0 0 0
[pid=15743/tid=15876] ppid=15741 vsize=332888 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15876/stat : 15876 (python) S 15741 15743 14938 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 869374378 340877312 9387 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 6 0 0 0
[pid=15743/tid=15885] ppid=15741 vsize=332888 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15885/stat : 15885 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 5 0 869379321 340877312 9387 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 163.91
Current children cumulated vsize (KiB) 10457596



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+190.902 s]
/proc/loadavg: 2.02 2.08 1.66 7/675 15931
/proc/meminfo: memFree=23450896/32951124 swapFree=57654872/67111528
[pid=15743] ppid=15741 vsize=343144 CPUtime=1.19 cores=0,2,4,6
/proc/15743/stat : 15743 (python) S 15741 15743 14938 0 -1 4202496 16682 933 1 0 107 12 0 0 20 0 6 0 869364854 351379456 9393 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15743/statm: 85786 9393 1879 364 0 20661 0
[pid=15749] ppid=15743 vsize=302120 CPUtime=0.22 cores=0,2,4,6
/proc/15749/stat : 15749 (python) S 15743 15743 14938 0 -1 4202560 1171 0 0 0 12 10 0 0 17 0 2 0 869364989 309370880 7910 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15749/statm: 75530 7910 411 364 0 10417 0
[pid=15751] ppid=15749 vsize=152648 CPUtime=48.75 cores=0,2,4,6
/proc/15751/stat : 15751 (scip-2.0.1.linu) T 15749 15751 15751 0 -1 4202496 38280 0 0 0 4846 29 0 0 21 0 1 0 869364989 156311552 34490 33554432000 4194304 13684479 140736695146688 18446744073709551615 4957346 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/15751/statm: 38162 34490 797 2317 0 35840 0
[pid=15749/tid=15757] ppid=15743 vsize=302120 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15757/stat : 15757 (python) S 15743 15743 14938 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869369867 309370880 7910 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604444230919168 0 0 -1 6 0 0 0
[pid=15758] ppid=15743 vsize=302132 CPUtime=0.19 cores=0,2,4,6
/proc/15758/stat : 15758 (python) S 15743 15743 14938 0 -1 4202560 1167 0 0 0 8 11 0 0 16 0 2 0 869369870 309383168 7901 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 75533 7901 402 364 0 10417 0
[pid=15760] ppid=15758 vsize=8538124 CPUtime=46.37 cores=0,2,4,6
/proc/15760/stat : 15760 (java) T 15758 15760 15760 0 -1 4202496 45324 0 1 0 4630 7 0 0 18 0 19 0 869369870 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2134531 42157 2259 9 0 2125272 0
[pid=15760/tid=15761] ppid=15758 vsize=8538124 CPUtime=44.75 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) T 15758 15760 15760 0 -1 4202560 33123 0 1 0 4470 5 0 0 25 0 19 0 869369871 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15762] ppid=15758 vsize=8538124 CPUtime=0.02 cores=0,2,4,6
/proc/15760/task/15762/stat : 15762 (java) T 15758 15760 15760 0 -1 4202560 860 0 0 0 2 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=8538124 CPUtime=0.01 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) T 15758 15760 15760 0 -1 4202560 443 0 0 0 1 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 47696869442722 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) T 15758 15760 15760 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) T 15758 15760 15760 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=8538124 CPUtime=0.01 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) T 15758 15760 15760 0 -1 4202560 99 0 0 0 1 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232335845687 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) T 15758 15760 15760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) T 15758 15760 15760 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) T 15758 15760 15760 0 -1 4202560 465 0 0 0 0 0 0 0 15 0 19 0 869369872 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=8538124 CPUtime=0.18 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) T 15758 15760 15760 0 -1 4202560 2282 0 0 0 18 0 0 0 15 0 19 0 869369873 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) T 15758 15760 15760 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 869369873 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) T 15758 15760 15760 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869369873 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) T 15758 15760 15760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369875 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=8538124 CPUtime=0.63 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) T 15758 15760 15760 0 -1 4202560 2555 0 0 0 63 0 0 0 15 0 19 0 869369875 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15775] ppid=15758 vsize=8538124 CPUtime=0.7 cores=0,2,4,6
/proc/15760/task/15775/stat : 15775 (java) T 15758 15760 15760 0 -1 4202560 3546 0 0 0 70 0 0 0 15 0 19 0 869369875 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15776] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15776/stat : 15776 (java) T 15758 15760 15760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369875 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15777] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15777/stat : 15777 (java) T 15758 15760 15760 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869369875 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15760/tid=15778] ppid=15758 vsize=8538124 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15778/stat : 15778 (java) T 15758 15760 15760 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869369939 8743038976 42157 33554432000 1073741824 1073778376 140733780481168 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15758/tid=15874] ppid=15743 vsize=302132 CPUtime=0 cores=0,2,4,6
/proc/15758/task/15874/stat : 15874 (python) S 15743 15743 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869374375 309383168 7901 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453684229440 0 0 -1 0 0 0 0
[pid=15875] ppid=15743 vsize=312388 CPUtime=0.24 cores=0,2,4,6
/proc/15875/stat : 15875 (python) S 15743 15743 14938 0 -1 4202560 1124 0 0 0 13 11 0 0 16 0 2 0 869374378 319885312 7899 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/15875/statm: 78097 7899 396 364 0 12978 0
[pid=15877] ppid=15875 vsize=169800 CPUtime=49.29 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.linu) T 15875 15877 15877 0 -1 4202496 47434 0 0 0 4903 26 0 0 25 0 1 0 869374378 173875200 35902 33554432000 4194304 15243407 140736712611888 18446744073709551615 8113562 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/15877/statm: 42450 35902 940 2698 0 39745 0
[pid=15875/tid=15883] ppid=15743 vsize=312388 CPUtime=0 cores=0,2,4,6
/proc/15875/task/15883/stat : 15883 (python) S 15743 15743 14938 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869379318 319885312 7899 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442139294464 0 0 -1 0 0 0 0
[pid=15884] ppid=15743 vsize=322644 CPUtime=0.21 cores=0,2,4,6
/proc/15884/stat : 15884 (python) S 15743 15743 14938 0 -1 4202560 1142 0 0 0 11 10 0 0 17 0 2 0 869379321 330387456 7903 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/15884/statm: 80661 7903 396 364 0 15539 0
[pid=15886] ppid=15884 vsize=55192 CPUtime=45.91 cores=0,2,4,6
/proc/15886/stat : 15886 (wbo1.4a) T 15884 15886 15886 0 -1 4202496 14647 0 0 0 4579 12 0 0 25 0 1 0 869379321 56516608 13319 33554432000 134512640 135751879 4291592384 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/15886/statm: 13798 13319 146 303 0 13493 0
[pid=15884/tid=15911] ppid=15743 vsize=322644 CPUtime=0 cores=0,2,4,6
/proc/15884/task/15911/stat : 15911 (python) S 15743 15743 14938 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869383921 330387456 7903 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604446016411456 0 0 -1 0 0 0 0
[pid=15912] ppid=15743 vsize=332900 CPUtime=0 cores=0,2,4,6
/proc/15912/stat : 15912 (python) S 15743 15743 14938 0 -1 4202560 815 0 0 0 0 0 0 0 17 0 1 0 869383923 340889600 7858 33554432000 4194304 5683644 140733584417888 18446744073709551615 232335912518 0 0 16781312 33554946 1084412756146257920 0 0 17 6 0 0 0
/proc/15912/statm: 83225 7858 348 364 0 18100 0
[pid=15914] ppid=15912 vsize=8534352 CPUtime=0.35 cores=0,2,4,6
/proc/15914/stat : 15914 (java) S 15912 15914 15914 0 -1 4202496 7707 0 1 0 34 1 0 0 20 0 18 0 869383923 8739176448 6770 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15914/statm: 2133588 6770 2189 9 0 2124329 0
[pid=15914/tid=15915] ppid=15912 vsize=8534352 CPUtime=0.23 cores=0,2,4,6
/proc/15914/task/15915/stat : 15915 (java) R 15912 15914 15914 0 -1 4202560 4560 0 1 0 22 1 0 0 25 0 18 0 869383924 8739176448 6890 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 46912505228109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15914/tid=15916] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15916/stat : 15916 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869383925 8739176448 6891 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15917] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15917/stat : 15917 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869383925 8739176448 6891 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15918] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15918/stat : 15918 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869383925 8739176448 6891 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15919] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15919/stat : 15919 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383925 8739176448 6892 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15914/tid=15920] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15920/stat : 15920 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383925 8739176448 6892 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15914/tid=15921] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15921/stat : 15921 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383925 8739176448 6892 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15914/tid=15922] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15922/stat : 15922 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383925 8739176448 6892 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15914/tid=15923] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15923/stat : 15923 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383925 8739176448 6893 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15914/tid=15924] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15924/stat : 15924 (java) S 15912 15914 15914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869383926 8739176448 6893 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708928 0 0 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15925] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15925/stat : 15925 (java) S 15912 15914 15914 0 -1 4202560 14 0 0 0 0 0 0 0 25 0 18 0 869383926 8739176448 6893 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 6 0 0 0
[pid=15914/tid=15926] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15926/stat : 15926 (java) S 15912 15914 15914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869383926 8739176448 6894 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15927] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15927/stat : 15927 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383929 8739176448 6894 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347716017 0 4 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15928] ppid=15912 vsize=8534352 CPUtime=0.08 cores=0,2,4,6
/proc/15914/task/15928/stat : 15928 (java) S 15912 15914 15914 0 -1 4202560 1096 0 0 0 8 0 0 0 17 0 18 0 869383929 8739176448 6894 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 4 0 0 0
[pid=15914/tid=15929] ppid=15912 vsize=8534352 CPUtime=0.05 cores=0,2,4,6
/proc/15914/task/15929/stat : 15929 (java) R 15912 15914 15914 0 -1 4202560 773 0 0 0 5 0 0 0 25 0 18 0 869383929 8739176448 6894 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 47896413393586 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15914/tid=15930] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15930/stat : 15930 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383929 8739176448 6895 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708313 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15914/tid=15931] ppid=15912 vsize=8534352 CPUtime=0 cores=0,2,4,6
/proc/15914/task/15931/stat : 15931 (java) S 15912 15914 15914 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869383929 8739176448 6895 33554432000 1073741824 1073778376 140735839684096 18446744073709551615 232347708928 0 4 0 16800975 18446604453909788480 0 0 -1 0 0 0 0
[pid=15743/tid=15750] ppid=15741 vsize=343144 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15750/stat : 15750 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 6 0 869364989 351379456 9393 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 4 0 0 0
[pid=15743/tid=15759] ppid=15741 vsize=343144 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15759/stat : 15759 (python) S 15741 15743 14938 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 6 0 869369870 351379456 9393 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 6 0 0 0
[pid=15743/tid=15876] ppid=15741 vsize=343144 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15876/stat : 15876 (python) S 15741 15743 14938 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 6 0 869374378 351379456 9393 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 6 0 0 0
[pid=15743/tid=15885] ppid=15741 vsize=343144 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15885/stat : 15885 (python) S 15741 15743 14938 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 6 0 869379321 351379456 9393 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 6 0 0 0
[pid=15743/tid=15913] ppid=15741 vsize=343144 CPUtime=0 cores=0,2,4,6
/proc/15743/task/15913/stat : 15913 (python) S 15741 15743 14938 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 6 0 869383923 351379456 9393 33554432000 4194304 5683644 140733584417888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604452710119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 192.72
Current children cumulated vsize (KiB) 19365444

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 15743 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=73836
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 1.20581
# while last known CPU time is 192.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 190.984
CPU time (s): 192.72
CPU user time (s): 191.43
CPU system time (s): 1.29
CPU usage (%): 100.909
Max. virtual memory (cumulated for all children) (KiB): 19365932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07384
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17617
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= 2867
involuntary context switches= 18

runsolver used 1.16382 second user time and 2.34164 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-09 02:01:06
IDJOB=3481652
IDBENCH=25001
IDSOLVER=1970
FILE ID=node132/3481652-1307577666
RUNJOBID= node132-1307576356-14956
PBS_JOBID= 13547667
Free space on /tmp= 73808 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.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-3481652-1307577666/watcher-3481652-1307577666 -o /tmp/evaluation-result-3481652-1307577666/solver-3481652-1307577666 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481652-1307577666.opb -seed 197850423 -budget 1800

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

MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4
RANDOM SEED=197850423

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24971744 kB
Buffers:        140720 kB
Cached:         567928 kB
SwapCached:      10184 kB
Active:        7553360 kB
Inactive:       148920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24971744 kB
SwapTotal:    67111528 kB
SwapFree:     57654872 kB
Dirty:          103412 kB
Writeback:          16 kB
AnonPages:     6991676 kB
Mapped:          52276 kB
Slab:           138976 kB
PageTables:      68688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 118940176 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73660 MiB
End job on node132 at 2011-06-09 02:04:20