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-3481485-1307577886/watcher-3481485-1307577886 -o /tmp/evaluation-result-3481485-1307577886/solver-3481485-1307577886 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481485-1307577886.opb -seed 1342833978 -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.09 2.10 1.65 3/770 23184
/proc/meminfo: memFree=18736784/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/23184/stat : 23184 (python) R 23182 23184 21667 0 -1 4202496 1051 0 0 0 0 0 0 0 17 0 1 0 948019296 16633856 923 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415391488 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23184/statm: 4061 923 381 364 0 548 0
[startup+0.117995 s]
/proc/loadavg: 2.09 2.10 1.65 3/770 23184
/proc/meminfo: memFree=18736784/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 3245 926 1 0 6 2 0 0 18 0 1 0 948019296 98430976 2483 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23184/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.20126 s]
/proc/loadavg: 2.09 2.10 1.65 3/770 23184
/proc/meminfo: memFree=18736784/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=123740 CPUtime=0.13 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 5356 926 1 0 9 4 0 0 17 0 1 0 948019296 126709760 3744 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23184/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123740
[startup+0.301058 s]
/proc/loadavg: 2.09 2.10 1.65 3/770 23184
/proc/meminfo: memFree=18736784/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=193292 CPUtime=0.21 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 6573 926 1 0 15 6 0 0 17 0 1 0 948019296 197931008 4866 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23184/statm: 48323 4866 1417 364 0 3676 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 193292
[startup+0.700814 s]
/proc/loadavg: 2.09 2.10 1.65 3/770 23184
/proc/meminfo: memFree=18736784/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=293564 CPUtime=0.46 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 10845 1343 1 0 34 11 1 0 20 0 2 0 948019296 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 73391 7245 1871 364 0 8278 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293564
[startup+1.50067 s]
/proc/loadavg: 2.08 2.10 1.65 3/774 23193
/proc/meminfo: memFree=18686896/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=293564 CPUtime=0.46 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 10845 1343 1 0 34 11 1 0 20 0 2 0 948019296 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 73391 7245 1871 364 0 8278 0
[pid=23191] ppid=23184 vsize=283320 CPUtime=0 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 1 0 948019354 290119680 5696 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411727 0 0 16781312 33554946 1175121275731836928 0 0 17 3 0 0 0
/proc/23191/statm: 70830 5696 325 364 0 5717 0
[pid=23193] ppid=23191 vsize=40300 CPUtime=0.91 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) R 23191 23193 23193 0 -1 4202496 9455 0 0 0 69 22 0 0 18 0 1 0 948019354 41267200 7748 33554432000 4194304 13684479 140735375896048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23193/statm: 10075 7748 781 2317 0 7753 0
[pid=23184/tid=23192] ppid=23182 vsize=293564 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 2 0 948019354 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 617184
[startup+3.10036 s]
/proc/loadavg: 2.08 2.10 1.65 3/774 23193
/proc/meminfo: memFree=18677704/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=293564 CPUtime=0.46 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 10845 1343 1 0 34 11 1 0 20 0 2 0 948019296 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 73391 7245 1871 364 0 8278 0
[pid=23191] ppid=23184 vsize=283320 CPUtime=0 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 1 0 948019354 290119680 5696 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411727 0 0 16781312 33554946 2157660341079638016 0 0 17 3 0 0 0
/proc/23191/statm: 70830 5696 325 364 0 5717 0
[pid=23193] ppid=23191 vsize=41804 CPUtime=2.51 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) R 23191 23193 23193 0 -1 4202496 9774 0 0 0 225 26 0 0 18 0 1 0 948019354 42807296 8052 33554432000 4194304 13684479 140735375896048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23193/statm: 10451 8052 779 2317 0 8129 0
[pid=23184/tid=23192] ppid=23182 vsize=293564 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 2 0 948019354 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 618688
[startup+6.30075 s]
/proc/loadavg: 2.08 2.10 1.65 3/774 23193
/proc/meminfo: memFree=18677028/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=293564 CPUtime=0.46 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 10845 1343 1 0 34 11 1 0 20 0 2 0 948019296 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 73391 7245 1871 364 0 8278 0
[pid=23191] ppid=23184 vsize=283320 CPUtime=0.02 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 958 0 0 0 1 1 0 0 15 0 1 0 948019354 290119680 5719 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411727 0 0 16781312 33554946 171302915175088128 0 0 17 7 0 0 0
/proc/23191/statm: 70830 5719 348 364 0 5717 0
[pid=23193] ppid=23191 vsize=44044 CPUtime=5.71 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) R 23191 23193 23193 0 -1 4202496 10511 0 0 0 536 35 0 0 19 0 1 0 948019354 45101056 8789 33554432000 4194304 13684479 140735375896048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23193/statm: 11011 8789 784 2317 0 8689 0
[pid=23184/tid=23192] ppid=23182 vsize=293564 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 2 0 948019354 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 620928
[startup+12.7005 s]
/proc/loadavg: 2.07 2.10 1.66 3/774 23193
/proc/meminfo: memFree=18673444/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=293564 CPUtime=0.46 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 10845 1343 1 0 34 11 1 0 20 0 2 0 948019296 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 73391 7245 1871 364 0 8278 0
[pid=23191] ppid=23184 vsize=283320 CPUtime=0.05 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 962 0 0 0 2 3 0 0 15 0 1 0 948019354 290119680 5719 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411727 0 0 16781312 33554946 2717102843818409984 0 0 17 3 0 0 0
/proc/23191/statm: 70830 5719 348 364 0 5717 0
[pid=23193] ppid=23191 vsize=46476 CPUtime=12.11 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) R 23191 23193 23193 0 -1 4202496 11140 0 0 0 1149 62 0 0 25 0 1 0 948019354 47591424 9416 33554432000 4194304 13684479 140735375896048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23193/statm: 11619 9416 801 2317 0 9297 0
[pid=23184/tid=23192] ppid=23182 vsize=293564 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 2 0 948019354 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 623360
[startup+25.5011 s]
/proc/loadavg: 2.06 2.09 1.66 3/774 23193
/proc/meminfo: memFree=18664432/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=293564 CPUtime=0.46 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 10845 1343 1 0 34 11 1 0 20 0 2 0 948019296 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23184/statm: 73391 7245 1871 364 0 8278 0
[pid=23191] ppid=23184 vsize=283320 CPUtime=0.11 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 971 0 0 0 4 7 0 0 15 0 1 0 948019354 290119680 5719 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411727 0 0 16781312 33554946 3088614882107457536 0 0 17 7 0 0 0
/proc/23191/statm: 70830 5719 348 364 0 5717 0
[pid=23193] ppid=23191 vsize=56224 CPUtime=24.91 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) R 23191 23193 23193 0 -1 4202496 13145 0 0 0 2377 114 0 0 25 0 1 0 948019354 57573376 11421 33554432000 4194304 13684479 140735375896048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23193/statm: 14056 11421 826 2317 0 11734 0
[pid=23184/tid=23192] ppid=23182 vsize=293564 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 2 0 948019354 300609536 7245 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 633108
[startup+51.1012 s]
/proc/loadavg: 2.04 2.08 1.67 3/796 23216
/proc/meminfo: memFree=18493552/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=304324 CPUtime=0.48 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 11661 1343 1 0 36 11 1 0 20 0 3 0 948019296 311627776 7380 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23184/statm: 76081 7380 1874 364 0 10965 0
[pid=23191] ppid=23184 vsize=293564 CPUtime=0.25 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 1187 0 0 0 11 14 0 0 16 0 2 0 948019354 300609536 5787 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/23191/statm: 73391 5787 411 364 0 8278 0
[pid=23193] ppid=23191 vsize=56224 CPUtime=47.82 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) T 23191 23193 23193 0 -1 4202496 13494 0 0 0 4608 174 0 0 25 0 1 0 948019354 57573376 11751 33554432000 4194304 13684479 140735375896048 18446744073709551615 7361277 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23193/statm: 14056 11751 826 2317 0 11734 0
[pid=23191/tid=23195] ppid=23184 vsize=293564 CPUtime=0 cores=1,3,5,7
/proc/23191/task/23195/stat : 23195 (python) S 23184 23184 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948024137 300609536 5787 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554946 18446604456198824320 0 0 -1 1 0 0 0
[pid=23196] ppid=23184 vsize=294080 CPUtime=0 cores=1,3,5,7
/proc/23196/stat : 23196 (python) S 23184 23184 21667 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 948024140 301137920 5822 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411782 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/23196/statm: 73520 5822 320 364 0 8404 0
[pid=23198] ppid=23196 vsize=8538800 CPUtime=3.23 cores=1,3,5,7
/proc/23198/stat : 23198 (java) S 23196 23198 23198 0 -1 4202496 46128 0 1 0 317 6 0 0 17 0 19 0 948024140 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23198/statm: 2134700 43107 2242 9 0 2125441 0
[pid=23198/tid=23199] ppid=23196 vsize=8538800 CPUtime=2.52 cores=1,3,5,7
/proc/23198/task/23199/stat : 23199 (java) R 23196 23198 23198 0 -1 4202560 35227 0 1 0 247 5 0 0 25 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 46912505835528 0 4 0 16800975 0 0 0 -1 5 0 0 4
[pid=23198/tid=23200] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23200/stat : 23200 (java) S 23196 23198 23198 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23201] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23201/stat : 23201 (java) S 23196 23198 23198 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 7 0 0 0
[pid=23198/tid=23202] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23202/stat : 23202 (java) S 23196 23198 23198 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23203] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23203/stat : 23203 (java) S 23196 23198 23198 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23204] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23204/stat : 23204 (java) S 23196 23198 23198 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 7 0 0 0
[pid=23198/tid=23205] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23205/stat : 23205 (java) S 23196 23198 23198 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23206] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23206/stat : 23206 (java) S 23196 23198 23198 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23207] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23207/stat : 23207 (java) S 23196 23198 23198 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 948024141 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23208] ppid=23196 vsize=8538800 CPUtime=0.02 cores=1,3,5,7
/proc/23198/task/23208/stat : 23208 (java) S 23196 23198 23198 0 -1 4202560 679 0 0 0 2 0 0 0 16 0 19 0 948024142 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427208192 0 0 0 16800975 18446604456198826112 0 0 -1 5 0 0 0
[pid=23198/tid=23209] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23209/stat : 23209 (java) S 23196 23198 23198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948024143 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 7 0 0 0
[pid=23198/tid=23210] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23210/stat : 23210 (java) S 23196 23198 23198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948024143 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 7 0 0 0
[pid=23198/tid=23211] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23211/stat : 23211 (java) S 23196 23198 23198 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948024145 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427215281 0 4 0 16800975 18446604456198826112 0 0 -1 7 0 0 0
[pid=23198/tid=23212] ppid=23196 vsize=8538800 CPUtime=0.34 cores=1,3,5,7
/proc/23198/task/23212/stat : 23212 (java) S 23196 23198 23198 0 -1 4202560 2662 0 0 0 34 0 0 0 15 0 19 0 948024145 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 1 0 0 0
[pid=23198/tid=23213] ppid=23196 vsize=8538800 CPUtime=0.3 cores=1,3,5,7
/proc/23198/task/23213/stat : 23213 (java) S 23196 23198 23198 0 -1 4202560 5086 0 0 0 30 0 0 0 15 0 19 0 948024145 8743731200 43107 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446604456198826112 0 0 -1 3 0 0 0
[pid=23198/tid=23214] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=23233/tid=23247] ppid=23231 vsize=8544944 CPUtime=0.42 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23231 23233 23233 0 -1 4202560 4701 0 0 0 42 0 0 0 19 0 19 0 948038375 8750022656 25944 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 5 0 0 0
[pid=23233/tid=23248] ppid=23231 vsize=8544944 CPUtime=0.45 cores=1,3,5,7
/proc/23233/task/23248/stat : 23248 (java) S 23231 23233 23233 0 -1 4202560 4635 0 0 0 45 0 0 0 17 0 19 0 948038375 8750022656 25947 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23249] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23249/stat : 23249 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948038375 8750022656 25949 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23250] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 948038375 8750022656 25951 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427208192 0 4 0 16800975 18446604466956471040 0 0 -1 3 0 0 0
[pid=23233/tid=23251] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 948038395 8750022656 25952 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427208192 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 6 0 948019354 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 6 0 948024140 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 7 0 0 0
[pid=23184/tid=23221] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23221/stat : 23221 (python) S 23182 23184 21667 0 -1 4202560 28 1343 0 0 0 0 1 0 20 0 6 0 948028863 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 5 0 0 0
[pid=23184/tid=23226] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23226/stat : 23226 (python) S 23182 23184 21667 0 -1 4202560 28 1343 0 0 0 0 1 0 20 0 6 0 948033724 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 5 0 0 0
[pid=23184/tid=23232] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23232/stat : 23232 (python) S 23182 23184 21667 0 -1 4202560 31 1343 0 0 0 0 1 0 20 0 6 0 948038369 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.89
Current children cumulated vsize (KiB) 19178776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+191.401 s]
/proc/loadavg: 2.00 2.05 1.71 4/827 23251
/proc/meminfo: memFree=18207328/32950928 swapFree=50514916/67111528
[pid=23184] ppid=23182 vsize=335304 CPUtime=0.57 cores=1,3,5,7
/proc/23184/stat : 23184 (python) S 23182 23184 21667 0 -1 4202496 14333 1343 1 0 44 12 1 0 19 0 6 0 948019296 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23184/statm: 83826 7454 1880 364 0 18701 0
[pid=23191] ppid=23184 vsize=293564 CPUtime=0.25 cores=1,3,5,7
/proc/23191/stat : 23191 (python) S 23184 23184 21667 0 -1 4202560 1187 0 0 0 11 14 0 0 16 0 2 0 948019354 300609536 5787 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/23191/statm: 73391 5787 411 364 0 8278 0
[pid=23193] ppid=23191 vsize=56224 CPUtime=47.82 cores=1,3,5,7
/proc/23193/stat : 23193 (scip-2.0.1.linu) T 23191 23193 23193 0 -1 4202496 13494 0 0 0 4608 174 0 0 25 0 1 0 948019354 57573376 11751 33554432000 4194304 13684479 140735375896048 18446744073709551615 7361277 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23193/statm: 14056 11751 826 2317 0 11734 0
[pid=23191/tid=23195] ppid=23184 vsize=293564 CPUtime=0 cores=1,3,5,7
/proc/23191/task/23195/stat : 23195 (python) S 23184 23184 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948024137 300609536 5787 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554946 18446604456198824320 0 0 -1 1 0 0 0
[pid=23196] ppid=23184 vsize=294080 CPUtime=0.25 cores=1,3,5,7
/proc/23196/stat : 23196 (python) S 23184 23184 21667 0 -1 4202560 1113 0 0 0 12 13 0 0 16 0 2 0 948024140 301137920 5894 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23196/statm: 73520 5894 391 364 0 8404 0
[pid=23198] ppid=23196 vsize=8538800 CPUtime=48.06 cores=1,3,5,7
/proc/23198/stat : 23198 (java) T 23196 23198 23198 0 -1 4202496 70232 0 1 0 4794 12 0 0 15 0 19 0 948024140 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23198/statm: 2134700 48963 2242 9 0 2125441 0
[pid=23198/tid=23199] ppid=23196 vsize=8538800 CPUtime=46.17 cores=1,3,5,7
/proc/23198/task/23199/stat : 23199 (java) T 23196 23198 23198 0 -1 4202560 46288 0 1 0 4611 6 0 0 25 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 46912505621620 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=23198/tid=23200] ppid=23196 vsize=8538800 CPUtime=0.09 cores=1,3,5,7
/proc/23198/task/23200/stat : 23200 (java) T 23196 23198 23198 0 -1 4202560 1558 0 0 0 9 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23201] ppid=23196 vsize=8538800 CPUtime=0.07 cores=1,3,5,7
/proc/23198/task/23201/stat : 23201 (java) T 23196 23198 23198 0 -1 4202560 1692 0 0 0 7 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23202] ppid=23196 vsize=8538800 CPUtime=0.06 cores=1,3,5,7
/proc/23198/task/23202/stat : 23202 (java) T 23196 23198 23198 0 -1 4202560 1355 0 0 0 6 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23203] ppid=23196 vsize=8538800 CPUtime=0.07 cores=1,3,5,7
/proc/23198/task/23203/stat : 23203 (java) T 23196 23198 23198 0 -1 4202560 1210 0 0 0 7 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23204] ppid=23196 vsize=8538800 CPUtime=0.08 cores=1,3,5,7
/proc/23198/task/23204/stat : 23204 (java) T 23196 23198 23198 0 -1 4202560 1670 0 0 0 8 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23198/tid=23205] ppid=23196 vsize=8538800 CPUtime=0.09 cores=1,3,5,7
/proc/23198/task/23205/stat : 23205 (java) T 23196 23198 23198 0 -1 4202560 1812 0 0 0 9 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23198/tid=23206] ppid=23196 vsize=8538800 CPUtime=0.07 cores=1,3,5,7
/proc/23198/task/23206/stat : 23206 (java) T 23196 23198 23198 0 -1 4202560 1242 0 0 0 7 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23198/tid=23207] ppid=23196 vsize=8538800 CPUtime=0.08 cores=1,3,5,7
/proc/23198/task/23207/stat : 23207 (java) T 23196 23198 23198 0 -1 4202560 1730 0 0 0 8 0 0 0 15 0 19 0 948024141 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23198/tid=23208] ppid=23196 vsize=8538800 CPUtime=0.51 cores=1,3,5,7
/proc/23198/task/23208/stat : 23208 (java) T 23196 23198 23198 0 -1 4202560 2528 0 0 0 49 2 0 0 15 0 19 0 948024142 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23198/tid=23209] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23209/stat : 23209 (java) T 23196 23198 23198 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948024143 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23210] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23210/stat : 23210 (java) T 23196 23198 23198 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948024143 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23211] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23211/stat : 23211 (java) T 23196 23198 23198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948024145 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23212] ppid=23196 vsize=8538800 CPUtime=0.36 cores=1,3,5,7
/proc/23198/task/23212/stat : 23212 (java) T 23196 23198 23198 0 -1 4202560 2669 0 0 0 36 0 0 0 15 0 19 0 948024145 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23198/tid=23213] ppid=23196 vsize=8538800 CPUtime=0.31 cores=1,3,5,7
/proc/23198/task/23213/stat : 23213 (java) T 23196 23198 23198 0 -1 4202560 5086 0 0 0 31 0 0 0 15 0 19 0 948024145 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23198/tid=23214] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23214/stat : 23214 (java) T 23196 23198 23198 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948024145 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23198/tid=23215] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23215/stat : 23215 (java) T 23196 23198 23198 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948024145 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23198/tid=23216] ppid=23196 vsize=8538800 CPUtime=0 cores=1,3,5,7
/proc/23198/task/23216/stat : 23216 (java) T 23196 23198 23198 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948024173 8743731200 48963 33554432000 1073741824 1073778376 140734164861728 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23196/tid=23219] ppid=23184 vsize=294080 CPUtime=0 cores=1,3,5,7
/proc/23196/task/23219/stat : 23219 (python) S 23184 23184 21667 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948028861 301137920 5894 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554946 18446604459961792320 0 0 -1 7 0 0 0
[pid=23220] ppid=23184 vsize=304152 CPUtime=0.28 cores=1,3,5,7
/proc/23220/stat : 23220 (python) S 23184 23184 21667 0 -1 4202560 1118 0 0 0 15 13 0 0 16 0 2 0 948028863 311451648 5836 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23220/statm: 76038 5836 391 364 0 10919 0
[pid=23222] ppid=23220 vsize=47628 CPUtime=48.47 cores=1,3,5,7
/proc/23222/stat : 23222 (scip-2.0.1.linu) T 23220 23222 23222 0 -1 4202496 13707 0 0 0 4799 48 0 0 25 0 1 0 948028864 48771072 8950 33554432000 4194304 15243407 140733228639168 18446744073709551615 8112832 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/23222/statm: 11907 8950 946 2698 0 9202 0
[pid=23220/tid=23224] ppid=23184 vsize=304152 CPUtime=0 cores=1,3,5,7
/proc/23220/task/23224/stat : 23224 (python) S 23184 23184 21667 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948033721 311451648 5836 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554946 18446604462061743168 0 0 -1 5 0 0 0
[pid=23225] ppid=23184 vsize=314804 CPUtime=0.23 cores=1,3,5,7
/proc/23225/stat : 23225 (python) S 23184 23184 21667 0 -1 4202560 1136 0 0 0 12 11 0 0 17 0 2 0 948033724 322359296 5939 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23225/statm: 78701 5939 391 364 0 13579 0
[pid=23227] ppid=23225 vsize=124216 CPUtime=46.41 cores=1,3,5,7
/proc/23227/stat : 23227 (wbo1.4a) T 23225 23227 23227 0 -1 4202496 30886 0 0 0 4608 33 0 0 25 0 1 0 948033724 127197184 30595 33554432000 134512640 135751879 4292678320 18446744073709551615 134616776 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/23227/statm: 31054 30595 146 303 0 30749 0
[pid=23225/tid=23230] ppid=23184 vsize=314804 CPUtime=0 cores=1,3,5,7
/proc/23225/task/23230/stat : 23230 (python) S 23184 23184 21667 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948038366 322359296 5939 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127731008 0 0 -1 1 0 0 0
[pid=23231] ppid=23184 vsize=325060 CPUtime=0 cores=1,3,5,7
/proc/23231/stat : 23231 (python) S 23184 23184 21667 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 948038369 332861440 5890 33554432000 4194304 5683644 140735144723216 18446744073709551615 256415411782 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/23231/statm: 81265 5890 320 364 0 16140 0
[pid=23233] ppid=23231 vsize=8544944 CPUtime=1.55 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23231 23233 23233 0 -1 4202496 29449 0 1 0 151 4 0 0 17 0 19 0 948038369 8750022656 25665 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23233/statm: 2136236 25667 2215 9 0 2126977 0
[pid=23233/tid=23234] ppid=23231 vsize=8544944 CPUtime=0.65 cores=1,3,5,7
/proc/23233/task/23234/stat : 23234 (java) R 23231 23233 23233 0 -1 4202560 18959 0 1 0 63 2 0 0 25 0 19 0 948038371 8750022656 25905 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 46912505605169 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23233/tid=23235] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23235/stat : 23235 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948038371 8750022656 25909 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23236] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25913 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23237] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25916 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23238] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25919 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23239] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25923 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23240] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23240/stat : 23240 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25926 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23241] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25929 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23242] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23242/stat : 23242 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038371 8750022656 25931 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23233/tid=23243] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23243/stat : 23243 (java) S 23231 23233 23233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 948038372 8750022656 25934 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427208192 0 0 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23244] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23244/stat : 23244 (java) S 23231 23233 23233 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 948038373 8750022656 25937 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23245] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 948038373 8750022656 25940 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23246] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23246/stat : 23246 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948038375 8750022656 25942 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427215281 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23247] ppid=23231 vsize=8544944 CPUtime=0.42 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23231 23233 23233 0 -1 4202560 4701 0 0 0 42 0 0 0 19 0 19 0 948038375 8750022656 25944 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 5 0 0 0
[pid=23233/tid=23248] ppid=23231 vsize=8544944 CPUtime=0.45 cores=1,3,5,7
/proc/23233/task/23248/stat : 23248 (java) S 23231 23233 23233 0 -1 4202560 4635 0 0 0 45 0 0 0 17 0 19 0 948038375 8750022656 25947 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23249] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23249/stat : 23249 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948038375 8750022656 25949 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427207577 0 4 0 16800975 18446604466956471040 0 0 -1 1 0 0 0
[pid=23233/tid=23250] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 948038375 8750022656 25951 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427208192 0 4 0 16800975 18446604466956471040 0 0 -1 3 0 0 0
[pid=23233/tid=23251] ppid=23231 vsize=8544944 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 948038395 8750022656 25952 33554432000 1073741824 1073778376 140735229661792 18446744073709551615 256427208192 0 4 0 16800975 18446604466956471040 0 0 -1 7 0 0 0
[pid=23184/tid=23192] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23192/stat : 23192 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 6 0 948019354 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 3 0 0 0
[pid=23184/tid=23197] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23197/stat : 23197 (python) S 23182 23184 21667 0 -1 4202560 24 1343 0 0 0 0 1 0 20 0 6 0 948024140 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 7 0 0 0
[pid=23184/tid=23221] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23221/stat : 23221 (python) S 23182 23184 21667 0 -1 4202560 28 1343 0 0 0 0 1 0 20 0 6 0 948028863 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 5 0 0 0
[pid=23184/tid=23226] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23226/stat : 23226 (python) S 23182 23184 21667 0 -1 4202560 28 1343 0 0 0 0 1 0 20 0 6 0 948033724 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 5 0 0 0
[pid=23184/tid=23232] ppid=23182 vsize=335304 CPUtime=0.01 cores=1,3,5,7
/proc/23184/task/23232/stat : 23232 (python) S 23182 23184 21667 0 -1 4202560 31 1343 0 0 0 0 1 0 20 0 6 0 948038369 343351296 7454 33554432000 4194304 5683644 140735144723216 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467667160128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.89
Current children cumulated vsize (KiB) 19178776
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23184 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=454930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=129980
# CPU time returned by wait4() is 0.58491
# while last known CPU time is 193.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 191.488
CPU time (s): 193.89
CPU user time (s): 190.55
CPU system time (s): 3.34
CPU usage (%): 101.254
Max. virtual memory (cumulated for all children) (KiB): 19178776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45493
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15678
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= 1987
involuntary context switches= 23
runsolver used 1.3158 second user time and 2.84057 second system time
The end