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-3481916-1307577330/watcher-3481916-1307577330 -o /tmp/evaluation-result-3481916-1307577330/solver-3481916-1307577330 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481916-1307577330.opb -seed 2020516160 -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.14 2.01 1.33 2/679 18781
/proc/meminfo: memFree=20775824/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/18781/stat : 18781 (python) R 18779 18781 17436 0 -1 4202496 1049 0 0 0 0 0 0 0 17 0 1 0 869332775 16625664 921 33554432000 4194304 5683644 140736939749216 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18781/statm: 4059 921 381 364 0 546 0
[startup+0.035376 s]
/proc/loadavg: 2.14 2.01 1.33 2/679 18781
/proc/meminfo: memFree=20775824/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/18781/stat : 18781 (python) R 18779 18781 17436 0 -1 4202496 1284 0 0 0 2 0 0 0 17 0 1 0 869332775 19337216 1137 33554432000 4194304 5683644 140736939749216 18446744073709551615 4539713 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18781/statm: 4721 1137 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100365 s]
/proc/loadavg: 2.14 2.01 1.33 2/679 18781
/proc/meminfo: memFree=20775824/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/18781/stat : 18781 (python) R 18779 18781 17436 0 -1 4202496 3166 934 1 0 6 1 0 0 18 0 1 0 869332775 98430976 2483 33554432000 4194304 5683644 140736939749216 18446744073709551615 5177920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18781/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300328 s]
/proc/loadavg: 2.14 2.01 1.33 2/679 18781
/proc/meminfo: memFree=20775824/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=203280 CPUtime=0.23 cores=1,3,5,7
/proc/18781/stat : 18781 (python) R 18779 18781 17436 0 -1 4202496 6710 934 1 0 17 6 0 0 17 0 1 0 869332775 208158720 4992 33554432000 4194304 5683644 140736939749216 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18781/statm: 50820 4993 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203280
[startup+0.700249 s]
/proc/loadavg: 2.14 2.01 1.33 2/679 18781
/proc/meminfo: memFree=20775824/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=293092 CPUtime=0.41 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 9701 934 1 0 32 9 0 0 19 0 2 0 869332775 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 73273 7144 1870 364 0 8160 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293092
[startup+1.50116 s]
/proc/loadavg: 2.14 2.01 1.33 3/683 18789
/proc/meminfo: memFree=20755580/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=293092 CPUtime=0.41 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 9701 934 1 0 32 9 0 0 19 0 2 0 869332775 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 73273 7144 1870 364 0 8160 0
[pid=18787] ppid=18781 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 1 0 869332826 289636352 5628 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252431 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/18787/statm: 70712 5628 358 364 0 5599 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=0.98 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) R 18787 18789 18789 0 -1 4202496 490 0 0 0 98 0 0 0 21 0 1 0 869332826 2035712 232 33554432000 134512640 136139019 4288388576 18446744073709551615 134841908 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/18789/statm: 497 232 184 398 0 97 0
[pid=18781/tid=18788] ppid=18779 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 2 0 869332826 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 577928
[startup+3.10086 s]
/proc/loadavg: 2.14 2.01 1.33 3/683 18789
/proc/meminfo: memFree=20755084/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=293092 CPUtime=0.41 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 9701 934 1 0 32 9 0 0 19 0 2 0 869332775 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 73273 7144 1870 364 0 8160 0
[pid=18787] ppid=18781 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 1 0 869332826 289636352 5628 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252431 0 0 16781312 33554946 2616212657581064192 0 0 17 3 0 0 0
/proc/18787/statm: 70712 5628 358 364 0 5599 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=2.58 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) R 18787 18789 18789 0 -1 4202496 490 0 0 0 258 0 0 0 25 0 1 0 869332826 2035712 232 33554432000 134512640 136139019 4288388576 18446744073709551615 134831589 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/18789/statm: 497 232 184 398 0 97 0
[pid=18781/tid=18788] ppid=18779 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 2 0 869332826 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 577928
[startup+6.30018 s]
/proc/loadavg: 2.13 2.01 1.34 3/683 18789
/proc/meminfo: memFree=20752912/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=293092 CPUtime=0.41 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 9701 934 1 0 32 9 0 0 19 0 2 0 869332775 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 73273 7144 1870 364 0 8160 0
[pid=18787] ppid=18781 vsize=282848 CPUtime=0.01 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 955 0 0 0 1 0 0 0 15 0 1 0 869332826 289636352 5650 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252431 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/18787/statm: 70712 5650 380 364 0 5599 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=5.77 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) R 18787 18789 18789 0 -1 4202496 493 0 0 0 577 0 0 0 25 0 1 0 869332826 2035712 235 33554432000 134512640 136139019 4288388576 18446744073709551615 134598572 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/18789/statm: 497 235 184 398 0 97 0
[pid=18781/tid=18788] ppid=18779 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 2 0 869332826 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 577928
[startup+12.701 s]
/proc/loadavg: 2.12 2.01 1.34 3/683 18789
/proc/meminfo: memFree=20755360/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=293092 CPUtime=0.41 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 9701 934 1 0 32 9 0 0 19 0 2 0 869332775 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 73273 7144 1870 364 0 8160 0
[pid=18787] ppid=18781 vsize=282848 CPUtime=0.06 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 961 0 0 0 3 3 0 0 15 0 1 0 869332826 289636352 5651 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252431 0 0 16781312 33554946 5623753486446373669 0 0 17 7 0 0 0
/proc/18787/statm: 70712 5651 381 364 0 5599 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=12.17 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) R 18787 18789 18789 0 -1 4202496 495 0 0 0 1217 0 0 0 25 0 1 0 869332826 2035712 237 33554432000 134512640 136139019 4288388576 18446744073709551615 134632440 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18789/statm: 497 237 184 398 0 97 0
[pid=18781/tid=18788] ppid=18779 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 2 0 869332826 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 577928
[startup+25.5005 s]
/proc/loadavg: 2.09 2.01 1.35 3/686 18793
/proc/meminfo: memFree=20739252/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=293092 CPUtime=0.41 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 9701 934 1 0 32 9 0 0 19 0 2 0 869332775 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 73273 7144 1870 364 0 8160 0
[pid=18787] ppid=18781 vsize=282848 CPUtime=0.1 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 964 0 0 0 5 5 0 0 15 0 1 0 869332826 289636352 5651 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252431 0 0 16781312 33554946 999950729621798912 0 0 17 7 0 0 0
/proc/18787/statm: 70712 5651 381 364 0 5599 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=24.97 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) R 18787 18789 18789 0 -1 4202496 496 0 0 0 2497 0 0 0 25 0 1 0 869332826 2035712 238 33554432000 134512640 136139019 4288388576 18446744073709551615 134891505 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/18789/statm: 497 238 184 398 0 97 0
[pid=18781/tid=18788] ppid=18779 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 2 0 869332826 300126208 7144 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 577928
[startup+51.1006 s]
/proc/loadavg: 2.06 2.01 1.37 3/686 18793
/proc/meminfo: memFree=20737024/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=303880 CPUtime=0.44 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 10487 934 1 0 34 10 0 0 20 0 3 0 869332775 311173120 7268 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 75970 7268 1873 364 0 10854 0
[pid=18787] ppid=18781 vsize=293092 CPUtime=0.22 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 1135 0 0 0 11 11 0 0 17 0 2 0 869332826 300126208 5687 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18787/statm: 73273 5687 412 364 0 8160 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=50.02 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) T 18787 18789 18789 0 -1 4202496 497 0 0 0 5002 0 0 0 25 0 1 0 869332826 2035712 239 33554432000 134512640 136139019 4288388576 18446744073709551615 134643068 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18789/statm: 497 239 184 398 0 97 0
[pid=18781/tid=18788] ppid=18779 vsize=303880 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 3 0 869332826 311173120 7268 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 598960
[startup+102.32 s]
/proc/loadavg: 2.02 2.00 1.40 3/694 18803
/proc/meminfo: memFree=20580788/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=313908 CPUtime=0.47 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 11390 934 1 0 37 10 0 0 20 0 4 0 869332775 321441792 7224 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/18781/statm: 78477 7224 1875 364 0 13358 0
[pid=18787] ppid=18781 vsize=293092 CPUtime=0.22 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 1135 0 0 0 11 11 0 0 17 0 2 0 869332826 300126208 5687 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18787/statm: 73273 5687 412 364 0 8160 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=50.02 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) T 18787 18789 18789 0 -1 4202496 497 0 0 0 5002 0 0 0 25 0 1 0 869332826 2035712 239 33554432000 134512640 136139019 4288388576 18446744073709551615 134643068 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18789/statm: 497 239 184 398 0 97 0
[pid=18787/tid=18794] ppid=18781 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (python) S 18781 18781 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869337830 300126208 5687 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554946 18446604469385462080 0 0 -1 7 0 0 0
[pid=18795] ppid=18781 vsize=293636 CPUtime=0.22 cores=1,3,5,7
/proc/18795/stat : 18795 (python) S 18781 18781 17436 0 -1 4202560 1100 0 0 0 10 12 0 0 17 0 2 0 869337832 300683264 5789 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18795/statm: 73409 5789 397 364 0 8293 0
[pid=18797] ppid=18795 vsize=133516 CPUtime=50.36 cores=1,3,5,7
/proc/18797/stat : 18797 (wbo1.4a) T 18795 18797 18797 0 -1 4202496 33180 0 0 0 4995 41 0 0 25 0 1 0 869337833 136720384 32916 33554432000 134512640 135751879 4291911472 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/18797/statm: 33379 32916 143 303 0 33074 0
[pid=18795/tid=18800] ppid=18781 vsize=293636 CPUtime=0 cores=1,3,5,7
/proc/18795/task/18800/stat : 18800 (python) S 18781 18781 17436 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869342870 300683264 5789 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554946 18446604467882837184 0 0 -1 7 0 0 0
[pid=18801] ppid=18781 vsize=303664 CPUtime=0 cores=1,3,5,7
/proc/18801/stat : 18801 (python) S 18781 18781 17436 0 -1 4202560 788 0 0 0 0 0 0 0 15 0 1 0 869342873 310951936 5694 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252486 0 0 16781312 33554946 3951373597401939968 0 0 17 5 0 0 0
/proc/18801/statm: 75916 5694 349 364 0 10797 0
[pid=18803] ppid=18801 vsize=30884 CPUtime=1.33 cores=1,3,5,7
/proc/18803/stat : 18803 (scip-2.0.1.linu) R 18801 18803 18803 0 -1 4202496 5733 0 0 0 112 21 0 0 18 0 1 0 869342873 31625216 5111 33554432000 4194304 13684479 140734535488080 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18803/statm: 7721 5111 805 2317 0 5399 0
[pid=18781/tid=18788] ppid=18779 vsize=313908 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 24 934 0 0 0 0 0 0 19 0 4 0 869332826 321441792 7224 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
[pid=18781/tid=18796] ppid=18779 vsize=313908 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18796/stat : 18796 (python) S 18779 18781 17436 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 4 0 869337833 321441792 7224 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 5 0 0 0
[pid=18781/tid=18802] ppid=18779 vsize=313908 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18802/stat : 18802 (python) S 18779 18781 17436 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 4 0 869342873 321441792 7224 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=18871/tid=18886] ppid=18869 vsize=8537388 CPUtime=0.5 cores=1,3,5,7
/proc/18871/task/18886/stat : 18886 (java) S 18869 18871 18871 0 -1 4202560 7867 0 0 0 50 0 0 0 15 0 19 0 869352877 8742285312 19149 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446604469188406208 0 0 -1 5 0 0 0
[pid=18871/tid=18887] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18887/stat : 18887 (java) S 18869 18871 18871 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869352877 8742285312 19149 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446604469188406208 0 0 -1 1 0 0 0
[pid=18871/tid=18888] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18888/stat : 18888 (java) S 18869 18871 18871 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869352877 8742285312 19149 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048896 0 4 0 16800975 18446604469188406208 0 0 -1 5 0 0 0
[pid=18871/tid=18889] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18889/stat : 18889 (java) S 18869 18871 18871 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869352888 8742285312 19149 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048896 0 4 0 16800975 18446604469188406208 0 0 -1 7 0 0 0
[pid=18781/tid=18788] ppid=18779 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 5 0 869332826 332361728 7329 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
[pid=18781/tid=18796] ppid=18779 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18796/stat : 18796 (python) S 18779 18781 17436 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 5 0 869337833 332361728 7329 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 5 0 0 0
[pid=18781/tid=18802] ppid=18779 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18802/stat : 18802 (python) S 18779 18781 17436 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 5 0 869342873 332361728 7329 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 1 0 0 0
[pid=18781/tid=18870] ppid=18779 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18870/stat : 18870 (python) S 18779 18781 17436 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 5 0 869352871 332361728 7329 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.99
Current children cumulated vsize (KiB) 10297200
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+293.601 s]
/proc/loadavg: 2.09 2.03 1.51 4/763 18940
/proc/meminfo: memFree=19068264/32950928 swapFree=38525204/67111528
[pid=18781] ppid=18779 vsize=334988 CPUtime=0.54 cores=1,3,5,7
/proc/18781/stat : 18781 (python) S 18779 18781 17436 0 -1 4202496 13140 934 1 0 44 10 0 0 20 0 6 0 869332775 343027712 7355 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18781/statm: 83747 7355 1879 364 0 18622 0
[pid=18787] ppid=18781 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/18787/stat : 18787 (python) S 18781 18781 17436 0 -1 4202560 1160 0 0 0 21 21 0 0 15 0 2 0 869332826 300126208 5688 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18787/statm: 73273 5688 413 364 0 8160 0
[pid=18789] ppid=18787 vsize=1988 CPUtime=94.22 cores=1,3,5,7
/proc/18789/stat : 18789 (clasp-1.3.7-x86) T 18787 18789 18789 0 -1 4202496 497 0 0 0 9422 0 0 0 25 0 1 0 869332826 2035712 239 33554432000 134512640 136139019 4288388576 18446744073709551615 134598960 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/18789/statm: 497 239 184 398 0 97 0
[pid=18787/tid=18794] ppid=18781 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (python) S 18781 18781 17436 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869337830 300126208 5688 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554946 18446604469385462080 0 0 -1 7 0 0 0
[pid=18795] ppid=18781 vsize=293636 CPUtime=0.22 cores=1,3,5,7
/proc/18795/stat : 18795 (python) S 18781 18781 17436 0 -1 4202560 1100 0 0 0 10 12 0 0 17 0 2 0 869337832 300683264 5789 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18795/statm: 73409 5789 397 364 0 8293 0
[pid=18797] ppid=18795 vsize=133516 CPUtime=50.36 cores=1,3,5,7
/proc/18797/stat : 18797 (wbo1.4a) T 18795 18797 18797 0 -1 4202496 33180 0 0 0 4995 41 0 0 25 0 1 0 869337833 136720384 32916 33554432000 134512640 135751879 4291911472 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/18797/statm: 33379 32916 143 303 0 33074 0
[pid=18795/tid=18800] ppid=18781 vsize=293636 CPUtime=0 cores=1,3,5,7
/proc/18795/task/18800/stat : 18800 (python) S 18781 18781 17436 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869342870 300683264 5789 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554946 18446604467882837184 0 0 -1 7 0 0 0
[pid=18801] ppid=18781 vsize=303956 CPUtime=0.42 cores=1,3,5,7
/proc/18801/stat : 18801 (python) S 18781 18781 17436 0 -1 4202560 1192 0 0 0 24 18 0 0 17 0 2 0 869342873 311250944 5768 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18801/statm: 75989 5768 399 364 0 10870 0
[pid=18803] ppid=18801 vsize=94724 CPUtime=55.72 cores=1,3,5,7
/proc/18803/stat : 18803 (scip-2.0.1.linu) T 18801 18803 18803 0 -1 4202496 55817 0 0 0 4580 992 0 0 25 0 1 0 869342873 96997376 21634 33554432000 4194304 13684479 140734535488080 18446744073709551615 4693328 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18803/statm: 23681 21634 806 2317 0 21359 0
[pid=18801/tid=18863] ppid=18781 vsize=303956 CPUtime=0 cores=1,3,5,7
/proc/18801/task/18863/stat : 18863 (python) S 18781 18781 17436 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869348446 311250944 5768 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554946 18446604465402333120 0 0 -1 7 0 0 0
[pid=18869] ppid=18781 vsize=314328 CPUtime=0.48 cores=1,3,5,7
/proc/18869/stat : 18869 (python) S 18781 18781 17436 0 -1 4202560 1151 0 0 0 22 26 0 0 16 0 2 0 869352871 321871872 5846 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18869/statm: 78582 5846 397 364 0 13460 0
[pid=18871] ppid=18869 vsize=8537388 CPUtime=93.18 cores=1,3,5,7
/proc/18871/stat : 18871 (java) T 18869 18871 18871 0 -1 4202496 71252 0 1 0 9303 15 0 0 15 0 19 0 869352872 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18871/statm: 2134347 18562 2249 9 0 2125088 0
[pid=18871/tid=18872] ppid=18869 vsize=8537388 CPUtime=89.67 cores=1,3,5,7
/proc/18871/task/18872/stat : 18872 (java) T 18869 18871 18871 0 -1 4202560 48578 0 1 0 8961 6 0 0 25 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18871/tid=18873] ppid=18869 vsize=8537388 CPUtime=0.19 cores=1,3,5,7
/proc/18871/task/18873/stat : 18873 (java) T 18869 18871 18871 0 -1 4202560 1705 0 0 0 19 0 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 47435048517879 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18871/tid=18874] ppid=18869 vsize=8537388 CPUtime=0.18 cores=1,3,5,7
/proc/18871/task/18874/stat : 18874 (java) T 18869 18871 18871 0 -1 4202560 1228 0 0 0 18 0 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18871/tid=18875] ppid=18869 vsize=8537388 CPUtime=0.17 cores=1,3,5,7
/proc/18871/task/18875/stat : 18875 (java) T 18869 18871 18871 0 -1 4202560 1194 0 0 0 17 0 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208080185655 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18871/tid=18876] ppid=18869 vsize=8537388 CPUtime=0.18 cores=1,3,5,7
/proc/18871/task/18876/stat : 18876 (java) T 18869 18871 18871 0 -1 4202560 1165 0 0 0 18 0 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 47435049067682 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18871/tid=18877] ppid=18869 vsize=8537388 CPUtime=0.17 cores=1,3,5,7
/proc/18871/task/18877/stat : 18877 (java) T 18869 18871 18871 0 -1 4202560 1389 0 0 0 17 0 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208080185655 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18878] ppid=18869 vsize=8537388 CPUtime=0.21 cores=1,3,5,7
/proc/18871/task/18878/stat : 18878 (java) T 18869 18871 18871 0 -1 4202560 794 0 0 0 20 1 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208080185655 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18871/tid=18879] ppid=18869 vsize=8537388 CPUtime=0.19 cores=1,3,5,7
/proc/18871/task/18879/stat : 18879 (java) T 18869 18871 18871 0 -1 4202560 1439 0 0 0 19 0 0 0 16 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208080185655 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18880] ppid=18869 vsize=8537388 CPUtime=0.16 cores=1,3,5,7
/proc/18871/task/18880/stat : 18880 (java) T 18869 18871 18871 0 -1 4202560 1368 0 0 0 16 0 0 0 15 0 19 0 869352873 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208080185655 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18871/tid=18881] ppid=18869 vsize=8537388 CPUtime=1.12 cores=1,3,5,7
/proc/18871/task/18881/stat : 18881 (java) T 18869 18871 18871 0 -1 4202560 1538 0 0 0 110 2 0 0 15 0 19 0 869352874 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18882] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18882/stat : 18882 (java) T 18869 18871 18871 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869352875 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18883] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18883/stat : 18883 (java) T 18869 18871 18871 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869352875 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18884] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18884/stat : 18884 (java) T 18869 18871 18871 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869352877 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18885] ppid=18869 vsize=8537388 CPUtime=0.31 cores=1,3,5,7
/proc/18871/task/18885/stat : 18885 (java) T 18869 18871 18871 0 -1 4202560 1593 0 0 0 31 0 0 0 15 0 19 0 869352877 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18871/tid=18886] ppid=18869 vsize=8537388 CPUtime=0.5 cores=1,3,5,7
/proc/18871/task/18886/stat : 18886 (java) T 18869 18871 18871 0 -1 4202560 7867 0 0 0 50 0 0 0 15 0 19 0 869352877 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18871/tid=18887] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18887/stat : 18887 (java) T 18869 18871 18871 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869352877 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18871/tid=18888] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18888/stat : 18888 (java) T 18869 18871 18871 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869352877 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18871/tid=18889] ppid=18869 vsize=8537388 CPUtime=0 cores=1,3,5,7
/proc/18871/task/18889/stat : 18889 (java) T 18869 18871 18871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869352888 8742285312 18562 33554432000 1073741824 1073778376 140736145756512 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18869/tid=18919] ppid=18781 vsize=314328 CPUtime=0 cores=1,3,5,7
/proc/18869/task/18919/stat : 18919 (python) S 18781 18781 17436 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869362037 321871872 5846 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554946 18446604471128849408 0 0 -1 7 0 0 0
[pid=18920] ppid=18781 vsize=324744 CPUtime=0 cores=1,3,5,7
/proc/18920/stat : 18920 (python) S 18781 18781 17436 0 -1 4202560 809 0 0 0 0 0 0 0 15 0 1 0 869362039 332537856 5821 33554432000 4194304 5683644 140736939749216 18446744073709551615 208080252486 0 0 16781312 33554946 423202661186142208 0 0 17 3 0 0 0
/proc/18920/statm: 81186 5821 349 364 0 16061 0
[pid=18922] ppid=18920 vsize=8545100 CPUtime=1.95 cores=1,3,5,7
/proc/18922/stat : 18922 (java) S 18920 18922 18922 0 -1 4202496 47599 0 1 0 189 6 0 0 21 0 19 0 869362039 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/18922/statm: 2136275 42975 2232 9 0 2127016 0
[pid=18922/tid=18923] ppid=18920 vsize=8545100 CPUtime=0.96 cores=1,3,5,7
/proc/18922/task/18923/stat : 18923 (java) R 18920 18922 18922 0 -1 4202560 35243 0 1 0 92 4 0 0 25 0 19 0 869362040 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 46912505562916 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18922/tid=18924] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18924/stat : 18924 (java) S 18920 18922 18922 0 -1 4202560 178 0 0 0 0 0 0 0 17 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 7 0 0 0
[pid=18922/tid=18925] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18925/stat : 18925 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 3 0 0 0
[pid=18922/tid=18926] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18926/stat : 18926 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 3 0 0 0
[pid=18922/tid=18927] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18927/stat : 18927 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 3 0 0 0
[pid=18922/tid=18928] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18928/stat : 18928 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 3 0 0 0
[pid=18922/tid=18929] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18929/stat : 18929 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 3 0 0 0
[pid=18922/tid=18930] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18930/stat : 18930 (java) S 18920 18922 18922 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 5 0 0 0
[pid=18922/tid=18931] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18931/stat : 18931 (java) S 18920 18922 18922 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 19 0 869362041 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 3 0 0 0
[pid=18922/tid=18932] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18932/stat : 18932 (java) S 18920 18922 18922 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869362042 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048896 0 0 0 16800975 18446604464758494528 0 0 -1 5 0 0 0
[pid=18922/tid=18933] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18933/stat : 18933 (java) S 18920 18922 18922 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869362042 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 7 0 0 0
[pid=18922/tid=18934] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18934/stat : 18934 (java) S 18920 18922 18922 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869362042 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 7 0 0 0
[pid=18922/tid=18935] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18935/stat : 18935 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869362044 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092055985 0 4 0 16800975 18446604464758494528 0 0 -1 7 0 0 0
[pid=18922/tid=18936] ppid=18920 vsize=8545100 CPUtime=0.5 cores=1,3,5,7
/proc/18922/task/18936/stat : 18936 (java) S 18920 18922 18922 0 -1 4202560 5434 0 0 0 50 0 0 0 16 0 19 0 869362044 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 5 0 0 0
[pid=18922/tid=18937] ppid=18920 vsize=8545100 CPUtime=0.45 cores=1,3,5,7
/proc/18922/task/18937/stat : 18937 (java) S 18920 18922 18922 0 -1 4202560 5059 0 0 0 45 0 0 0 24 0 19 0 869362044 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 1 0 0 0
[pid=18922/tid=18938] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18938/stat : 18938 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869362044 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048281 0 4 0 16800975 18446604464758494528 0 0 -1 7 0 0 0
[pid=18922/tid=18939] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18939/stat : 18939 (java) S 18920 18922 18922 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869362044 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048896 0 4 0 16800975 18446604464758494528 0 0 -1 1 0 0 0
[pid=18922/tid=18940] ppid=18920 vsize=8545100 CPUtime=0 cores=1,3,5,7
/proc/18922/task/18940/stat : 18940 (java) S 18920 18922 18922 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869362056 8750182400 42975 33554432000 1073741824 1073778376 140735940152832 18446744073709551615 208092048896 0 4 0 16800975 18446604464758494528 0 0 -1 1 0 0 0
[pid=18781/tid=18788] ppid=18779 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18788/stat : 18788 (python) S 18779 18781 17436 0 -1 4202560 29 934 0 0 0 0 0 0 18 0 6 0 869332826 343027712 7355 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
[pid=18781/tid=18796] ppid=18779 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18796/stat : 18796 (python) S 18779 18781 17436 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 6 0 869337833 343027712 7355 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 5 0 0 0
[pid=18781/tid=18802] ppid=18779 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18802/stat : 18802 (python) S 18779 18781 17436 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 6 0 869342873 343027712 7355 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 1 0 0 0
[pid=18781/tid=18870] ppid=18779 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18870/stat : 18870 (python) S 18779 18781 17436 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 6 0 869352871 343027712 7355 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 7 0 0 0
[pid=18781/tid=18921] ppid=18779 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/18781/task/18921/stat : 18921 (python) S 18779 18781 17436 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 6 0 869362039 343027712 7355 33554432000 4194304 5683644 140736939749216 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469385462976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 297.51
Current children cumulated vsize (KiB) 19177460
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 18781 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=444932
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=109983
# CPU time returned by wait4() is 0.554915
# while last known CPU time is 297.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 293.685
CPU time (s): 297.51
CPU user time (s): 286.1
CPU system time (s): 11.41
CPU usage (%): 101.302
Max. virtual memory (cumulated for all children) (KiB): 19177460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.444932
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14077
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= 1011
involuntary context switches= 18
runsolver used 1.86772 second user time and 4.05338 second system time
The end