Trace number 3481887

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) 196.61 193.596

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUMf7a936a02ddf18c17dc27b7b53733ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1797.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.34/0.59	c INFO: loaded portfolio from HOME/etc/borg-mix+class.opt.pickle
0.34/0.59	c INFO: solving HOME/instance-3481887-1307577063.opb
0.94/1.13	c INFO: parsing took 0.54 s
1.93/2.12	c INFO: features took 0.99 CPU seconds
1.93/2.15	c INFO: running wbo1.4a@0 for 45 with 1798 remaining (b = 0.03)
49.61/49.64	c INFO: running sat4j-pb-v20101225@0 for 91 with 1750 remaining (b = 0.02)
145.52/143.56	c INFO: running clasp-1.3.7@0 for 45 with 1655 remaining (b = 0.00)
194.60/192.46	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1606 remaining (b = 0.00)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481887-1307577063/watcher-3481887-1307577063 -o /tmp/evaluation-result-3481887-1307577063/solver-3481887-1307577063 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481887-1307577063.opb -seed 262160610 -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.16 1.85 1.06 2/515 1840
/proc/meminfo: memFree=22859704/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 728 0 0 0 0 0 0 0 20 0 1 0 869304627 15548416 617 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/1840/statm: 3796 617 322 364 0 283 0

[startup+0.0832119 s]
/proc/loadavg: 2.16 1.85 1.06 2/515 1840
/proc/meminfo: memFree=22859704/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=85368 CPUtime=0.06 cores=1,3,5,7
/proc/1840/stat : 1840 (python) R 1838 1840 1406 0 -1 4202496 2610 0 0 0 5 1 0 0 17 0 1 0 869304627 87416832 2329 33554432000 4194304 5683644 140737184704256 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1840/statm: 21342 2332 715 364 0 1559 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85368

[startup+0.100172 s]
/proc/loadavg: 2.16 1.85 1.06 2/515 1840
/proc/meminfo: memFree=22859704/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/1840/stat : 1840 (python) R 1838 1840 1406 0 -1 4202496 3168 933 1 0 6 1 0 0 18 0 1 0 869304627 98435072 2483 33554432000 4194304 5683644 140737184704256 18446744073709551615 5177563 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1840/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128

[startup+0.300184 s]
/proc/loadavg: 2.16 1.85 1.06 2/515 1840
/proc/meminfo: memFree=22859704/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=123744 CPUtime=0.19 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 5360 933 1 0 13 6 0 0 16 0 1 0 869304627 126713856 3746 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516830213 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/1840/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123744

[startup+0.701109 s]
/proc/loadavg: 2.16 1.85 1.06 2/515 1840
/proc/meminfo: memFree=22859704/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=289276 CPUtime=0.53 cores=1,3,5,7
/proc/1840/stat : 1840 (python) R 1838 1840 1406 0 -1 4202496 10746 933 1 0 41 12 0 0 16 0 1 0 869304627 296218624 8607 33554432000 4194304 5683644 140737184704256 18446744073709551615 4941985 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1840/statm: 72319 8607 1781 364 0 7212 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 289276

[startup+1.50095 s]
/proc/loadavg: 2.16 1.85 1.06 3/516 1845
/proc/meminfo: memFree=22795340/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=303904 CPUtime=1.32 cores=1,3,5,7
/proc/1840/stat : 1840 (python) R 1838 1840 1406 0 -1 4202496 18184 933 1 0 120 12 0 0 17 0 1 0 869304627 311197696 12323 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516525650 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/1840/statm: 75976 12323 1816 364 0 10869 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 303904

[startup+3.10063 s]
/proc/loadavg: 2.23 1.87 1.07 3/516 1845
/proc/meminfo: memFree=22789388/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=316144 CPUtime=1.99 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 19035 933 1 0 186 13 0 0 19 0 2 0 869304627 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1840/statm: 79036 12874 1870 364 0 13923 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 316144
heavy processes:

[startup+6.30109 s]
/proc/loadavg: 2.23 1.87 1.07 3/519 1848
/proc/meminfo: memFree=22770216/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=316144 CPUtime=1.99 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 19035 933 1 0 186 13 0 0 19 0 2 0 869304627 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1840/statm: 79036 12874 1870 364 0 13923 0
[pid=1846] ppid=1840 vsize=305900 CPUtime=0.01 cores=1,3,5,7
/proc/1846/stat : 1846 (python) S 1840 1840 1406 0 -1 4202560 969 0 0 0 0 1 0 0 16 0 1 0 869304843 313241600 11380 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516854287 0 0 16781312 33554946 6205074256238182664 0 0 17 5 0 0 0
/proc/1846/statm: 76475 11380 380 364 0 11362 0
[pid=1848] ppid=1846 vsize=12804 CPUtime=4.13 cores=1,3,5,7
/proc/1848/stat : 1848 (wbo1.4a) R 1846 1848 1848 0 -1 4202496 4138 0 0 0 413 0 0 0 25 0 1 0 869304843 13111296 2770 33554432000 134512640 135751879 4287647168 18446744073709551615 135220911 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/1848/statm: 3201 2770 142 303 0 2896 0
[pid=1840/tid=1847] ppid=1838 vsize=316144 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1847/stat : 1847 (python) S 1838 1840 1406 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 2 0 869304843 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 634848

[startup+12.7009 s]
/proc/loadavg: 2.19 1.87 1.08 3/519 1848
/proc/meminfo: memFree=22772008/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=316144 CPUtime=1.99 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 19035 933 1 0 186 13 0 0 19 0 2 0 869304627 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1840/statm: 79036 12874 1870 364 0 13923 0
[pid=1846] ppid=1840 vsize=305900 CPUtime=0.02 cores=1,3,5,7
/proc/1846/stat : 1846 (python) S 1840 1840 1406 0 -1 4202560 970 0 0 0 1 1 0 0 15 0 1 0 869304843 313241600 11380 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516854287 0 0 16781312 33554946 5623606151888251604 0 0 17 5 0 0 0
/proc/1846/statm: 76475 11380 380 364 0 11362 0
[pid=1848] ppid=1846 vsize=13992 CPUtime=10.52 cores=1,3,5,7
/proc/1848/stat : 1848 (wbo1.4a) R 1846 1848 1848 0 -1 4202496 4444 0 0 0 1052 0 0 0 25 0 1 0 869304843 14327808 3076 33554432000 134512640 135751879 4287647168 18446744073709551615 135200241 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/1848/statm: 3498 3076 142 303 0 3193 0
[pid=1840/tid=1847] ppid=1838 vsize=316144 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1847/stat : 1847 (python) S 1838 1840 1406 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 2 0 869304843 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 636036

[startup+25.5006 s]
/proc/loadavg: 2.16 1.88 1.09 3/523 1853
/proc/meminfo: memFree=22733792/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=316144 CPUtime=1.99 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 19035 933 1 0 186 13 0 0 19 0 2 0 869304627 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1840/statm: 79036 12874 1870 364 0 13923 0
[pid=1846] ppid=1840 vsize=305900 CPUtime=0.09 cores=1,3,5,7
/proc/1846/stat : 1846 (python) S 1840 1840 1406 0 -1 4202560 987 0 0 0 5 4 0 0 15 0 1 0 869304843 313241600 11380 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516854287 0 0 16781312 33554946 5623606151888251604 0 0 17 5 0 0 0
/proc/1846/statm: 76475 11380 380 364 0 11362 0
[pid=1848] ppid=1846 vsize=18500 CPUtime=23.31 cores=1,3,5,7
/proc/1848/stat : 1848 (wbo1.4a) R 1846 1848 1848 0 -1 4202496 12093 0 0 0 2329 2 0 0 25 0 1 0 869304843 18944000 4181 33554432000 134512640 135751879 4287647168 18446744073709551615 135220899 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/1848/statm: 4625 4181 142 303 0 4320 0
[pid=1840/tid=1847] ppid=1838 vsize=316144 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1847/stat : 1847 (python) S 1838 1840 1406 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 2 0 869304843 323731456 12874 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 640544

[startup+51.1009 s]
/proc/loadavg: 2.18 1.90 1.12 3/545 1876
/proc/meminfo: memFree=22561628/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=326400 CPUtime=2.01 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 19838 933 1 0 188 13 0 0 20 0 3 0 869304627 334233600 12881 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/1840/statm: 81600 12881 1873 364 0 16484 0
[pid=1846] ppid=1840 vsize=316144 CPUtime=0.23 cores=1,3,5,7
/proc/1846/stat : 1846 (python) S 1840 1840 1406 0 -1 4202560 1198 0 0 0 13 10 0 0 17 0 2 0 869304843 323731456 11416 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1846/statm: 79036 11416 411 364 0 13923 0
[pid=1848] ppid=1846 vsize=24948 CPUtime=47.43 cores=1,3,5,7
/proc/1848/stat : 1848 (wbo1.4a) T 1846 1848 1848 0 -1 4202496 75731 0 0 0 4728 15 0 0 25 0 1 0 869304843 25546752 5792 33554432000 134512640 135751879 4287647168 18446744073709551615 134541458 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/1848/statm: 6237 5792 145 303 0 5932 0
[pid=1846/tid=1854] ppid=1840 vsize=316144 CPUtime=0 cores=1,3,5,7
/proc/1846/task/1854/stat : 1854 (python) S 1840 1840 1406 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869309589 323731456 11416 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604471127568768 0 0 -1 1 0 0 0
[pid=1855] ppid=1840 vsize=316156 CPUtime=0 cores=1,3,5,7
/proc/1855/stat : 1855 (python) S 1840 1840 1406 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869309592 323743744 11352 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516854342 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/1855/statm: 79039 11352 348 364 0 13923 0
[pid=1857] ppid=1855 vsize=8541548 CPUtime=2.41 cores=1,3,5,7
/proc/1857/stat : 1857 (java) S 1855 1857 1857 0 -1 4202496 44607 0 1 0 235 6 0 0 20 0 19 0 869309592 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1857/statm: 2135387 41570 2248 9 0 2126128 0
[pid=1857/tid=1858] ppid=1855 vsize=8541548 CPUtime=1.43 cores=1,3,5,7
/proc/1857/task/1858/stat : 1858 (java) R 1855 1857 1857 0 -1 4202560 35293 0 1 0 138 5 0 0 19 0 19 0 869309593 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 46912505873282 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1857/tid=1859] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) S 1855 1857 1857 0 -1 4202560 381 0 0 0 0 0 0 0 16 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 3 0 0 0
[pid=1857/tid=1860] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) S 1855 1857 1857 0 -1 4202560 310 0 0 0 0 0 0 0 17 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 1 0 0 0
[pid=1857/tid=1861] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) S 1855 1857 1857 0 -1 4202560 226 0 0 0 0 0 0 0 18 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1862] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1863] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1864] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1866] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1867] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) S 1855 1857 1857 0 -1 4202560 178 0 0 0 0 0 0 0 19 0 19 0 869309594 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 5 0 0 0
[pid=1857/tid=1868] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) S 1855 1857 1857 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 19 0 869309595 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650752 0 0 0 16800975 18446604458270829248 0 0 -1 1 0 0 0
[pid=1857/tid=1869] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) S 1855 1857 1857 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869309595 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1870] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) S 1855 1857 1857 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869309595 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 5 0 0 0
[pid=1857/tid=1871] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869309597 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528657841 0 4 0 16800975 18446604458270829248 0 0 -1 3 0 0 0
[pid=1857/tid=1872] ppid=1855 vsize=8541548 CPUtime=0.45 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) S 1855 1857 1857 0 -1 4202560 2893 0 0 0 45 0 0 0 16 0 19 0 869309597 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 5 0 0 0
[pid=1857/tid=1873] ppid=1855 vsize=8541548 CPUtime=0.5 cores=1,3,5,7
/proc/1857/task/1873/stat : 1873 (java) S 1855 1857 1857 0 -1 4202560 3855 0 0 0 50 0 0 0 19 0 19 0 869309597 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 1 0 0 0
[pid=1857/tid=1874] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1874/stat : 1874 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869309597 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446604458270829248 0 0 -1 3 0 0 0
[pid=1857/tid=1875] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1875/stat : 1875 (java) S 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869309597 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650752 0 4 0 16800975 18446604458270829248 0 0 -1 7 0 0 0
[pid=1857/tid=1876] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1876/stat : 1876 (java) S 1855 1857 1857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869309675 8746545152 41570 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650752 0 4 0 16800975 18446604458270829248 0 0 -1 1 0 0 0
[pid=1840/tid=1847] ppid=1838 vsize=326400 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1847/stat : 1847 (python) S 1838 1840 1406 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 3 0 869304843 334233600 12881 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
[pid=1840/tid=1856] ppid=1838 vsize=326400 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1856/stat : 1856 (python) S 1838 1840 1406 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 3 0 869309592 334233600 12881 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 52.08
Current children cumulated vsize (KiB) 9525196

[startup+102.318 s]
/proc/loadavg: 2.12 1.93 1.17 3/546 1879
/proc/meminfo: memFree=22277520/32951124 swapFree=43359760/67111528

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

[pid=1892/tid=1902] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1902/stat : 1902 (java) S 1890 1892 1892 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 7 0 0 0
[pid=1892/tid=1903] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1903/stat : 1903 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1904] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1904/stat : 1904 (java) S 1890 1892 1892 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 869323877 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650752 0 0 0 16800975 18446604462559038208 0 0 -1 5 0 0 0
[pid=1892/tid=1905] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1905/stat : 1905 (java) S 1890 1892 1892 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869323877 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1906] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1906/stat : 1906 (java) S 1890 1892 1892 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869323877 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1907] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1907/stat : 1907 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869323880 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528657841 0 4 0 16800975 18446604462559038208 0 0 -1 1 0 0 0
[pid=1892/tid=1908] ppid=1890 vsize=8542860 CPUtime=0.44 cores=1,3,5,7
/proc/1892/task/1908/stat : 1908 (java) R 1890 1892 1892 0 -1 4202560 3956 0 0 0 44 0 0 0 22 0 19 0 869323880 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 47528998516064 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1892/tid=1909] ppid=1890 vsize=8542860 CPUtime=0.44 cores=1,3,5,7
/proc/1892/task/1909/stat : 1909 (java) R 1890 1892 1892 0 -1 4202560 5995 0 0 0 44 0 0 0 16 0 19 0 869323880 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 47528998512804 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1892/tid=1910] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1910/stat : 1910 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869323880 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 1 0 0 0
[pid=1892/tid=1911] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1911/stat : 1911 (java) R 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323880 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650752 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1892/tid=1912] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1912/stat : 1912 (java) S 1890 1892 1892 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869323957 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650752 0 4 0 16800975 18446604462559038208 0 0 -1 7 0 0 0
[pid=1840/tid=1847] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1847/stat : 1847 (python) S 1838 1840 1406 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 5 0 869304843 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
[pid=1840/tid=1856] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1856/stat : 1856 (python) S 1838 1840 1406 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 5 0 869309592 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 3 0 0 0
[pid=1840/tid=1886] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1886/stat : 1886 (python) S 1838 1840 1406 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 5 0 869318984 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
[pid=1840/tid=1891] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1891/stat : 1891 (python) S 1838 1840 1406 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 869323874 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 196.61
Current children cumulated vsize (KiB) 19003728

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

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

[startup+193.501 s]
/proc/loadavg: 2.07 1.96 1.25 6/575 1912
/proc/meminfo: memFree=21637952/32951124 swapFree=43359760/67111528
[pid=1840] ppid=1838 vsize=346912 CPUtime=2.05 cores=1,3,5,7
/proc/1840/stat : 1840 (python) S 1838 1840 1406 0 -1 4202496 21604 933 1 0 192 13 0 0 20 0 5 0 869304627 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1840/statm: 86728 12893 1877 364 0 21606 0
[pid=1846] ppid=1840 vsize=316144 CPUtime=0.23 cores=1,3,5,7
/proc/1846/stat : 1846 (python) S 1840 1840 1406 0 -1 4202560 1198 0 0 0 13 10 0 0 17 0 2 0 869304843 323731456 11416 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1846/statm: 79036 11416 411 364 0 13923 0
[pid=1848] ppid=1846 vsize=24948 CPUtime=47.43 cores=1,3,5,7
/proc/1848/stat : 1848 (wbo1.4a) T 1846 1848 1848 0 -1 4202496 75731 0 0 0 4728 15 0 0 25 0 1 0 869304843 25546752 5792 33554432000 134512640 135751879 4287647168 18446744073709551615 134541458 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/1848/statm: 6237 5792 145 303 0 5932 0
[pid=1846/tid=1854] ppid=1840 vsize=316144 CPUtime=0 cores=1,3,5,7
/proc/1846/task/1854/stat : 1854 (python) S 1840 1840 1406 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869309589 323731456 11416 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604471127568768 0 0 -1 1 0 0 0
[pid=1855] ppid=1840 vsize=316156 CPUtime=0.36 cores=1,3,5,7
/proc/1855/stat : 1855 (python) S 1840 1840 1406 0 -1 4202560 1112 0 0 0 18 18 0 0 16 0 2 0 869309592 323743744 11401 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1855/statm: 79039 11401 396 364 0 13923 0
[pid=1857] ppid=1855 vsize=8541548 CPUtime=95.56 cores=1,3,5,7
/proc/1857/stat : 1857 (java) T 1855 1857 1857 0 -1 4202496 121846 0 1 0 9539 17 0 0 18 0 19 0 869309592 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1857/statm: 2135387 107147 2260 9 0 2126128 0
[pid=1857/tid=1858] ppid=1855 vsize=8541548 CPUtime=92.74 cores=1,3,5,7
/proc/1857/task/1858/stat : 1858 (java) T 1855 1857 1857 0 -1 4202560 35313 0 1 0 9269 5 0 0 25 0 19 0 869309593 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 46912506068900 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1857/tid=1859] ppid=1855 vsize=8541548 CPUtime=0.07 cores=1,3,5,7
/proc/1857/task/1859/stat : 1859 (java) T 1855 1857 1857 0 -1 4202560 8129 0 0 0 6 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1857/tid=1860] ppid=1855 vsize=8541548 CPUtime=0.13 cores=1,3,5,7
/proc/1857/task/1860/stat : 1860 (java) T 1855 1857 1857 0 -1 4202560 8478 0 0 0 12 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1857/tid=1861] ppid=1855 vsize=8541548 CPUtime=0.1 cores=1,3,5,7
/proc/1857/task/1861/stat : 1861 (java) T 1855 1857 1857 0 -1 4202560 4577 0 0 0 10 0 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1857/tid=1862] ppid=1855 vsize=8541548 CPUtime=0.06 cores=1,3,5,7
/proc/1857/task/1862/stat : 1862 (java) T 1855 1857 1857 0 -1 4202560 6229 0 0 0 5 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1857/tid=1863] ppid=1855 vsize=8541548 CPUtime=0.04 cores=1,3,5,7
/proc/1857/task/1863/stat : 1863 (java) T 1855 1857 1857 0 -1 4202560 8154 0 0 0 3 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1857/tid=1864] ppid=1855 vsize=8541548 CPUtime=0.1 cores=1,3,5,7
/proc/1857/task/1864/stat : 1864 (java) T 1855 1857 1857 0 -1 4202560 9008 0 0 0 9 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1857/tid=1866] ppid=1855 vsize=8541548 CPUtime=0.15 cores=1,3,5,7
/proc/1857/task/1866/stat : 1866 (java) T 1855 1857 1857 0 -1 4202560 11838 0 0 0 14 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1857/tid=1867] ppid=1855 vsize=8541548 CPUtime=0.1 cores=1,3,5,7
/proc/1857/task/1867/stat : 1867 (java) T 1855 1857 1857 0 -1 4202560 13998 0 0 0 9 1 0 0 15 0 19 0 869309594 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1857/tid=1868] ppid=1855 vsize=8541548 CPUtime=0.85 cores=1,3,5,7
/proc/1857/task/1868/stat : 1868 (java) T 1855 1857 1857 0 -1 4202560 7935 0 0 0 84 1 0 0 15 0 19 0 869309595 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1857/tid=1869] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1869/stat : 1869 (java) T 1855 1857 1857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869309595 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=1857/tid=1870] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1870/stat : 1870 (java) T 1855 1857 1857 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869309595 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1857/tid=1871] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1871/stat : 1871 (java) T 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309597 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1857/tid=1872] ppid=1855 vsize=8541548 CPUtime=0.54 cores=1,3,5,7
/proc/1857/task/1872/stat : 1872 (java) T 1855 1857 1857 0 -1 4202560 2911 0 0 0 54 0 0 0 15 0 19 0 869309597 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1857/tid=1873] ppid=1855 vsize=8541548 CPUtime=0.59 cores=1,3,5,7
/proc/1857/task/1873/stat : 1873 (java) T 1855 1857 1857 0 -1 4202560 3874 0 0 0 59 0 0 0 15 0 19 0 869309597 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1857/tid=1874] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1874/stat : 1874 (java) T 1855 1857 1857 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309597 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1857/tid=1875] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1875/stat : 1875 (java) T 1855 1857 1857 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869309597 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=1857/tid=1876] ppid=1855 vsize=8541548 CPUtime=0 cores=1,3,5,7
/proc/1857/task/1876/stat : 1876 (java) T 1855 1857 1857 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309675 8746545152 107147 33554432000 1073741824 1073778376 140735929443824 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1855/tid=1884] ppid=1840 vsize=316156 CPUtime=0 cores=1,3,5,7
/proc/1855/task/1884/stat : 1884 (python) S 1840 1840 1406 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869318981 323743744 11401 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604461845561664 0 0 -1 5 0 0 0
[pid=1885] ppid=1840 vsize=326412 CPUtime=0.18 cores=1,3,5,7
/proc/1885/stat : 1885 (python) S 1840 1840 1406 0 -1 4202560 1114 0 0 0 8 10 0 0 16 0 2 0 869318984 334245888 11405 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1885/statm: 81603 11405 396 364 0 16484 0
[pid=1887] ppid=1885 vsize=252476 CPUtime=48.86 cores=1,3,5,7
/proc/1887/stat : 1887 (clasp-1.3.7-x86) T 1885 1887 1887 0 -1 4202496 63538 0 0 0 4876 10 0 0 25 0 1 0 869318984 258535424 62823 33554432000 134512640 136139019 4289568272 18446744073709551615 134599785 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/1887/statm: 63119 62823 187 398 0 62719 0
[pid=1885/tid=1889] ppid=1840 vsize=326412 CPUtime=0 cores=1,3,5,7
/proc/1885/task/1889/stat : 1889 (python) S 1840 1840 1406 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869323871 334245888 11405 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604458073869184 0 0 -1 7 0 0 0
[pid=1890] ppid=1840 vsize=336668 CPUtime=0 cores=1,3,5,7
/proc/1890/stat : 1890 (python) S 1840 1840 1406 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 869323874 344748032 11360 33554432000 4194304 5683644 140737184704256 18446744073709551615 246516854342 0 0 16781312 33554946 741432503432118272 0 0 17 3 0 0 0
/proc/1890/statm: 84167 11360 348 364 0 19045 0
[pid=1892] ppid=1890 vsize=8542464 CPUtime=1.94 cores=1,3,5,7
/proc/1892/stat : 1892 (java) S 1890 1892 1892 0 -1 4202496 47534 0 1 0 189 5 0 0 18 0 19 0 869323874 8747483136 43000 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1892/statm: 2135616 43000 2242 9 0 2126357 0
[pid=1892/tid=1893] ppid=1890 vsize=8542860 CPUtime=1.04 cores=1,3,5,7
/proc/1892/task/1893/stat : 1893 (java) R 1890 1892 1892 0 -1 4202560 35281 0 1 0 100 4 0 0 19 0 19 0 869323875 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 46912505175279 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1892/tid=1894] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1894/stat : 1894 (java) S 1890 1892 1892 0 -1 4202560 309 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 1 0 0 0
[pid=1892/tid=1895] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1895/stat : 1895 (java) S 1890 1892 1892 0 -1 4202560 325 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1897] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1897/stat : 1897 (java) S 1890 1892 1892 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 5 0 0 0
[pid=1892/tid=1898] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1898/stat : 1898 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 5 0 0 0
[pid=1892/tid=1900] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1900/stat : 1900 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 5 0 0 0
[pid=1892/tid=1901] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1901/stat : 1901 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 7 0 0 0
[pid=1892/tid=1902] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1902/stat : 1902 (java) S 1890 1892 1892 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 7 0 0 0
[pid=1892/tid=1903] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1903/stat : 1903 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323876 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1904] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1904/stat : 1904 (java) S 1890 1892 1892 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 869323877 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650752 0 0 0 16800975 18446604462559038208 0 0 -1 5 0 0 0
[pid=1892/tid=1905] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1905/stat : 1905 (java) S 1890 1892 1892 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869323877 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1906] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1906/stat : 1906 (java) S 1890 1892 1892 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869323877 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 3 0 0 0
[pid=1892/tid=1907] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1907/stat : 1907 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869323880 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528657841 0 4 0 16800975 18446604462559038208 0 0 -1 1 0 0 0
[pid=1892/tid=1908] ppid=1890 vsize=8542860 CPUtime=0.44 cores=1,3,5,7
/proc/1892/task/1908/stat : 1908 (java) R 1890 1892 1892 0 -1 4202560 3956 0 0 0 44 0 0 0 22 0 19 0 869323880 8747888640 43256 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 47528998516064 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1892/tid=1909] ppid=1890 vsize=8542860 CPUtime=0.44 cores=1,3,5,7
/proc/1892/task/1909/stat : 1909 (java) R 1890 1892 1892 0 -1 4202560 5995 0 0 0 44 0 0 0 16 0 19 0 869323880 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 47528998512804 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1892/tid=1910] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1910/stat : 1910 (java) S 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869323880 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650137 0 4 0 16800975 18446604462559038208 0 0 -1 1 0 0 0
[pid=1892/tid=1911] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1911/stat : 1911 (java) R 1890 1892 1892 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869323880 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650752 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1892/tid=1912] ppid=1890 vsize=8542860 CPUtime=0 cores=1,3,5,7
/proc/1892/task/1912/stat : 1912 (java) S 1890 1892 1892 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869323957 8747888640 43258 33554432000 1073741824 1073778376 140733619576480 18446744073709551615 246528650752 0 4 0 16800975 18446604462559038208 0 0 -1 7 0 0 0
[pid=1840/tid=1847] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1847/stat : 1847 (python) S 1838 1840 1406 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 5 0 869304843 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
[pid=1840/tid=1856] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1856/stat : 1856 (python) S 1838 1840 1406 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 5 0 869309592 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 3 0 0 0
[pid=1840/tid=1886] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1886/stat : 1886 (python) S 1838 1840 1406 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 5 0 869318984 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 7 0 0 0
[pid=1840/tid=1891] ppid=1838 vsize=346912 CPUtime=0 cores=1,3,5,7
/proc/1840/task/1891/stat : 1891 (python) S 1838 1840 1406 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 869323874 355237888 12893 33554432000 4194304 5683644 140737184704256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604470238352704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 196.61
Current children cumulated vsize (KiB) 19003728

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 193.596
CPU time (s): 196.61
CPU user time (s): 195.63
CPU system time (s): 0.98
CPU usage (%): 101.557
Max. virtual memory (cumulated for all children) (KiB): 19003728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.93071
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22539
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= 1793
involuntary context switches= 17

runsolver used 0.881865 second user time and 2.03569 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-09 01:51:04
IDJOB=3481887
IDBENCH=2268
IDSOLVER=1970
FILE ID=node134/3481887-1307577063
RUNJOBID= node134-1307576356-1425
PBS_JOBID= 13547665
Free space on /tmp= 73828 MiB

SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.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-3481887-1307577063/watcher-3481887-1307577063 -o /tmp/evaluation-result-3481887-1307577063/solver-3481887-1307577063 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481887-1307577063.opb -seed 262160610 -budget 1800

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

MD5SUM BENCH= f7a936a02ddf18c17dc27b7b53733ab1
RANDOM SEED=262160610

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22860008 kB
Buffers:        145636 kB
Cached:         618604 kB
SwapCached:      10388 kB
Active:        9607324 kB
Inactive:       173388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22860008 kB
SwapTotal:    67111528 kB
SwapFree:     43359760 kB
Dirty:          208972 kB
Writeback:           0 kB
AnonPages:     9013568 kB
Mapped:          59352 kB
Slab:           143972 kB
PageTables:      99448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 116406976 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= 73728 MiB
End job on node134 at 2011-06-09 01:54:20