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-3481743-1307576359/watcher-3481743-1307576359 -o /tmp/evaluation-result-3481743-1307576359/solver-3481743-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481743-1307576359.opb -seed 10733940 -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: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2283/stat : 2283 (runsolver) S 2277 2283 2236 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 1 0 869237369 12079104 51 33554432000 4194304 5432328 140736331895952 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699977015 0 0 17 2 0 0 0
/proc/2283/statm: 2949 51 31 303 0 2643 0
[startup+0.0205819 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2283/stat : 2283 (runsolver) S 2277 2283 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 1 0 869237369 12079104 54 33554432000 4194304 5432328 140736331895952 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699215550 0 0 17 2 0 0 0
/proc/2283/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100621 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/2283/stat : 2283 (python) D 2277 2283 2236 0 -1 4194304 46 0 0 0 0 0 0 0 17 0 1 0 869237369 1884160 1 33554432000 0 0 140733383640745 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 1
/proc/2283/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300656 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 506 0 6 0 0 0 0 0 16 0 1 0 869237369 15175680 420 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594862437 0 2147483391 4096 0 18446744071699215550 0 0 17 4 0 0 11
/proc/2283/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.700554 s]
/proc/loadavg: 0.72 0.17 0.06 2/445 2283
/proc/meminfo: memFree=32070864/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=15188 CPUtime=0 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 722 0 6 0 0 0 0 0 16 0 1 0 869237369 15552512 618 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594862516 0 2147483391 16781312 2 18446744071699962003 0 0 17 4 0 0 15
/proc/2283/statm: 3797 618 322 364 0 284 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15188
[startup+1.5003 s]
/proc/loadavg: 0.72 0.17 0.06 2/447 2285
/proc/meminfo: memFree=32064020/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 1073 0 6 0 1 0 0 0 16 0 1 0 869237369 16789504 950 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699962003 0 0 17 6 0 0 22
/proc/2283/statm: 4099 950 385 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10106 s]
/proc/loadavg: 0.72 0.17 0.06 2/447 2285
/proc/meminfo: memFree=32058324/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/2283/stat : 2283 (python) R 2277 2283 2236 0 -1 4202496 1258 0 7 0 1 1 0 0 15 0 1 0 869237369 19341312 1118 33554432000 4194304 5683644 140733383636160 18446744073709551615 4562986 0 0 16781312 2 0 0 0 17 0 0 0 29
/proc/2283/statm: 4722 1118 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
heavy processes:
[startup+6.30056 s]
/proc/loadavg: 0.75 0.19 0.06 3/447 2293
/proc/meminfo: memFree=32043868/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=111976 CPUtime=0.2 cores=0,2,4,6
/proc/2283/stat : 2283 (python) D 2277 2283 2236 0 -1 4202496 4625 922 35 9 8 12 0 0 16 0 1 0 869237369 114663424 3113 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594862437 0 0 16781312 2 0 0 0 17 0 0 0 48
/proc/2283/statm: 27994 3113 901 364 0 2173 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 111976
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.85 0.22 0.07 2/447 2293
/proc/meminfo: memFree=31993976/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=261408 CPUtime=0.56 cores=0,2,4,6
/proc/2283/stat : 2283 (python) D 2277 2283 2236 0 -1 4202496 8154 922 104 9 26 30 0 0 16 0 1 0 869237369 267681792 6352 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594862437 0 0 16781312 2 0 0 0 17 0 0 0 133
/proc/2283/statm: 65352 6352 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 261408
heavy processes:
[startup+25.5011 s]
/proc/loadavg: 1.10 0.30 0.10 4/453 2301
/proc/meminfo: memFree=31941112/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=293300 CPUtime=0.68 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 9568 922 107 9 35 33 0 0 18 0 2 0 869237369 300339200 7179 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 135
/proc/2283/statm: 73325 7179 1862 364 0 8212 0
[pid=2298] ppid=2283 vsize=283056 CPUtime=0.03 cores=0,2,4,6
/proc/2298/stat : 2298 (python) S 2283 2283 2236 0 -1 4202560 913 0 0 0 1 2 0 0 15 0 1 0 869238694 289849344 5689 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594886671 0 0 16781312 33554946 1352054862967209984 0 0 17 6 0 0 0
/proc/2298/statm: 70764 5689 376 364 0 5651 0
[pid=2301] ppid=2298 vsize=29604 CPUtime=12.23 cores=0,2,4,6
/proc/2301/stat : 2301 (scip-2.0.1.linu) R 2298 2301 2301 0 -1 4202496 6563 0 0 0 1209 14 0 0 25 0 1 0 869238695 30314496 5186 33554432000 4194304 13684479 140735019588160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2301/statm: 7401 5186 804 2317 0 5079 0
[pid=2283/tid=2299] ppid=2277 vsize=293300 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2299/stat : 2299 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 18 0 2 0 869238694 300339200 7179 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.94
Current children cumulated vsize (KiB) 605960
heavy processes:
[startup+51.1006 s]
/proc/loadavg: 1.41 0.44 0.15 5/453 2302
/proc/meminfo: memFree=31941520/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=293300 CPUtime=0.68 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 9568 922 107 9 35 33 0 0 18 0 2 0 869237369 300339200 7179 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 135
/proc/2283/statm: 73325 7179 1862 364 0 8212 0
[pid=2298] ppid=2283 vsize=283056 CPUtime=0.14 cores=0,2,4,6
/proc/2298/stat : 2298 (python) S 2283 2283 2236 0 -1 4202560 926 0 0 0 6 8 0 0 15 0 1 0 869238694 289849344 5689 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594886671 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/2298/statm: 70764 5689 376 364 0 5651 0
[pid=2301] ppid=2298 vsize=29604 CPUtime=37.83 cores=0,2,4,6
/proc/2301/stat : 2301 (scip-2.0.1.linu) R 2298 2301 2301 0 -1 4202496 6575 0 0 0 3740 43 0 0 25 0 1 0 869238695 30314496 5198 33554432000 4194304 13684479 140735019588160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2301/statm: 7401 5198 806 2317 0 5079 0
[pid=2283/tid=2299] ppid=2277 vsize=293300 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2299/stat : 2299 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 18 0 2 0 869238694 300339200 7179 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.65
Current children cumulated vsize (KiB) 605960
heavy processes:
[startup+102.318 s]
/proc/loadavg: 1.74 0.68 0.25 3/461 2311
/proc/meminfo: memFree=31896736/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=304044 CPUtime=0.71 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 10419 922 107 9 38 33 0 0 20 0 3 0 869237369 311341056 7309 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 135
/proc/2283/statm: 76011 7309 1873 364 0 10895 0
[pid=2298] ppid=2283 vsize=293300 CPUtime=0.17 cores=0,2,4,6
/proc/2298/stat : 2298 (python) S 2283 2283 2236 0 -1 4202560 1090 0 0 0 8 9 0 0 16 0 2 0 869238694 300339200 5725 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2298/statm: 73325 5725 407 364 0 8212 0
[pid=2301] ppid=2298 vsize=29880 CPUtime=46.97 cores=0,2,4,6
/proc/2301/stat : 2301 (scip-2.0.1.linu) T 2298 2301 2301 0 -1 4202496 6665 0 0 0 4644 53 0 0 25 0 1 0 869238695 30597120 5288 33554432000 4194304 13684479 140735019588160 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/2301/statm: 7470 5288 813 2317 0 5148 0
[pid=2298/tid=2304] ppid=2283 vsize=293300 CPUtime=0 cores=0,2,4,6
/proc/2298/task/2304/stat : 2304 (python) S 2283 2283 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869243393 300339200 5725 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604452885097344 0 0 -1 6 0 0 0
[pid=2305] ppid=2283 vsize=293800 CPUtime=0.14 cores=0,2,4,6
/proc/2305/stat : 2305 (python) S 2283 2283 2236 0 -1 4202560 949 0 0 0 7 7 0 0 15 0 1 0 869243396 300851200 5805 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594886726 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/2305/statm: 73450 5805 373 364 0 8334 0
[pid=2307] ppid=2305 vsize=31236 CPUtime=41.99 cores=0,2,4,6
/proc/2307/stat : 2307 (scip-2.0.1.linu) R 2305 2307 2307 0 -1 4202496 17897 0 0 0 4182 17 0 0 25 0 1 0 869243400 31985664 5263 33554432000 4194304 15243407 140733560502112 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2307/statm: 7809 5263 930 2698 0 5104 0
[pid=2283/tid=2299] ppid=2277 vsize=304044 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2299/stat : 2299 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 18 0 3 0 869238694 311341056 7309 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2306] ppid=2277 vsize=304044 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2306/stat : 2306 (python) S 2277 2283 2236 0 -1 4202560 31 922 0 9 0 0 0 0 20 0 3 0 869243396 311341056 7309 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (KiB) 952260
[startup+162.301 s]
/proc/loadavg: 2.04 0.96 0.37 4/477 2329
/proc/meminfo: memFree=31826692/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=324760 CPUtime=0.77 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 12294 922 107 9 43 34 0 0 20 0 5 0 869237369 332554240 7356 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 135
/proc/2283/statm: 81190 7356 1877 364 0 16068 0
[pid=2298] ppid=2283 vsize=293300 CPUtime=0.17 cores=0,2,4,6
/proc/2298/stat : 2298 (python) S 2283 2283 2236 0 -1 4202560 1090 0 0 0 8 9 0 0 16 0 2 0 869238694 300339200 5725 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2298/statm: 73325 5725 407 364 0 8212 0
[pid=2301] ppid=2298 vsize=29880 CPUtime=46.97 cores=0,2,4,6
/proc/2301/stat : 2301 (scip-2.0.1.linu) T 2298 2301 2301 0 -1 4202496 6665 0 0 0 4644 53 0 0 25 0 1 0 869238695 30597120 5288 33554432000 4194304 13684479 140735019588160 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/2301/statm: 7470 5288 813 2317 0 5148 0
[pid=2298/tid=2304] ppid=2283 vsize=293300 CPUtime=0 cores=0,2,4,6
/proc/2298/task/2304/stat : 2304 (python) S 2283 2283 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869243393 300339200 5725 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604452885097344 0 0 -1 6 0 0 0
[pid=2305] ppid=2283 vsize=293800 CPUtime=0.17 cores=0,2,4,6
/proc/2305/stat : 2305 (python) S 2283 2283 2236 0 -1 4202560 1117 0 0 0 8 9 0 0 16 0 2 0 869243396 300851200 5830 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2305/statm: 73450 5830 397 364 0 8334 0
[pid=2307] ppid=2305 vsize=31236 CPUtime=47.14 cores=0,2,4,6
/proc/2307/stat : 2307 (scip-2.0.1.linu) T 2305 2307 2307 0 -1 4202496 17898 0 0 0 4694 20 0 0 25 0 1 0 869243400 31985664 5264 33554432000 4194304 15243407 140733560502112 18446744073709551615 8110670 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2307/statm: 7809 5264 930 2698 0 5104 0
[pid=2305/tid=2317] ppid=2283 vsize=293800 CPUtime=0 cores=0,2,4,6
/proc/2305/task/2317/stat : 2317 (python) S 2283 2283 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869248117 300851200 5830 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604449001166848 0 0 -1 6 0 0 0
[pid=2318] ppid=2283 vsize=303756 CPUtime=0.18 cores=0,2,4,6
/proc/2318/stat : 2318 (python) S 2283 2283 2236 0 -1 4202560 1176 0 0 0 9 9 0 0 16 0 2 0 869248119 311046144 5781 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2318/statm: 75939 5781 403 364 0 10820 0
[pid=2320] ppid=2318 vsize=2256 CPUtime=47.45 cores=0,2,4,6
/proc/2320/stat : 2320 (clasp-1.3.7-x86) T 2318 2320 2320 0 -1 4202496 587 0 0 0 4745 0 0 0 25 0 1 0 869248119 2310144 319 33554432000 134512640 136139019 4289855760 18446744073709551615 134831224 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/2320/statm: 564 319 184 398 0 164 0
[pid=2318/tid=2326] ppid=2283 vsize=303756 CPUtime=0 cores=0,2,4,6
/proc/2318/task/2326/stat : 2326 (python) S 2283 2283 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869252865 311046144 5781 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604446458104704 0 0 -1 6 0 0 0
[pid=2327] ppid=2283 vsize=314516 CPUtime=0.01 cores=0,2,4,6
/proc/2327/stat : 2327 (python) S 2283 2283 2236 0 -1 4202560 1025 0 0 0 1 0 0 0 15 0 1 0 869252868 322064384 5854 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594886726 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/2327/statm: 78629 5854 379 364 0 13507 0
[pid=2329] ppid=2327 vsize=28644 CPUtime=7.3 cores=0,2,4,6
################
# More data... #
################
[pid=2283/tid=2319] ppid=2277 vsize=335016 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2319/stat : 2319 (python) S 2277 2283 2236 0 -1 4202560 34 922 0 9 0 0 0 0 18 0 6 0 869248119 343056384 7382 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2328] ppid=2277 vsize=335016 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2328/stat : 2328 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 20 0 6 0 869252868 343056384 7382 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2356] ppid=2277 vsize=335016 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2356/stat : 2356 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 20 0 6 0 869262481 343056384 7382 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 272.4
Current children cumulated vsize (KiB) 10644008
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+300.202 s]
/proc/loadavg: 2.02 1.37 0.60 3/529 2456
/proc/meminfo: memFree=29917392/32950928 swapFree=34366004/67111528
[pid=2283] ppid=2277 vsize=345272 CPUtime=0.85 cores=0,2,4,6
/proc/2283/stat : 2283 (python) S 2277 2283 2236 0 -1 4202496 14042 922 107 9 51 34 0 0 19 0 7 0 869237369 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 135
/proc/2283/statm: 86318 7388 1881 364 0 21190 0
[pid=2298] ppid=2283 vsize=293300 CPUtime=0.17 cores=0,2,4,6
/proc/2298/stat : 2298 (python) S 2283 2283 2236 0 -1 4202560 1090 0 0 0 8 9 0 0 16 0 2 0 869238694 300339200 5725 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2298/statm: 73325 5725 407 364 0 8212 0
[pid=2301] ppid=2298 vsize=29880 CPUtime=46.97 cores=0,2,4,6
/proc/2301/stat : 2301 (scip-2.0.1.linu) T 2298 2301 2301 0 -1 4202496 6665 0 0 0 4644 53 0 0 25 0 1 0 869238695 30597120 5288 33554432000 4194304 13684479 140735019588160 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/2301/statm: 7470 5288 813 2317 0 5148 0
[pid=2298/tid=2304] ppid=2283 vsize=293300 CPUtime=0 cores=0,2,4,6
/proc/2298/task/2304/stat : 2304 (python) S 2283 2283 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869243393 300339200 5725 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604452885097344 0 0 -1 6 0 0 0
[pid=2305] ppid=2283 vsize=293800 CPUtime=0.17 cores=0,2,4,6
/proc/2305/stat : 2305 (python) S 2283 2283 2236 0 -1 4202560 1117 0 0 0 8 9 0 0 16 0 2 0 869243396 300851200 5830 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2305/statm: 73450 5830 397 364 0 8334 0
[pid=2307] ppid=2305 vsize=31236 CPUtime=47.14 cores=0,2,4,6
/proc/2307/stat : 2307 (scip-2.0.1.linu) T 2305 2307 2307 0 -1 4202496 17898 0 0 0 4694 20 0 0 25 0 1 0 869243400 31985664 5264 33554432000 4194304 15243407 140733560502112 18446744073709551615 8110670 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2307/statm: 7809 5264 930 2698 0 5104 0
[pid=2305/tid=2317] ppid=2283 vsize=293800 CPUtime=0 cores=0,2,4,6
/proc/2305/task/2317/stat : 2317 (python) S 2283 2283 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869248117 300851200 5830 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604449001166848 0 0 -1 6 0 0 0
[pid=2318] ppid=2283 vsize=303756 CPUtime=0.35 cores=0,2,4,6
/proc/2318/stat : 2318 (python) S 2283 2283 2236 0 -1 4202560 1206 0 0 0 18 17 0 0 15 0 2 0 869248119 311046144 5781 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2318/statm: 75939 5781 403 364 0 10820 0
[pid=2320] ppid=2318 vsize=2256 CPUtime=93.63 cores=0,2,4,6
/proc/2320/stat : 2320 (clasp-1.3.7-x86) T 2318 2320 2320 0 -1 4202496 588 0 0 0 9363 0 0 0 25 0 1 0 869248119 2310144 320 33554432000 134512640 136139019 4289855760 18446744073709551615 134875783 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/2320/statm: 564 320 184 398 0 164 0
[pid=2318/tid=2326] ppid=2283 vsize=303756 CPUtime=0 cores=0,2,4,6
/proc/2318/task/2326/stat : 2326 (python) S 2283 2283 2236 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869252865 311046144 5781 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604446458104704 0 0 -1 6 0 0 0
[pid=2327] ppid=2283 vsize=314516 CPUtime=0.2 cores=0,2,4,6
/proc/2327/stat : 2327 (python) S 2283 2283 2236 0 -1 4202560 1204 0 0 0 10 10 0 0 16 0 2 0 869252868 322064384 5879 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2327/statm: 78629 5879 403 364 0 13507 0
[pid=2329] ppid=2327 vsize=169792 CPUtime=49.89 cores=0,2,4,6
/proc/2329/stat : 2329 (wbo1.4a) T 2327 2329 2329 0 -1 4202496 42252 0 0 0 4941 48 0 0 25 0 1 0 869252868 173867008 41972 33554432000 134512640 135751879 4289700288 18446744073709551615 134616404 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/2329/statm: 42448 41972 146 303 0 42143 0
[pid=2327/tid=2332] ppid=2283 vsize=314516 CPUtime=0 cores=0,2,4,6
/proc/2327/task/2332/stat : 2332 (python) S 2283 2283 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869257858 322064384 5879 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604453667275008 0 0 -1 6 0 0 0
[pid=2355] ppid=2283 vsize=324772 CPUtime=0.18 cores=0,2,4,6
/proc/2355/stat : 2355 (python) S 2283 2283 2236 0 -1 4202560 1150 0 0 0 10 8 0 0 16 0 2 0 869262481 332566528 5897 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2355/statm: 81193 5897 397 364 0 16068 0
[pid=2357] ppid=2355 vsize=8545684 CPUtime=50.07 cores=0,2,4,6
/proc/2357/stat : 2357 (java) T 2355 2357 2357 0 -1 4202496 302137 0 1 0 4970 37 0 0 18 0 19 0 869262481 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2357/statm: 2136421 263895 2237 9 0 2127162 0
[pid=2357/tid=2358] ppid=2355 vsize=8545684 CPUtime=47.75 cores=0,2,4,6
/proc/2357/task/2358/stat : 2358 (java) T 2355 2357 2357 0 -1 4202560 249350 0 1 0 4748 27 0 0 25 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 46912505638286 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2359] ppid=2355 vsize=8545684 CPUtime=0.08 cores=0,2,4,6
/proc/2357/task/2359/stat : 2359 (java) T 2355 2357 2357 0 -1 4202560 5454 0 0 0 8 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2360] ppid=2355 vsize=8545684 CPUtime=0.08 cores=0,2,4,6
/proc/2357/task/2360/stat : 2360 (java) T 2355 2357 2357 0 -1 4202560 3904 0 0 0 8 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2357/tid=2361] ppid=2355 vsize=8545684 CPUtime=0.11 cores=0,2,4,6
/proc/2357/task/2361/stat : 2361 (java) T 2355 2357 2357 0 -1 4202560 5773 0 0 0 10 1 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2357/tid=2362] ppid=2355 vsize=8545684 CPUtime=0.08 cores=0,2,4,6
/proc/2357/task/2362/stat : 2362 (java) T 2355 2357 2357 0 -1 4202560 4309 0 0 0 8 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2363] ppid=2355 vsize=8545684 CPUtime=0.08 cores=0,2,4,6
/proc/2357/task/2363/stat : 2363 (java) T 2355 2357 2357 0 -1 4202560 4768 0 0 0 8 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2364] ppid=2355 vsize=8545684 CPUtime=0.08 cores=0,2,4,6
/proc/2357/task/2364/stat : 2364 (java) T 2355 2357 2357 0 -1 4202560 5337 0 0 0 8 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2357/tid=2365] ppid=2355 vsize=8545684 CPUtime=0.1 cores=0,2,4,6
/proc/2357/task/2365/stat : 2365 (java) T 2355 2357 2357 0 -1 4202560 5498 0 0 0 10 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2366] ppid=2355 vsize=8545684 CPUtime=0.05 cores=0,2,4,6
/proc/2357/task/2366/stat : 2366 (java) T 2355 2357 2357 0 -1 4202560 4214 0 0 0 5 0 0 0 15 0 19 0 869262482 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2357/tid=2367] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2367/stat : 2367 (java) T 2355 2357 2357 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 869262483 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2368] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2368/stat : 2368 (java) T 2355 2357 2357 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869262484 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2357/tid=2369] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2369/stat : 2369 (java) T 2355 2357 2357 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869262484 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2370] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2370/stat : 2370 (java) T 2355 2357 2357 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869262486 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2357/tid=2371] ppid=2355 vsize=8545684 CPUtime=0.63 cores=0,2,4,6
/proc/2357/task/2371/stat : 2371 (java) T 2355 2357 2357 0 -1 4202560 6016 0 0 0 63 0 0 0 15 0 19 0 869262486 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2357/tid=2372] ppid=2355 vsize=8545684 CPUtime=0.88 cores=0,2,4,6
/proc/2357/task/2372/stat : 2372 (java) T 2355 2357 2357 0 -1 4202560 5677 0 0 0 88 0 0 0 15 0 19 0 869262486 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2357/tid=2373] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2373/stat : 2373 (java) T 2355 2357 2357 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869262486 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2357/tid=2374] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2374/stat : 2374 (java) T 2355 2357 2357 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869262486 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2357/tid=2375] ppid=2355 vsize=8545684 CPUtime=0 cores=0,2,4,6
/proc/2357/task/2375/stat : 2375 (java) T 2355 2357 2357 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869262504 8750780416 263895 33554432000 1073741824 1073778376 140735231643376 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2355/tid=2426] ppid=2283 vsize=324772 CPUtime=0 cores=0,2,4,6
/proc/2355/task/2426/stat : 2426 (python) S 2283 2283 2236 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869267287 332566528 5897 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554946 18446604453985309760 0 0 -1 6 0 0 0
[pid=2427] ppid=2283 vsize=335028 CPUtime=0 cores=0,2,4,6
/proc/2427/stat : 2427 (python) S 2283 2283 2236 0 -1 4202560 826 0 0 0 0 0 0 0 15 0 1 0 869267290 343068672 5852 33554432000 4194304 5683644 140733383636160 18446744073709551615 235594886726 0 0 16781312 33554946 2354764031039897600 0 0 17 4 0 0 0
/proc/2427/statm: 83757 5852 349 364 0 18629 0
[pid=2429] ppid=2427 vsize=8537492 CPUtime=1.54 cores=0,2,4,6
/proc/2429/stat : 2429 (java) S 2427 2429 2429 0 -1 4202496 39980 0 1 0 145 9 0 0 19 0 19 0 869267290 8742391808 38384 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2429/statm: 2134373 38385 2214 9 0 2125114 0
[pid=2429/tid=2430] ppid=2427 vsize=8537492 CPUtime=1.01 cores=0,2,4,6
/proc/2429/task/2430/stat : 2430 (java) R 2427 2429 2429 0 -1 4202560 35274 0 1 0 92 9 0 0 20 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606692533 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2429/tid=2431] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2431/stat : 2431 (java) R 2427 2429 2429 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 47044029871859 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2429/tid=2432] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2432/stat : 2432 (java) R 2427 2429 2429 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 47044030684939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2429/tid=2433] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2433/stat : 2433 (java) R 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2429/tid=2434] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2434/stat : 2434 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2435] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2435/stat : 2435 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2436] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2436/stat : 2436 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2437] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2437/stat : 2437 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 6 0 0 0
[pid=2429/tid=2438] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2438/stat : 2438 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267291 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 6 0 0 0
[pid=2429/tid=2439] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2439/stat : 2439 (java) S 2427 2429 2429 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 869267293 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 0 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2440] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2440/stat : 2440 (java) S 2427 2429 2429 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869267293 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2441] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2441/stat : 2441 (java) S 2427 2429 2429 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869267293 8742391808 38855 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2442] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2442/stat : 2442 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869267295 8742391808 38858 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606690225 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2443] ppid=2427 vsize=8537492 CPUtime=0.25 cores=0,2,4,6
/proc/2429/task/2443/stat : 2443 (java) S 2427 2429 2429 0 -1 4202560 1609 0 0 0 25 0 0 0 21 0 19 0 869267295 8742391808 38863 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 2 0 0 0
[pid=2429/tid=2444] ppid=2427 vsize=8537492 CPUtime=0.28 cores=0,2,4,6
/proc/2429/task/2444/stat : 2444 (java) S 2427 2429 2429 0 -1 4202560 2076 0 0 0 28 0 0 0 15 0 19 0 869267295 8742391808 38865 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 6 0 0 0
[pid=2429/tid=2445] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2445/stat : 2445 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869267295 8742391808 38867 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606682521 0 4 0 16800975 18446604446803262336 0 0 -1 4 0 0 0
[pid=2429/tid=2446] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2446/stat : 2446 (java) S 2427 2429 2429 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869267295 8742391808 38869 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606683136 0 4 0 16800975 18446604446803262336 0 0 -1 2 0 0 0
[pid=2429/tid=2447] ppid=2427 vsize=8537492 CPUtime=0 cores=0,2,4,6
/proc/2429/task/2447/stat : 2447 (java) S 2427 2429 2429 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869267315 8742391808 38881 33554432000 1073741824 1073778376 140735093018496 18446744073709551615 235606683136 0 4 0 16800975 18446604446803262336 0 0 -1 6 0 0 0
[pid=2283/tid=2299] ppid=2277 vsize=345272 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2299/stat : 2299 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 18 0 7 0 869238694 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2306] ppid=2277 vsize=345272 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2306/stat : 2306 (python) S 2277 2283 2236 0 -1 4202560 31 922 0 9 0 0 0 0 20 0 7 0 869243396 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2319] ppid=2277 vsize=345272 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2319/stat : 2319 (python) S 2277 2283 2236 0 -1 4202560 34 922 0 9 0 0 0 0 18 0 7 0 869248119 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2328] ppid=2277 vsize=345272 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2328/stat : 2328 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 20 0 7 0 869252868 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 0 0 0 0
[pid=2283/tid=2356] ppid=2277 vsize=345272 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2356/stat : 2356 (python) S 2277 2283 2236 0 -1 4202560 28 922 0 9 0 0 0 0 20 0 7 0 869262481 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 6 0 0 0
[pid=2283/tid=2428] ppid=2277 vsize=345272 CPUtime=0 cores=0,2,4,6
/proc/2283/task/2428/stat : 2428 (python) S 2277 2283 2236 0 -1 4202560 29 922 0 9 0 0 0 0 20 0 7 0 869267290 353558528 7388 33554432000 4194304 5683644 140733383636160 18446744073709551615 235606690225 0 0 16781312 33554434 18446604453877463168 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 291.16
Current children cumulated vsize (KiB) 19526784
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 2283 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=519920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=353946
# CPU time returned by wait4() is 0.873866
# while last known CPU time is 291.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 300.288
CPU time (s): 291.16
CPU user time (s): 288.62
CPU system time (s): 2.54
CPU usage (%): 96.9602
Max. virtual memory (cumulated for all children) (KiB): 19526784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.51992
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14968
page faults= 116
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23067
involuntary context switches= 24
runsolver used 1.54276 second user time and 3.58045 second system time
The end