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-3481937-1307577034/watcher-3481937-1307577034 -o /tmp/evaluation-result-3481937-1307577034/solver-3481937-1307577034 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481937-1307577034.opb -seed 1843381376 -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.07 1.83 1.03 3/587 28032
/proc/meminfo: memFree=18562296/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/28032/stat : 28032 (python) R 28030 28032 27575 0 -1 4202496 1042 0 0 0 1 0 0 0 23 0 1 0 850119108 16633856 913 33554432000 4194304 5683644 140733320713744 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28032/statm: 4061 913 380 364 0 548 0
[startup+0.111835 s]
/proc/loadavg: 2.07 1.83 1.03 3/587 28032
/proc/meminfo: memFree=18562296/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=94064 CPUtime=0.07 cores=0,2,4,6
/proc/28032/stat : 28032 (python) R 28030 28032 27575 0 -1 4202496 2937 463 1 0 5 2 0 0 18 0 1 0 850119108 96321536 2478 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726063828 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28032/statm: 23516 2478 788 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94064
[startup+0.200807 s]
/proc/loadavg: 2.07 1.83 1.03 3/587 28032
/proc/meminfo: memFree=18562296/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=119988 CPUtime=0.13 cores=0,2,4,6
/proc/28032/stat : 28032 (python) S 28030 28032 27575 0 -1 4202496 4928 930 1 0 9 4 0 0 17 0 1 0 850119108 122867712 3351 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/28032/statm: 29997 3351 919 364 0 2446 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119988
[startup+0.300826 s]
/proc/loadavg: 2.07 1.83 1.03 3/587 28032
/proc/meminfo: memFree=18562296/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/28032/stat : 28032 (python) R 28030 28032 27575 0 -1 4202496 5358 930 1 0 12 5 0 0 17 0 1 0 850119108 126713856 3744 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726401029 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28032/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.70074 s]
/proc/loadavg: 2.07 1.83 1.03 3/587 28032
/proc/meminfo: memFree=18562296/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=284568 CPUtime=0.43 cores=0,2,4,6
/proc/28032/stat : 28032 (python) R 28030 28032 27575 0 -1 4202496 9615 930 1 0 31 12 0 0 16 0 1 0 850119108 291397632 7476 33554432000 4194304 5683644 140733320713744 18446744073709551615 264725765872 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28032/statm: 71142 7476 1781 364 0 6035 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 284568
[startup+1.50061 s]
/proc/loadavg: 2.07 1.84 1.03 3/588 28037
/proc/meminfo: memFree=18525212/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=295764 CPUtime=1.24 cores=0,2,4,6
/proc/28032/stat : 28032 (python) R 28030 28032 27575 0 -1 4202496 14780 930 1 0 111 13 0 0 16 0 1 0 850119108 302862336 10288 33554432000 4194304 5683644 140733320713744 18446744073709551615 4523423 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/28032/statm: 73941 10288 1816 364 0 8834 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 295764
[startup+3.10127 s]
/proc/loadavg: 2.07 1.84 1.03 3/608 28057
/proc/meminfo: memFree=18416788/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=307284 CPUtime=1.41 cores=0,2,4,6
/proc/28032/stat : 28032 (python) S 28030 28032 27575 0 -1 4202496 15380 930 1 0 128 13 0 0 19 0 2 0 850119108 314658816 10659 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28032/statm: 76821 10659 1870 364 0 11708 0
[pid=28038] ppid=28032 vsize=297040 CPUtime=0 cores=0,2,4,6
/proc/28038/stat : 28038 (python) S 28032 28032 27575 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 850119275 304168960 9136 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726425103 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/28038/statm: 74260 9136 351 364 0 9147 0
[pid=28040] ppid=28038 vsize=8541152 CPUtime=2.32 cores=0,2,4,6
/proc/28040/stat : 28040 (java) S 28038 28040 28040 0 -1 4202496 43942 0 1 0 227 5 0 0 19 0 19 0 850119276 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28040/statm: 2135288 40907 2249 9 0 2126029 0
[pid=28040/tid=28041] ppid=28038 vsize=8541152 CPUtime=1.4 cores=0,2,4,6
/proc/28040/task/28041/stat : 28041 (java) R 28038 28040 28040 0 -1 4202560 35272 0 1 0 136 4 0 0 20 0 19 0 850119276 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 46912505791501 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28040/tid=28042] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28042/stat : 28042 (java) S 28038 28040 28040 0 -1 4202560 398 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28043] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28043/stat : 28043 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28040/tid=28044] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28044/stat : 28044 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28045] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28045/stat : 28045 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28046] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28046/stat : 28046 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28040/tid=28047] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28047/stat : 28047 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28048] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28048/stat : 28048 (java) S 28038 28040 28040 0 -1 4202560 297 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28049] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28049/stat : 28049 (java) S 28038 28040 28040 0 -1 4202560 367 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28040/tid=28050] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28050/stat : 28050 (java) S 28038 28040 28040 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 850119278 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 0 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28040/tid=28051] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28051/stat : 28051 (java) S 28038 28040 28040 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850119278 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28052] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28052/stat : 28052 (java) S 28038 28040 28040 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 850119278 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28053] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28053/stat : 28053 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850119280 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738228657 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28054] ppid=28038 vsize=8541152 CPUtime=0.41 cores=0,2,4,6
/proc/28040/task/28054/stat : 28054 (java) R 28038 28040 28040 0 -1 4202560 3598 0 0 0 41 0 0 0 19 0 19 0 850119280 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 47086158429321 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28040/tid=28055] ppid=28038 vsize=8541152 CPUtime=0.46 cores=0,2,4,6
/proc/28040/task/28055/stat : 28055 (java) R 28038 28040 28040 0 -1 4202560 2556 0 0 0 46 0 0 0 15 0 19 0 850119280 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 47086164383398 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28040/tid=28056] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28056/stat : 28056 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850119280 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28057] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28057/stat : 28057 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850119280 8746139648 40907 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 4 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28032/tid=28039] ppid=28030 vsize=307284 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28039/stat : 28039 (python) S 28030 28032 27575 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 850119276 314658816 10659 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9145476
[startup+6.30169 s]
/proc/loadavg: 2.07 1.84 1.03 3/609 28058
/proc/meminfo: memFree=18291168/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=307284 CPUtime=1.41 cores=0,2,4,6
/proc/28032/stat : 28032 (python) S 28030 28032 27575 0 -1 4202496 15380 930 1 0 128 13 0 0 19 0 2 0 850119108 314658816 10659 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28032/statm: 76821 10659 1870 364 0 11708 0
[pid=28038] ppid=28032 vsize=297040 CPUtime=0.01 cores=0,2,4,6
/proc/28038/stat : 28038 (python) S 28032 28032 27575 0 -1 4202560 912 0 0 0 0 1 0 0 15 0 1 0 850119275 304168960 9160 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726425103 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/28038/statm: 74260 9160 375 364 0 9147 0
[pid=28040] ppid=28038 vsize=8541152 CPUtime=5.69 cores=0,2,4,6
/proc/28040/stat : 28040 (java) S 28038 28040 28040 0 -1 4202496 61220 0 1 0 561 8 0 0 19 0 19 0 850119276 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28040/statm: 2135288 57743 2261 9 0 2126029 0
[pid=28040/tid=28041] ppid=28038 vsize=8541152 CPUtime=4.53 cores=0,2,4,6
/proc/28040/task/28041/stat : 28041 (java) R 28038 28040 28040 0 -1 4202560 35279 0 1 0 449 4 0 0 25 0 19 0 850119276 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 46912505886791 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28040/tid=28042] ppid=28038 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/28040/task/28042/stat : 28042 (java) S 28038 28040 28040 0 -1 4202560 2828 0 0 0 1 0 0 0 16 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28043] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28043/stat : 28043 (java) S 28038 28040 28040 0 -1 4202560 3717 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28044] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28044/stat : 28044 (java) S 28038 28040 28040 0 -1 4202560 2737 0 0 0 0 0 0 0 16 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 2 0 0 0
[pid=28040/tid=28045] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28045/stat : 28045 (java) S 28038 28040 28040 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28046] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28046/stat : 28046 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28047] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28047/stat : 28047 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28048] ppid=28038 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/28040/task/28048/stat : 28048 (java) S 28038 28040 28040 0 -1 4202560 1331 0 0 0 1 0 0 0 15 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28049] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28049/stat : 28049 (java) S 28038 28040 28040 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 850119277 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28050] ppid=28038 vsize=8541152 CPUtime=0.05 cores=0,2,4,6
/proc/28040/task/28050/stat : 28050 (java) S 28038 28040 28040 0 -1 4202560 6625 0 0 0 4 1 0 0 15 0 19 0 850119278 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 0 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28040/tid=28051] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28051/stat : 28051 (java) S 28038 28040 28040 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850119278 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28052] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28052/stat : 28052 (java) S 28038 28040 28040 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 850119278 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 6 0 0 0
[pid=28040/tid=28053] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28053/stat : 28053 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850119280 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738228657 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28054] ppid=28038 vsize=8541152 CPUtime=0.48 cores=0,2,4,6
/proc/28040/task/28054/stat : 28054 (java) S 28038 28040 28040 0 -1 4202560 3660 0 0 0 48 0 0 0 15 0 19 0 850119280 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28040/tid=28055] ppid=28038 vsize=8541152 CPUtime=0.54 cores=0,2,4,6
/proc/28040/task/28055/stat : 28055 (java) S 28038 28040 28040 0 -1 4202560 2574 0 0 0 54 0 0 0 16 0 19 0 850119280 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 2 0 0 0
[pid=28040/tid=28056] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28056/stat : 28056 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850119280 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28057] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28057/stat : 28057 (java) S 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850119280 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 4 0 16800975 18446604443999812480 0 0 -1 2 0 0 0
[pid=28040/tid=28058] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28058/stat : 28058 (java) S 28038 28040 28040 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850119343 8746139648 57743 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 4 0 16800975 18446604443999812480 0 0 -1 0 0 0 0
[pid=28032/tid=28039] ppid=28030 vsize=307284 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28039/stat : 28039 (python) S 28030 28032 27575 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 850119276 314658816 10659 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9145476
[startup+12.7015 s]
/proc/loadavg: 2.06 1.84 1.04 3/609 28058
/proc/meminfo: memFree=18248296/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=307284 CPUtime=1.41 cores=0,2,4,6
/proc/28032/stat : 28032 (python) S 28030 28032 27575 0 -1 4202496 15380 930 1 0 128 13 0 0 19 0 2 0 850119108 314658816 10659 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28032/statm: 76821 10659 1870 364 0 11708 0
[pid=28038] ppid=28032 vsize=297040 CPUtime=0.03 cores=0,2,4,6
/proc/28038/stat : 28038 (python) S 28032 28032 27575 0 -1 4202560 915 0 0 0 1 2 0 0 15 0 1 0 850119275 304168960 9160 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726425103 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/28038/statm: 74260 9160 375 364 0 9147 0
[pid=28040] ppid=28038 vsize=8541152 CPUtime=12.17 cores=0,2,4,6
/proc/28040/stat : 28040 (java) S 28038 28040 28040 0 -1 4202496 72618 0 1 0 1207 10 0 0 19 0 19 0 850119276 8746139648 66442 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28040/statm: 2135288 66442 2261 9 0 2126029 0
[pid=28040/tid=28041] ppid=28038 vsize=8541152 CPUtime=10.8 cores=0,2,4,6
/proc/28040/task/28041/stat : 28041 (java) R 28038 28040 28040 0 -1 4202560 35280 0 1 0 1076 4 0 0 25 0 19 0 850119276 8746139648 66442 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 46912505790570 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28040/tid=28042] ppid=28038 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/28040/task/28042/stat : 28042 (java) S 28038 28040 28040 0 -1 4202560 2832 0 0 0 1 0 0 0 16 0 19 0 850119277 8746139648 66442 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28043] ppid=28038 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/28040/task/28043/stat : 28043 (java) S 28038 28040 28040 0 -1 4202560 4525 0 0 0 2 0 0 0 15 0 19 0 850119277 8746139648 66442 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 4 0 0 0
[pid=28040/tid=28044] ppid=28038 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/28040/task/28044/stat : 28044 (java) S 28038 28040 28040 0 -1 4202560 4652 0 0 0 1 0 0 0 15 0 19 0 850119277 8746139648 66442 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 2 0 0 0
[pid=28040/tid=28045] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28045/stat : 28045 (java) S 28038 28040 28040 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 19 0 850119277 8746139648 66442 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446604443999812480 0 0 -1 2 0 0 0
[pid=28040/tid=28046] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/28061/statm: 76824 9186 396 364 0 11708 0
[pid=28063] ppid=28061 vsize=48180 CPUtime=46.56 cores=0,2,4,6
/proc/28063/stat : 28063 (wbo1.4a) T 28061 28063 28063 0 -1 4202496 15020 0 0 0 4628 28 0 0 25 0 1 0 850124086 49336320 11535 33554432000 134512640 135751879 4289388624 18446744073709551615 134616480 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/28063/statm: 12045 11535 146 303 0 11740 0
[pid=28061/tid=28065] ppid=28032 vsize=307296 CPUtime=0 cores=0,2,4,6
/proc/28061/task/28065/stat : 28065 (python) S 28032 28032 27575 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850128743 314671104 9186 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554946 18446604440972402752 0 0 -1 6 0 0 0
[pid=28067] ppid=28032 vsize=317552 CPUtime=0.34 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28032 28032 27575 0 -1 4202560 1048 0 0 0 18 16 0 0 15 0 1 0 850133108 325173248 9171 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726425158 0 0 16781312 33554946 72409437758827377 0 0 17 4 0 0 0
/proc/28067/statm: 79388 9171 378 364 0 14269 0
[pid=28069] ppid=28067 vsize=124548 CPUtime=82.21 cores=0,2,4,6
/proc/28069/stat : 28069 (clasp-1.3.7-x86) R 28067 28069 28069 0 -1 4202496 31390 0 0 0 8216 5 0 0 25 0 1 0 850133109 127537152 30857 33554432000 134512640 136139019 4290188720 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/28069/statm: 31137 30857 187 398 0 30737 0
[pid=28032/tid=28039] ppid=28030 vsize=327796 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28039/stat : 28039 (python) S 28030 28032 27575 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 4 0 850119276 335663104 10672 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
[pid=28032/tid=28062] ppid=28030 vsize=327796 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28062/stat : 28062 (python) S 28030 28032 27575 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 850124086 335663104 10672 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 6 0 0 0
[pid=28032/tid=28068] ppid=28030 vsize=327796 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28068/stat : 28068 (python) S 28030 28032 27575 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 850133108 335663104 10672 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 224.69
Current children cumulated vsize (KiB) 9973808
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+280.502 s]
/proc/loadavg: 2.00 1.92 1.27 7/642 28098
/proc/meminfo: memFree=17144600/32951124 swapFree=62998992/67111528
[pid=28032] ppid=28030 vsize=348308 CPUtime=1.54 cores=0,2,4,6
/proc/28032/stat : 28032 (python) S 28030 28032 27575 0 -1 4202496 18980 930 1 0 140 14 0 0 20 0 6 0 850119108 356667392 10684 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28032/statm: 87077 10684 1879 364 0 21952 0
[pid=28038] ppid=28032 vsize=307284 CPUtime=0.44 cores=0,2,4,6
/proc/28038/stat : 28038 (python) S 28032 28032 27575 0 -1 4202560 1115 0 0 0 23 21 0 0 15 0 2 0 850119275 314658816 9197 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28038/statm: 76821 9197 407 364 0 11708 0
[pid=28040] ppid=28038 vsize=8541152 CPUtime=93.36 cores=0,2,4,6
/proc/28040/stat : 28040 (java) T 28038 28040 28040 0 -1 4202496 125534 0 1 0 9313 23 0 0 18 0 19 0 850119276 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28040/statm: 2135288 101105 2261 9 0 2126029 0
[pid=28040/tid=28041] ppid=28038 vsize=8541152 CPUtime=90.56 cores=0,2,4,6
/proc/28040/task/28041/stat : 28041 (java) T 28038 28040 28040 0 -1 4202560 35294 0 1 0 9052 4 0 0 25 0 19 0 850119276 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 46912505790948 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28040/tid=28042] ppid=28038 vsize=8541152 CPUtime=0.1 cores=0,2,4,6
/proc/28040/task/28042/stat : 28042 (java) T 28038 28040 28040 0 -1 4202560 11639 0 0 0 8 2 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28043] ppid=28038 vsize=8541152 CPUtime=0.1 cores=0,2,4,6
/proc/28040/task/28043/stat : 28043 (java) T 28038 28040 28040 0 -1 4202560 8593 0 0 0 9 1 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28044] ppid=28038 vsize=8541152 CPUtime=0.15 cores=0,2,4,6
/proc/28040/task/28044/stat : 28044 (java) T 28038 28040 28040 0 -1 4202560 17063 0 0 0 12 3 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28040/tid=28045] ppid=28038 vsize=8541152 CPUtime=0.09 cores=0,2,4,6
/proc/28040/task/28045/stat : 28045 (java) T 28038 28040 28040 0 -1 4202560 6549 0 0 0 8 1 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28040/tid=28046] ppid=28038 vsize=8541152 CPUtime=0.09 cores=0,2,4,6
/proc/28040/task/28046/stat : 28046 (java) T 28038 28040 28040 0 -1 4202560 10950 0 0 0 7 2 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28047] ppid=28038 vsize=8541152 CPUtime=0.11 cores=0,2,4,6
/proc/28040/task/28047/stat : 28047 (java) T 28038 28040 28040 0 -1 4202560 6982 0 0 0 10 1 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28040/tid=28048] ppid=28038 vsize=8541152 CPUtime=0.09 cores=0,2,4,6
/proc/28040/task/28048/stat : 28048 (java) T 28038 28040 28040 0 -1 4202560 5266 0 0 0 8 1 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28040/tid=28049] ppid=28038 vsize=8541152 CPUtime=0.04 cores=0,2,4,6
/proc/28040/task/28049/stat : 28049 (java) T 28038 28040 28040 0 -1 4202560 5979 0 0 0 3 1 0 0 15 0 19 0 850119277 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28040/tid=28050] ppid=28038 vsize=8541152 CPUtime=0.8 cores=0,2,4,6
/proc/28040/task/28050/stat : 28050 (java) T 28038 28040 28040 0 -1 4202560 9571 0 0 0 79 1 0 0 15 0 19 0 850119278 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28040/tid=28051] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28051/stat : 28051 (java) T 28038 28040 28040 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850119278 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28040/tid=28052] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28052/stat : 28052 (java) T 28038 28040 28040 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850119278 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28053] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28053/stat : 28053 (java) T 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850119280 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28054] ppid=28038 vsize=8541152 CPUtime=0.48 cores=0,2,4,6
/proc/28040/task/28054/stat : 28054 (java) T 28038 28040 28040 0 -1 4202560 3662 0 0 0 48 0 0 0 15 0 19 0 850119280 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28055] ppid=28038 vsize=8541152 CPUtime=0.62 cores=0,2,4,6
/proc/28040/task/28055/stat : 28055 (java) T 28038 28040 28040 0 -1 4202560 2600 0 0 0 62 0 0 0 15 0 19 0 850119280 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28040/tid=28056] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28056/stat : 28056 (java) T 28038 28040 28040 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850119280 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28040/tid=28057] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28057/stat : 28057 (java) T 28038 28040 28040 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 850119280 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28040/tid=28058] ppid=28038 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/28040/task/28058/stat : 28058 (java) T 28038 28040 28040 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850119343 8746139648 101105 33554432000 1073741824 1073778376 140735643001504 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28038/tid=28060] ppid=28032 vsize=307284 CPUtime=0 cores=0,2,4,6
/proc/28038/task/28060/stat : 28060 (python) S 28032 28032 27575 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 850124083 314658816 9197 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554946 18446604445170299136 0 0 -1 6 0 0 0
[pid=28061] ppid=28032 vsize=307296 CPUtime=0.29 cores=0,2,4,6
/proc/28061/stat : 28061 (python) S 28032 28032 27575 0 -1 4202560 1141 0 0 0 17 12 0 0 16 0 2 0 850124085 314671104 9186 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28061/statm: 76824 9186 396 364 0 11708 0
[pid=28063] ppid=28061 vsize=48180 CPUtime=46.56 cores=0,2,4,6
/proc/28063/stat : 28063 (wbo1.4a) T 28061 28063 28063 0 -1 4202496 15020 0 0 0 4628 28 0 0 25 0 1 0 850124086 49336320 11535 33554432000 134512640 135751879 4289388624 18446744073709551615 134616480 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/28063/statm: 12045 11535 146 303 0 11740 0
[pid=28061/tid=28065] ppid=28032 vsize=307296 CPUtime=0 cores=0,2,4,6
/proc/28061/task/28065/stat : 28065 (python) S 28032 28032 27575 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850128743 314671104 9186 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554946 18446604440972402752 0 0 -1 6 0 0 0
[pid=28067] ppid=28032 vsize=317552 CPUtime=0.4 cores=0,2,4,6
/proc/28067/stat : 28067 (python) S 28032 28032 27575 0 -1 4202560 1181 0 0 0 21 19 0 0 16 0 2 0 850133108 325173248 9196 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/28067/statm: 79388 9196 402 364 0 14269 0
[pid=28069] ppid=28067 vsize=124548 CPUtime=92.67 cores=0,2,4,6
/proc/28069/stat : 28069 (clasp-1.3.7-x86) T 28067 28069 28069 0 -1 4202496 31390 0 0 0 9262 5 0 0 25 0 1 0 850133109 127537152 30857 33554432000 134512640 136139019 4290188720 18446744073709551615 134608891 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/28069/statm: 31137 30857 187 398 0 30737 0
[pid=28067/tid=28073] ppid=28032 vsize=317552 CPUtime=0 cores=0,2,4,6
/proc/28067/task/28073/stat : 28073 (python) S 28032 28032 27575 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850142387 325173248 9196 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449487152320 0 0 -1 4 0 0 0
[pid=28074] ppid=28032 vsize=327808 CPUtime=0.21 cores=0,2,4,6
/proc/28074/stat : 28074 (python) S 28032 28032 27575 0 -1 4202560 1177 0 0 0 10 11 0 0 16 0 2 0 850142389 335675392 9200 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28074/statm: 81952 9200 402 364 0 16830 0
[pid=28076] ppid=28074 vsize=352180 CPUtime=47.25 cores=0,2,4,6
/proc/28076/stat : 28076 (pbct-0.1.2-linu) T 28074 28076 28076 0 -1 4202496 89159 0 0 0 4680 45 0 0 25 0 1 0 850142389 360632320 86814 33554432000 134512640 136422188 4291783984 18446744073709551615 135023576 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/28076/statm: 88045 86814 236 467 0 87576 0
[pid=28074/tid=28078] ppid=28032 vsize=327808 CPUtime=0 cores=0,2,4,6
/proc/28074/task/28078/stat : 28078 (python) S 28032 28032 27575 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850147115 335675392 9200 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449941502144 0 0 -1 6 0 0 0
[pid=28079] ppid=28032 vsize=338064 CPUtime=0 cores=0,2,4,6
/proc/28079/stat : 28079 (python) S 28032 28032 27575 0 -1 4202560 794 0 0 0 0 0 0 0 19 0 1 0 850147118 346177536 9149 33554432000 4194304 5683644 140733320713744 18446744073709551615 264726425158 0 0 16781312 33554946 3004631430903889920 0 0 17 4 0 0 0
/proc/28079/statm: 84516 9149 348 364 0 19391 0
[pid=28081] ppid=28079 vsize=8535468 CPUtime=0.79 cores=0,2,4,6
/proc/28081/stat : 28081 (java) S 28079 28081 28081 0 -1 4202496 18616 0 1 0 76 3 0 0 20 0 18 0 850147118 8740319232 16955 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28081/statm: 2133867 16957 2205 9 0 2124608 0
[pid=28081/tid=28082] ppid=28079 vsize=8535468 CPUtime=0.41 cores=0,2,4,6
/proc/28081/task/28082/stat : 28082 (java) R 28079 28081 28081 0 -1 4202560 13052 0 1 0 39 2 0 0 18 0 18 0 850147119 8740319232 17037 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 46912505624434 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28081/tid=28083] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28083/stat : 28083 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850147120 8740319232 17039 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28084] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28084/stat : 28084 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850147120 8740319232 17042 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28085] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28085/stat : 28085 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850147120 8740319232 17044 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28086] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28086/stat : 28086 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147120 8740319232 17047 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28087] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28087/stat : 28087 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147120 8740319232 17049 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28088] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28088/stat : 28088 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147120 8740319232 17051 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28089] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28089/stat : 28089 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147120 8740319232 17054 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28090] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28090/stat : 28090 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147120 8740319232 17056 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28091] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28091/stat : 28091 (java) S 28079 28081 28081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850147121 8740319232 17059 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738221568 0 0 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28092] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28092/stat : 28092 (java) S 28079 28081 28081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850147121 8740319232 17061 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28093] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28093/stat : 28093 (java) S 28079 28081 28081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850147121 8740319232 17064 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28094] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28094/stat : 28094 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147123 8740319232 17066 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738228657 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28095] ppid=28079 vsize=8535468 CPUtime=0.17 cores=0,2,4,6
/proc/28081/task/28095/stat : 28095 (java) R 28079 28081 28081 0 -1 4202560 2290 0 0 0 17 0 0 0 18 0 18 0 850147123 8740319232 17068 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 47435705416015 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28081/tid=28096] ppid=28079 vsize=8535468 CPUtime=0.19 cores=0,2,4,6
/proc/28081/task/28096/stat : 28096 (java) R 28079 28081 28081 0 -1 4202560 1959 0 0 0 19 0 0 0 16 0 18 0 850147124 8740319232 17071 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 47435704335729 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28081/tid=28097] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28097/stat : 28097 (java) S 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850147124 8740319232 17073 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738220953 0 4 0 16800975 18446604443164950592 0 0 -1 2 0 0 0
[pid=28081/tid=28098] ppid=28079 vsize=8535468 CPUtime=0 cores=0,2,4,6
/proc/28081/task/28098/stat : 28098 (java) R 28079 28081 28081 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850147124 8740319232 17075 33554432000 1073741824 1073778376 140733369514048 18446744073709551615 264738221568 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28032/tid=28039] ppid=28030 vsize=348308 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28039/stat : 28039 (python) S 28030 28032 27575 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 6 0 850119276 356667392 10684 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
[pid=28032/tid=28062] ppid=28030 vsize=348308 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28062/stat : 28062 (python) S 28030 28032 27575 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 850124086 356667392 10684 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 6 0 0 0
[pid=28032/tid=28068] ppid=28030 vsize=348308 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28068/stat : 28068 (python) S 28030 28032 27575 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 850133108 356667392 10684 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
[pid=28032/tid=28075] ppid=28030 vsize=348308 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28075/stat : 28075 (python) S 28030 28032 27575 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 6 0 850142389 356667392 10684 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
[pid=28032/tid=28080] ppid=28030 vsize=348308 CPUtime=0 cores=0,2,4,6
/proc/28032/task/28080/stat : 28080 (python) S 28030 28032 27575 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 850147118 356667392 10684 33554432000 4194304 5683644 140733320713744 18446744073709551615 264738228657 0 0 16781312 33554434 18446604441127592960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 283.51
Current children cumulated vsize (KiB) 19547840
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 28032 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=405786
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=149977
# CPU time returned by wait4() is 1.55576
# while last known CPU time is 283.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 280.588
CPU time (s): 283.51
CPU user time (s): 281.7
CPU system time (s): 1.81
CPU usage (%): 101.041
Max. virtual memory (cumulated for all children) (KiB): 19548380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40579
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19913
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= 2870
involuntary context switches= 20
runsolver used 1.9767 second user time and 3.64744 second system time
The end