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-3481905-1307577369/watcher-3481905-1307577369 -o /tmp/evaluation-result-3481905-1307577369/solver-3481905-1307577369 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481905-1307577369.opb -seed 1719461105 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.95 1.32 2/528 30557
/proc/meminfo: memFree=21021200/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/30557/stat : 30557 (python) R 30555 30557 30366 0 -1 4202496 1045 0 0 0 0 0 0 0 17 0 1 0 850152465 16625664 916 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095144916 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30557/statm: 4059 916 381 364 0 546 0
[startup+0.099443 s]
/proc/loadavg: 2.00 1.95 1.32 2/528 30557
/proc/meminfo: memFree=21021200/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/30557/stat : 30557 (python) R 30555 30557 30366 0 -1 4202496 2598 0 0 0 4 1 0 0 17 0 1 0 850152465 87412736 2317 33554432000 4194304 5683644 140737026112032 18446744073709551615 5214048 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30557/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.100441 s]
/proc/loadavg: 2.00 1.95 1.32 2/528 30557
/proc/meminfo: memFree=21021200/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/30557/stat : 30557 (python) R 30555 30557 30366 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 850152465 87674880 2382 33554432000 4194304 5683644 140737026112032 18446744073709551615 4539126 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30557/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300408 s]
/proc/loadavg: 2.00 1.95 1.32 2/528 30557
/proc/meminfo: memFree=21021200/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 5358 934 1 0 11 4 0 0 17 0 1 0 850152465 126709760 3744 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095447045 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/30557/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.70037 s]
/proc/loadavg: 2.00 1.95 1.32 2/528 30557
/proc/meminfo: memFree=21021200/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=282400 CPUtime=0.42 cores=0,2,4,6
/proc/30557/stat : 30557 (python) R 30555 30557 30366 0 -1 4202496 9119 934 1 0 29 13 0 0 16 0 1 0 850152465 289177600 6979 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095109911 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/30557/statm: 70600 6979 1816 364 0 5493 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282400
[startup+1.50122 s]
/proc/loadavg: 2.00 1.95 1.32 3/532 30565
/proc/meminfo: memFree=20993780/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 9704 934 1 0 32 13 0 0 18 0 2 0 850152465 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30557/statm: 73272 7142 1870 364 0 8159 0
[pid=30563] ppid=30557 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 831 0 0 0 0 0 0 0 15 0 1 0 850152537 289632256 5626 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471119 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/30563/statm: 70711 5626 358 364 0 5598 0
[pid=30565] ppid=30563 vsize=1860 CPUtime=0.76 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) R 30563 30565 30565 0 -1 4202496 482 0 0 0 76 0 0 0 21 0 1 0 850152538 1904640 228 33554432000 134512640 136139019 4293106688 18446744073709551615 134640601 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/30565/statm: 465 228 184 398 0 65 0
[pid=30557/tid=30564] ppid=30555 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 2 0 850152538 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 577792
[startup+3.10096 s]
/proc/loadavg: 2.00 1.95 1.32 3/532 30565
/proc/meminfo: memFree=20995392/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 9704 934 1 0 32 13 0 0 18 0 2 0 850152465 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30557/statm: 73272 7142 1870 364 0 8159 0
[pid=30563] ppid=30557 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 831 0 0 0 0 0 0 0 15 0 1 0 850152537 289632256 5626 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471119 0 0 16781312 33554946 1706605577188147200 0 0 17 6 0 0 0
/proc/30563/statm: 70711 5626 358 364 0 5598 0
[pid=30565] ppid=30563 vsize=1860 CPUtime=2.36 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) R 30563 30565 30565 0 -1 4202496 482 0 0 0 236 0 0 0 25 0 1 0 850152538 1904640 228 33554432000 134512640 136139019 4293106688 18446744073709551615 134640610 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/30565/statm: 465 228 184 398 0 65 0
[pid=30557/tid=30564] ppid=30555 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 2 0 850152538 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 577792
[startup+6.30037 s]
/proc/loadavg: 2.00 1.95 1.32 3/532 30566
/proc/meminfo: memFree=20990680/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 9704 934 1 0 32 13 0 0 18 0 2 0 850152465 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30557/statm: 73272 7142 1870 364 0 8159 0
[pid=30563] ppid=30557 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 965 0 0 0 1 1 0 0 15 0 1 0 850152537 289632256 5649 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471119 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/30563/statm: 70711 5649 381 364 0 5598 0
[pid=30565] ppid=30563 vsize=1988 CPUtime=5.56 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) R 30563 30565 30565 0 -1 4202496 484 0 0 0 556 0 0 0 25 0 1 0 850152538 2035712 230 33554432000 134512640 136139019 4293106688 18446744073709551615 134599070 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/30565/statm: 497 230 184 398 0 97 0
[pid=30557/tid=30564] ppid=30555 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 2 0 850152538 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 577920
[startup+12.7012 s]
/proc/loadavg: 2.00 1.95 1.32 3/532 30566
/proc/meminfo: memFree=20981276/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 9704 934 1 0 32 13 0 0 18 0 2 0 850152465 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30557/statm: 73272 7142 1870 364 0 8159 0
[pid=30563] ppid=30557 vsize=282844 CPUtime=0.04 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 968 0 0 0 3 1 0 0 15 0 1 0 850152537 289632256 5649 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471119 0 0 16781312 33554946 880911364506255360 0 0 17 6 0 0 0
/proc/30563/statm: 70711 5649 381 364 0 5598 0
[pid=30565] ppid=30563 vsize=1988 CPUtime=11.96 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) R 30563 30565 30565 0 -1 4202496 485 0 0 0 1196 0 0 0 25 0 1 0 850152538 2035712 231 33554432000 134512640 136139019 4293106688 18446744073709551615 134640601 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/30565/statm: 497 231 184 398 0 97 0
[pid=30557/tid=30564] ppid=30555 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 2 0 850152538 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 577920
[startup+25.5009 s]
/proc/loadavg: 2.00 1.95 1.33 3/532 30566
/proc/meminfo: memFree=20971068/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 9704 934 1 0 32 13 0 0 18 0 2 0 850152465 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30557/statm: 73272 7142 1870 364 0 8159 0
[pid=30563] ppid=30557 vsize=282844 CPUtime=0.1 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 972 0 0 0 5 5 0 0 15 0 1 0 850152537 289632256 5649 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471119 0 0 16781312 33554946 72556772316949194 0 0 17 6 0 0 0
/proc/30563/statm: 70711 5649 381 364 0 5598 0
[pid=30565] ppid=30563 vsize=1988 CPUtime=24.76 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) R 30563 30565 30565 0 -1 4202496 485 0 0 0 2476 0 0 0 25 0 1 0 850152538 2035712 231 33554432000 134512640 136139019 4293106688 18446744073709551615 134632417 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/30565/statm: 497 231 184 398 0 97 0
[pid=30557/tid=30564] ppid=30555 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 2 0 850152538 300122112 7142 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 577920
[startup+51.1012 s]
/proc/loadavg: 2.07 1.97 1.36 3/536 30571
/proc/meminfo: memFree=20932808/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=303872 CPUtime=0.47 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 10498 934 1 0 34 13 0 0 20 0 3 0 850152465 311164928 7266 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30557/statm: 75968 7266 1873 364 0 10852 0
[pid=30563] ppid=30557 vsize=293088 CPUtime=0.2 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 1140 0 0 0 10 10 0 0 17 0 2 0 850152537 300122112 5685 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30563/statm: 73272 5685 412 364 0 8159 0
[pid=30565] ppid=30563 vsize=1988 CPUtime=46.41 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) T 30563 30565 30565 0 -1 4202496 485 0 0 0 4641 0 0 0 25 0 1 0 850152538 2035712 231 33554432000 134512640 136139019 4293106688 18446744073709551615 134871014 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/30565/statm: 497 231 184 398 0 97 0
[pid=30563/tid=30568] ppid=30557 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30563/task/30568/stat : 30568 (python) S 30557 30557 30366 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850157180 300122112 5685 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604446605829312 0 0 -1 6 0 0 0
[pid=30569] ppid=30557 vsize=293628 CPUtime=0.01 cores=0,2,4,6
/proc/30569/stat : 30569 (python) S 30557 30557 30366 0 -1 4202560 927 0 0 0 0 1 0 0 15 0 1 0 850157182 300675072 5762 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471174 0 0 16781312 33554946 18179938338755019010 0 0 17 6 0 0 0
/proc/30569/statm: 73407 5762 373 364 0 8291 0
[pid=30571] ppid=30569 vsize=15864 CPUtime=3.91 cores=0,2,4,6
/proc/30571/stat : 30571 (wbo1.4a) R 30569 30571 30571 0 -1 4202496 3804 0 0 0 388 3 0 0 25 0 1 0 850157182 16244736 3537 33554432000 134512640 135751879 4288228368 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/30571/statm: 3966 3537 143 303 0 3661 0
[pid=30557/tid=30564] ppid=30555 vsize=303872 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 3 0 850152538 311164928 7266 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
[pid=30557/tid=30570] ppid=30555 vsize=303872 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30570/stat : 30570 (python) S 30555 30557 30366 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 3 0 850157182 311164928 7266 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 908440
[startup+102.32 s]
/proc/loadavg: 2.03 1.97 1.39 3/540 30576
/proc/meminfo: memFree=20711536/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=313904 CPUtime=0.5 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 11404 934 1 0 36 14 0 0 20 0 4 0 850152465 321437696 7217 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/30557/statm: 78476 7217 1875 364 0 13357 0
[pid=30563] ppid=30557 vsize=293088 CPUtime=0.2 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 1140 0 0 0 10 10 0 0 17 0 2 0 850152537 300122112 5685 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30563/statm: 73272 5685 412 364 0 8159 0
[pid=30565] ppid=30563 vsize=1988 CPUtime=46.41 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) T 30563 30565 30565 0 -1 4202496 485 0 0 0 4641 0 0 0 25 0 1 0 850152538 2035712 231 33554432000 134512640 136139019 4293106688 18446744073709551615 134871014 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/30565/statm: 497 231 184 398 0 97 0
[pid=30563/tid=30568] ppid=30557 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30563/task/30568/stat : 30568 (python) S 30557 30557 30366 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850157180 300122112 5685 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604446605829312 0 0 -1 6 0 0 0
[pid=30569] ppid=30557 vsize=293628 CPUtime=0.21 cores=0,2,4,6
/proc/30569/stat : 30569 (python) S 30557 30557 30366 0 -1 4202560 1115 0 0 0 11 10 0 0 16 0 2 0 850157182 300675072 5787 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30569/statm: 73407 5787 397 364 0 8291 0
[pid=30571] ppid=30569 vsize=120384 CPUtime=46.99 cores=0,2,4,6
/proc/30571/stat : 30571 (wbo1.4a) T 30569 30571 30571 0 -1 4202496 29922 0 0 0 4668 31 0 0 25 0 1 0 850157182 123273216 29655 33554432000 134512640 135751879 4288228368 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/30571/statm: 30096 29655 143 303 0 29791 0
[pid=30569/tid=30573] ppid=30557 vsize=293628 CPUtime=0 cores=0,2,4,6
/proc/30569/task/30573/stat : 30573 (python) S 30557 30557 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850161882 300675072 5787 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604444623112320 0 0 -1 6 0 0 0
[pid=30574] ppid=30557 vsize=303660 CPUtime=0.06 cores=0,2,4,6
/proc/30574/stat : 30574 (python) S 30557 30557 30366 0 -1 4202560 948 0 0 0 4 2 0 0 15 0 1 0 850161885 310947840 5712 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471174 0 0 16781312 33554946 3342117565747953664 0 0 17 0 0 0 0
################
# More data... #
################
[pid=30640/tid=30655] ppid=30638 vsize=8537244 CPUtime=0.51 cores=0,2,4,6
/proc/30640/task/30655/stat : 30655 (java) S 30638 30640 30640 0 -1 4202560 6316 0 0 0 50 1 0 0 15 0 19 0 850171669 8742137856 24890 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446604450831868288 0 0 -1 2 0 0 0
[pid=30640/tid=30656] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30656/stat : 30656 (java) S 30638 30640 30640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850171669 8742137856 24890 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446604450831868288 0 0 -1 2 0 0 0
[pid=30640/tid=30657] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30657/stat : 30657 (java) S 30638 30640 30640 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850171669 8742137856 24890 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107267584 0 4 0 16800975 18446604450831868288 0 0 -1 4 0 0 0
[pid=30640/tid=30658] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30658/stat : 30658 (java) S 30638 30640 30640 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 850171679 8742137856 24890 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107267584 0 4 0 16800975 18446604450831868288 0 0 -1 4 0 0 0
[pid=30557/tid=30564] ppid=30555 vsize=324564 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 5 0 850152538 332353536 7327 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
[pid=30557/tid=30570] ppid=30555 vsize=324564 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30570/stat : 30570 (python) S 30555 30557 30366 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 5 0 850157182 332353536 7327 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 4 0 0 0
[pid=30557/tid=30575] ppid=30555 vsize=324564 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30575/stat : 30575 (python) S 30555 30557 30366 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 5 0 850161885 332353536 7327 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 6 0 0 0
[pid=30557/tid=30639] ppid=30555 vsize=324564 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30639/stat : 30639 (python) S 30555 30557 30366 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 5 0 850171663 332353536 7327 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 284.74
Current children cumulated vsize (KiB) 10263700
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+287.002 s]
/proc/loadavg: 2.16 2.03 1.51 4/600 30950
/proc/meminfo: memFree=19607208/32951124 swapFree=57370024/67111528
[pid=30557] ppid=30555 vsize=334820 CPUtime=0.58 cores=0,2,4,6
/proc/30557/stat : 30557 (python) S 30555 30557 30366 0 -1 4202496 13119 934 1 0 44 14 0 0 20 0 6 0 850152465 342855680 7333 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30557/statm: 83705 7333 1879 364 0 18580 0
[pid=30563] ppid=30557 vsize=293088 CPUtime=0.42 cores=0,2,4,6
/proc/30563/stat : 30563 (python) S 30557 30557 30366 0 -1 4202560 1163 0 0 0 22 20 0 0 16 0 2 0 850152537 300122112 5686 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30563/statm: 73272 5686 413 364 0 8159 0
[pid=30565] ppid=30563 vsize=1988 CPUtime=92.63 cores=0,2,4,6
/proc/30565/stat : 30565 (clasp-1.3.7-x86) T 30563 30565 30565 0 -1 4202496 485 0 0 0 9263 0 0 0 25 0 1 0 850152538 2035712 231 33554432000 134512640 136139019 4293106688 18446744073709551615 134828686 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/30565/statm: 497 231 184 398 0 97 0
[pid=30563/tid=30568] ppid=30557 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/30563/task/30568/stat : 30568 (python) S 30557 30557 30366 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 850157180 300122112 5686 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604446605829312 0 0 -1 6 0 0 0
[pid=30569] ppid=30557 vsize=293628 CPUtime=0.21 cores=0,2,4,6
/proc/30569/stat : 30569 (python) S 30557 30557 30366 0 -1 4202560 1115 0 0 0 11 10 0 0 16 0 2 0 850157182 300675072 5787 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30569/statm: 73407 5787 397 364 0 8291 0
[pid=30571] ppid=30569 vsize=120384 CPUtime=46.99 cores=0,2,4,6
/proc/30571/stat : 30571 (wbo1.4a) T 30569 30571 30571 0 -1 4202496 29922 0 0 0 4668 31 0 0 25 0 1 0 850157182 123273216 29655 33554432000 134512640 135751879 4288228368 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/30571/statm: 30096 29655 143 303 0 29791 0
[pid=30569/tid=30573] ppid=30557 vsize=293628 CPUtime=0 cores=0,2,4,6
/proc/30569/task/30573/stat : 30573 (python) S 30557 30557 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850161882 300675072 5787 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604444623112320 0 0 -1 6 0 0 0
[pid=30574] ppid=30557 vsize=303940 CPUtime=0.45 cores=0,2,4,6
/proc/30574/stat : 30574 (python) S 30557 30557 30366 0 -1 4202560 1216 0 0 0 29 16 0 0 17 0 2 0 850161885 311234560 5777 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/30574/statm: 75985 5777 399 364 0 10866 0
[pid=30576] ppid=30574 vsize=74544 CPUtime=51.5 cores=0,2,4,6
/proc/30576/stat : 30576 (scip-2.0.1.linu) T 30574 30576 30576 0 -1 4202496 63670 0 0 0 4841 309 0 0 18 0 1 0 850161885 76333056 16587 33554432000 4194304 13684479 140735633735568 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/30576/statm: 18636 16587 810 2317 0 16314 0
[pid=30574/tid=30613] ppid=30557 vsize=303940 CPUtime=0 cores=0,2,4,6
/proc/30574/task/30613/stat : 30613 (python) S 30557 30557 30366 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850167037 311234560 5777 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604450266571136 0 0 -1 2 0 0 0
[pid=30638] ppid=30557 vsize=314320 CPUtime=0.47 cores=0,2,4,6
/proc/30638/stat : 30638 (python) S 30557 30557 30366 0 -1 4202560 1168 0 0 0 25 22 0 0 16 0 2 0 850171663 321863680 5853 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30638/statm: 78580 5853 406 364 0 13458 0
[pid=30640] ppid=30638 vsize=8537244 CPUtime=95.37 cores=0,2,4,6
/proc/30640/stat : 30640 (java) T 30638 30640 30640 0 -1 4202496 59656 0 1 0 9519 18 0 0 18 0 19 0 850171663 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30640/statm: 2134311 23576 2248 9 0 2125052 0
[pid=30640/tid=30641] ppid=30638 vsize=8537244 CPUtime=92.18 cores=0,2,4,6
/proc/30640/task/30641/stat : 30641 (java) T 30638 30640 30640 0 -1 4202560 42893 0 1 0 9209 9 0 0 19 0 19 0 850171664 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30642] ppid=30638 vsize=8537244 CPUtime=0.15 cores=0,2,4,6
/proc/30640/task/30642/stat : 30642 (java) T 30638 30640 30640 0 -1 4202560 701 0 0 0 15 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30643] ppid=30638 vsize=8537244 CPUtime=0.16 cores=0,2,4,6
/proc/30640/task/30643/stat : 30643 (java) T 30638 30640 30640 0 -1 4202560 787 0 0 0 16 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30644] ppid=30638 vsize=8537244 CPUtime=0.12 cores=0,2,4,6
/proc/30640/task/30644/stat : 30644 (java) T 30638 30640 30640 0 -1 4202560 731 0 0 0 12 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30640/tid=30645] ppid=30638 vsize=8537244 CPUtime=0.15 cores=0,2,4,6
/proc/30640/task/30645/stat : 30645 (java) T 30638 30640 30640 0 -1 4202560 873 0 0 0 15 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30646] ppid=30638 vsize=8537244 CPUtime=0.13 cores=0,2,4,6
/proc/30640/task/30646/stat : 30646 (java) T 30638 30640 30640 0 -1 4202560 908 0 0 0 13 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30647] ppid=30638 vsize=8537244 CPUtime=0.18 cores=0,2,4,6
/proc/30640/task/30647/stat : 30647 (java) T 30638 30640 30640 0 -1 4202560 890 0 0 0 18 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30648] ppid=30638 vsize=8537244 CPUtime=0.16 cores=0,2,4,6
/proc/30640/task/30648/stat : 30648 (java) T 30638 30640 30640 0 -1 4202560 705 0 0 0 16 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 47526124134647 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30649] ppid=30638 vsize=8537244 CPUtime=0.14 cores=0,2,4,6
/proc/30640/task/30649/stat : 30649 (java) T 30638 30640 30640 0 -1 4202560 781 0 0 0 14 0 0 0 15 0 19 0 850171665 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30650] ppid=30638 vsize=8537244 CPUtime=1.14 cores=0,2,4,6
/proc/30640/task/30650/stat : 30650 (java) T 30638 30640 30640 0 -1 4202560 1457 0 0 0 110 4 0 0 15 0 19 0 850171666 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30651] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30651/stat : 30651 (java) T 30638 30640 30640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850171666 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30652] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30652/stat : 30652 (java) T 30638 30640 30640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850171666 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30653] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30653/stat : 30653 (java) T 30638 30640 30640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850171669 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30654] ppid=30638 vsize=8537244 CPUtime=0.25 cores=0,2,4,6
/proc/30640/task/30654/stat : 30654 (java) T 30638 30640 30640 0 -1 4202560 1218 0 0 0 25 0 0 0 15 0 19 0 850171669 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30655] ppid=30638 vsize=8537244 CPUtime=0.51 cores=0,2,4,6
/proc/30640/task/30655/stat : 30655 (java) T 30638 30640 30640 0 -1 4202560 6316 0 0 0 50 1 0 0 15 0 19 0 850171669 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30656] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30656/stat : 30656 (java) T 30638 30640 30640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850171669 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30640/tid=30657] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30657/stat : 30657 (java) T 30638 30640 30640 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850171669 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30640/tid=30658] ppid=30638 vsize=8537244 CPUtime=0 cores=0,2,4,6
/proc/30640/task/30658/stat : 30658 (java) T 30638 30640 30640 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850171679 8742137856 23576 33554432000 1073741824 1073778376 140733574256016 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=30638/tid=30929] ppid=30557 vsize=314320 CPUtime=0 cores=0,2,4,6
/proc/30638/task/30929/stat : 30929 (python) S 30557 30557 30366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850181077 321863680 5853 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453944153088 0 0 -1 4 0 0 0
[pid=30930] ppid=30557 vsize=324576 CPUtime=0 cores=0,2,4,6
/proc/30930/stat : 30930 (python) S 30557 30557 30366 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 1 0 850181079 332365824 5799 33554432000 4194304 5683644 140737026112032 18446744073709551615 228095471174 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/30930/statm: 81144 5799 349 364 0 16019 0
[pid=30932] ppid=30930 vsize=8546556 CPUtime=1.94 cores=0,2,4,6
/proc/30932/stat : 30932 (java) S 30930 30932 30932 0 -1 4202496 47509 0 1 0 187 7 0 0 20 0 19 0 850181079 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30932/statm: 2136639 42582 2234 9 0 2127380 0
[pid=30932/tid=30933] ppid=30930 vsize=8546556 CPUtime=0.86 cores=0,2,4,6
/proc/30932/task/30933/stat : 30933 (java) R 30930 30932 30932 0 -1 4202560 35282 0 1 0 81 5 0 0 18 0 19 0 850181080 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 46912505544379 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30932/tid=30934] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30934/stat : 30934 (java) S 30930 30932 30932 0 -1 4202560 251 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30935] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30935/stat : 30935 (java) S 30930 30932 30932 0 -1 4202560 145 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30936] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30936/stat : 30936 (java) S 30930 30932 30932 0 -1 4202560 69 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30937] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30937/stat : 30937 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30938] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30938/stat : 30938 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30939] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30939/stat : 30939 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 6 0 0 0
[pid=30932/tid=30940] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30940/stat : 30940 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30941] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30941/stat : 30941 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181081 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 6 0 0 0
[pid=30932/tid=30942] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30942/stat : 30942 (java) S 30930 30932 30932 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 19 0 850181082 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107267584 0 0 0 16800975 18446604453963141504 0 0 -1 6 0 0 0
[pid=30932/tid=30943] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30943/stat : 30943 (java) S 30930 30932 30932 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850181083 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30944] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30944/stat : 30944 (java) S 30930 30932 30932 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850181083 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30945] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30945/stat : 30945 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181085 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107274673 0 4 0 16800975 18446604453963141504 0 0 -1 6 0 0 0
[pid=30932/tid=30946] ppid=30930 vsize=8546556 CPUtime=0.57 cores=0,2,4,6
/proc/30932/task/30946/stat : 30946 (java) S 30930 30932 30932 0 -1 4202560 5122 0 0 0 57 0 0 0 25 0 19 0 850181085 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 0 0 0 0
[pid=30932/tid=30947] ppid=30930 vsize=8546556 CPUtime=0.48 cores=0,2,4,6
/proc/30932/task/30947/stat : 30947 (java) S 30930 30932 30932 0 -1 4202560 5232 0 0 0 47 1 0 0 16 0 19 0 850181085 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30932/tid=30948] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30948/stat : 30948 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181085 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107266969 0 4 0 16800975 18446604453963141504 0 0 -1 6 0 0 0
[pid=30932/tid=30949] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30949/stat : 30949 (java) S 30930 30932 30932 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181085 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107267584 0 4 0 16800975 18446604453963141504 0 0 -1 2 0 0 0
[pid=30932/tid=30950] ppid=30930 vsize=8546556 CPUtime=0 cores=0,2,4,6
/proc/30932/task/30950/stat : 30950 (java) S 30930 30932 30932 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850181096 8751673344 42582 33554432000 1073741824 1073778376 140736173616400 18446744073709551615 228107267584 0 4 0 16800975 18446604453963141504 0 0 -1 4 0 0 0
[pid=30557/tid=30564] ppid=30555 vsize=334820 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30564/stat : 30564 (python) S 30555 30557 30366 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 6 0 850152538 342855680 7333 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 2 0 0 0
[pid=30557/tid=30570] ppid=30555 vsize=334820 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30570/stat : 30570 (python) S 30555 30557 30366 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 6 0 850157182 342855680 7333 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 4 0 0 0
[pid=30557/tid=30575] ppid=30555 vsize=334820 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30575/stat : 30575 (python) S 30555 30557 30366 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 6 0 850161885 342855680 7333 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 6 0 0 0
[pid=30557/tid=30639] ppid=30555 vsize=334820 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30639/stat : 30639 (python) S 30555 30557 30366 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 6 0 850171663 342855680 7333 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 4 0 0 0
[pid=30557/tid=30931] ppid=30555 vsize=334820 CPUtime=0 cores=0,2,4,6
/proc/30557/task/30931/stat : 30931 (python) S 30555 30557 30366 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 6 0 850181079 342855680 7333 33554432000 4194304 5683644 140737026112032 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450266573824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 290.56
Current children cumulated vsize (KiB) 19145088
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 30557 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=442932
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=147977
# CPU time returned by wait4() is 0.590909
# while last known CPU time is 290.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 287.086
CPU time (s): 290.56
CPU user time (s): 286.09
CPU system time (s): 4.47
CPU usage (%): 101.21
Max. virtual memory (cumulated for all children) (KiB): 19145088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.442932
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14055
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= 2872
involuntary context switches= 21
runsolver used 1.89871 second user time and 3.9554 second system time
The end