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-3482046-1307576762/watcher-3482046-1307576762 -o /tmp/evaluation-result-3482046-1307576762/solver-3482046-1307576762 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482046-1307576762.opb -seed 2140946067 -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.26 1.53 0.70 2/520 28018
/proc/meminfo: memFree=22344168/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/28018/stat : 28018 (python) R 28016 28018 27243 0 -1 4202496 1042 0 0 0 0 0 0 0 25 0 1 0 850092199 16629760 913 33554432000 4194304 5683644 140736098658336 18446744073709551615 5187280 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28018/statm: 4060 913 381 364 0 547 0
[startup+0.0816469 s]
/proc/loadavg: 2.26 1.53 0.70 2/520 28018
/proc/meminfo: memFree=22344168/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/28018/stat : 28018 (python) R 28016 28018 27243 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 850092199 87674880 2382 33554432000 4194304 5683644 140736098658336 18446744073709551615 4529561 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28018/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.100646 s]
/proc/loadavg: 2.26 1.53 0.70 2/520 28018
/proc/meminfo: memFree=22344168/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/28018/stat : 28018 (python) R 28016 28018 27243 0 -1 4202496 3170 930 1 0 5 1 0 0 18 0 1 0 850092199 98430976 2483 33554432000 4194304 5683644 140736098658336 18446744073709551615 5170289 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28018/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300572 s]
/proc/loadavg: 2.26 1.53 0.70 2/520 28018
/proc/meminfo: memFree=22344168/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=193292 CPUtime=0.22 cores=1,3,5,7
/proc/28018/stat : 28018 (python) R 28016 28018 27243 0 -1 4202496 6576 930 1 0 17 5 0 0 17 0 1 0 850092199 197931008 4866 33554432000 4194304 5683644 140736098658336 18446744073709551615 220811312775 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/28018/statm: 48323 4866 1417 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 193292
[startup+0.700549 s]
/proc/loadavg: 2.26 1.53 0.70 2/520 28018
/proc/meminfo: memFree=22344168/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=261388 CPUtime=0.31 cores=1,3,5,7
/proc/28018/stat : 28018 (python) D 28016 28018 27243 0 -1 4202496 8254 930 1 0 24 7 0 0 17 0 1 0 850092199 267661312 6350 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816242231 0 0 16781312 2 18446744071562154983 0 0 17 1 0 0 0
/proc/28018/statm: 65347 6350 1677 364 0 5063 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 261388
[startup+2.17123 s]
/proc/loadavg: 2.26 1.53 0.70 2/520 28018
/proc/meminfo: memFree=22344168/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 295004
heavy processes:
[startup+3.10109 s]
/proc/loadavg: 2.24 1.54 0.71 3/542 28046
/proc/meminfo: memFree=22262016/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
[pid=28025] ppid=28018 vsize=284760 CPUtime=0 cores=1,3,5,7
/proc/28025/stat : 28025 (python) S 28018 28018 27243 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 850092304 291594240 6087 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816256527 0 0 16781312 33554946 11461472661507375366 0 0 17 1 0 0 0
/proc/28025/statm: 71190 6087 352 364 0 6077 0
[pid=28027] ppid=28025 vsize=8558004 CPUtime=3.18 cores=1,3,5,7
/proc/28027/stat : 28027 (java) S 28025 28027 28027 0 -1 4202496 22506 0 1 0 315 3 0 0 19 0 19 0 850092304 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28027/statm: 2139501 19425 2255 9 0 2130242 0
[pid=28027/tid=28028] ppid=28025 vsize=8558004 CPUtime=2.01 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (java) R 28025 28027 28027 0 -1 4202560 10180 0 1 0 199 2 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 46912505690112 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28027/tid=28029] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (java) S 28025 28027 28027 0 -1 4202560 285 0 0 0 0 0 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28030] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (java) S 28025 28027 28027 0 -1 4202560 234 0 0 0 0 0 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28031] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28031/stat : 28031 (java) S 28025 28027 28027 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28032] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28032/stat : 28032 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28033] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28033/stat : 28033 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28034] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28034/stat : 28034 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28035] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28035/stat : 28035 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28036] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28036/stat : 28036 (java) S 28025 28027 28027 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 850092305 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28037] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28037/stat : 28037 (java) S 28025 28027 28027 0 -1 4202560 569 0 0 0 0 0 0 0 16 0 19 0 850092306 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 0 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28038] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28038/stat : 28038 (java) S 28025 28027 28027 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28040] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28040/stat : 28040 (java) S 28025 28027 28027 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28041] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28041/stat : 28041 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092308 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828060081 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28042] ppid=28025 vsize=8558004 CPUtime=0.74 cores=1,3,5,7
/proc/28027/task/28042/stat : 28042 (java) S 28025 28027 28027 0 -1 4202560 7134 0 0 0 74 0 0 0 17 0 19 0 850092308 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28043] ppid=28025 vsize=8558004 CPUtime=0.39 cores=1,3,5,7
/proc/28027/task/28043/stat : 28043 (java) S 28025 28027 28027 0 -1 4202560 2668 0 0 0 39 0 0 0 16 0 19 0 850092309 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28044] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28044/stat : 28044 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092309 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28045] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28045/stat : 28045 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092309 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28046] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28046/stat : 28046 (java) S 28025 28027 28027 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850092344 8763396096 19425 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28018/tid=28026] ppid=28016 vsize=295004 CPUtime=0 cores=1,3,5,7
/proc/28018/task/28026/stat : 28026 (python) S 28016 28018 27243 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 850092304 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9137768
[startup+6.3015 s]
/proc/loadavg: 2.22 1.54 0.71 3/542 28046
/proc/meminfo: memFree=22226572/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
[pid=28025] ppid=28018 vsize=284760 CPUtime=0.01 cores=1,3,5,7
/proc/28025/stat : 28025 (python) S 28018 28018 27243 0 -1 4202560 903 0 0 0 1 0 0 0 15 0 1 0 850092304 291594240 6111 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816256527 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/28025/statm: 71190 6111 376 364 0 6077 0
[pid=28027] ppid=28025 vsize=8558004 CPUtime=6.42 cores=1,3,5,7
/proc/28027/stat : 28027 (java) S 28025 28027 28027 0 -1 4202496 24215 0 1 0 639 3 0 0 19 0 19 0 850092304 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28027/statm: 2139501 21130 2255 9 0 2130242 0
[pid=28027/tid=28028] ppid=28025 vsize=8558004 CPUtime=5.16 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (java) R 28025 28027 28027 0 -1 4202560 10183 0 1 0 514 2 0 0 25 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 46912505764418 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28027/tid=28029] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (java) S 28025 28027 28027 0 -1 4202560 320 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28030] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (java) S 28025 28027 28027 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28031] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28031/stat : 28031 (java) S 28025 28027 28027 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28032] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28032/stat : 28032 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28033] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28033/stat : 28033 (java) S 28025 28027 28027 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28034] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28034/stat : 28034 (java) S 28025 28027 28027 0 -1 4202560 413 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28035] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28035/stat : 28035 (java) S 28025 28027 28027 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28036] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28036/stat : 28036 (java) S 28025 28027 28027 0 -1 4202560 187 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28037] ppid=28025 vsize=8558004 CPUtime=0.04 cores=1,3,5,7
/proc/28027/task/28037/stat : 28037 (java) S 28025 28027 28027 0 -1 4202560 1117 0 0 0 4 0 0 0 15 0 19 0 850092306 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 0 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28038] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28038/stat : 28038 (java) S 28025 28027 28027 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28040] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28040/stat : 28040 (java) S 28025 28027 28027 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28041] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28041/stat : 28041 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092308 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828060081 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28042] ppid=28025 vsize=8558004 CPUtime=0.75 cores=1,3,5,7
/proc/28027/task/28042/stat : 28042 (java) S 28025 28027 28027 0 -1 4202560 7135 0 0 0 75 0 0 0 15 0 19 0 850092308 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28043] ppid=28025 vsize=8558004 CPUtime=0.42 cores=1,3,5,7
/proc/28027/task/28043/stat : 28043 (java) S 28025 28027 28027 0 -1 4202560 2675 0 0 0 42 0 0 0 15 0 19 0 850092309 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28044] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28044/stat : 28044 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092309 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28045] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28045/stat : 28045 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092309 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28046] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28046/stat : 28046 (java) S 28025 28027 28027 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850092344 8763396096 21130 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28018/tid=28026] ppid=28016 vsize=295004 CPUtime=0 cores=1,3,5,7
/proc/28018/task/28026/stat : 28026 (python) S 28016 28018 27243 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 850092304 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9137768
Solver just ended. Dumping a history of the last processes samples
[startup+7.60126 s]
/proc/loadavg: 2.22 1.54 0.71 3/542 28046
/proc/meminfo: memFree=22223720/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
[pid=28025] ppid=28018 vsize=284760 CPUtime=0.01 cores=1,3,5,7
/proc/28025/stat : 28025 (python) S 28018 28018 27243 0 -1 4202560 903 0 0 0 1 0 0 0 15 0 1 0 850092304 291594240 6111 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816256527 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/28025/statm: 71190 6111 376 364 0 6077 0
[pid=28027] ppid=28025 vsize=8558004 CPUtime=7.72 cores=1,3,5,7
/proc/28027/stat : 28027 (java) S 28025 28027 28027 0 -1 4202496 24669 0 1 0 769 3 0 0 19 0 19 0 850092304 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28027/statm: 2139501 21583 2255 9 0 2130242 0
[pid=28027/tid=28028] ppid=28025 vsize=8558004 CPUtime=6.45 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (java) R 28025 28027 28027 0 -1 4202560 10184 0 1 0 643 2 0 0 25 0 19 0 850092305 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 46912505704311 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28027/tid=28029] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (java) S 28025 28027 28027 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28030] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (java) S 28025 28027 28027 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/28027/task/28043/stat : 28043 (java) S 28025 28027 28027 0 -1 4202560 2675 0 0 0 42 0 0 0 15 0 19 0 850092309 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28044] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28044/stat : 28044 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092309 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28045] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28045/stat : 28045 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092309 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28046] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28046/stat : 28046 (java) S 28025 28027 28027 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850092344 8763396096 21583 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28018/tid=28026] ppid=28016 vsize=295004 CPUtime=0 cores=1,3,5,7
/proc/28018/task/28026/stat : 28026 (python) S 28016 28018 27243 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 850092304 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 9137768
[startup+9.20096 s]
/proc/loadavg: 2.22 1.54 0.71 3/542 28046
/proc/meminfo: memFree=22208256/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
[pid=28025] ppid=28018 vsize=284760 CPUtime=0.03 cores=1,3,5,7
/proc/28025/stat : 28025 (python) S 28018 28018 27243 0 -1 4202560 906 0 0 0 2 1 0 0 15 0 1 0 850092304 291594240 6111 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816256527 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/28025/statm: 71190 6111 376 364 0 6077 0
[pid=28027] ppid=28025 vsize=8558004 CPUtime=9.32 cores=1,3,5,7
/proc/28027/stat : 28027 (java) S 28025 28027 28027 0 -1 4202496 25601 0 1 0 929 3 0 0 19 0 19 0 850092304 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28027/statm: 2139501 22513 2255 9 0 2130242 0
[pid=28027/tid=28028] ppid=28025 vsize=8558004 CPUtime=8.01 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (java) R 28025 28027 28027 0 -1 4202560 10186 0 1 0 799 2 0 0 25 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 46912505790097 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28027/tid=28029] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (java) S 28025 28027 28027 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28030] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (java) S 28025 28027 28027 0 -1 4202560 409 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28031] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28031/stat : 28031 (java) S 28025 28027 28027 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28032] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28032/stat : 28032 (java) S 28025 28027 28027 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28033] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28033/stat : 28033 (java) S 28025 28027 28027 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28034] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28034/stat : 28034 (java) S 28025 28027 28027 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28035] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28035/stat : 28035 (java) S 28025 28027 28027 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28036] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28036/stat : 28036 (java) S 28025 28027 28027 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28037] ppid=28025 vsize=8558004 CPUtime=0.07 cores=1,3,5,7
/proc/28027/task/28037/stat : 28037 (java) S 28025 28027 28027 0 -1 4202560 2304 0 0 0 7 0 0 0 16 0 19 0 850092306 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 0 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28038] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28038/stat : 28038 (java) S 28025 28027 28027 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28040] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28040/stat : 28040 (java) S 28025 28027 28027 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28041] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28041/stat : 28041 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092308 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828060081 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28042] ppid=28025 vsize=8558004 CPUtime=0.75 cores=1,3,5,7
/proc/28027/task/28042/stat : 28042 (java) S 28025 28027 28027 0 -1 4202560 7135 0 0 0 75 0 0 0 15 0 19 0 850092308 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28043] ppid=28025 vsize=8558004 CPUtime=0.42 cores=1,3,5,7
/proc/28027/task/28043/stat : 28043 (java) S 28025 28027 28027 0 -1 4202560 2675 0 0 0 42 0 0 0 15 0 19 0 850092309 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28044] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28044/stat : 28044 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092309 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28045] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28045/stat : 28045 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092309 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28046] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28046/stat : 28046 (java) S 28025 28027 28027 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850092344 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28018/tid=28026] ppid=28016 vsize=295004 CPUtime=0 cores=1,3,5,7
/proc/28018/task/28026/stat : 28026 (python) S 28016 28018 27243 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 850092304 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (KiB) 9137768
[startup+10.0008 s]
/proc/loadavg: 2.22 1.54 0.71 3/542 28046
/proc/meminfo: memFree=22206404/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
[pid=28025] ppid=28018 vsize=284760 CPUtime=0.03 cores=1,3,5,7
/proc/28025/stat : 28025 (python) S 28018 28018 27243 0 -1 4202560 906 0 0 0 2 1 0 0 15 0 1 0 850092304 291594240 6111 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816256527 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/28025/statm: 71190 6111 376 364 0 6077 0
[pid=28027] ppid=28025 vsize=8558004 CPUtime=10.14 cores=1,3,5,7
/proc/28027/stat : 28027 (java) S 28025 28027 28027 0 -1 4202496 25601 0 1 0 1011 3 0 0 19 0 19 0 850092304 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28027/statm: 2139501 22513 2255 9 0 2130242 0
[pid=28027/tid=28028] ppid=28025 vsize=8558004 CPUtime=8.83 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (java) R 28025 28027 28027 0 -1 4202560 10186 0 1 0 881 2 0 0 25 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 46912505872694 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28027/tid=28029] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (java) S 28025 28027 28027 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28030] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (java) S 28025 28027 28027 0 -1 4202560 409 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28031] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28031/stat : 28031 (java) S 28025 28027 28027 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28032] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28032/stat : 28032 (java) S 28025 28027 28027 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28033] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28033/stat : 28033 (java) S 28025 28027 28027 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28034] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28034/stat : 28034 (java) S 28025 28027 28027 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28035] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28035/stat : 28035 (java) S 28025 28027 28027 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28036] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28036/stat : 28036 (java) S 28025 28027 28027 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28037] ppid=28025 vsize=8558004 CPUtime=0.07 cores=1,3,5,7
/proc/28027/task/28037/stat : 28037 (java) S 28025 28027 28027 0 -1 4202560 2304 0 0 0 7 0 0 0 16 0 19 0 850092306 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 0 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28038] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28038/stat : 28038 (java) S 28025 28027 28027 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28040] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28040/stat : 28040 (java) S 28025 28027 28027 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28041] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28041/stat : 28041 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092308 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828060081 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28042] ppid=28025 vsize=8558004 CPUtime=0.75 cores=1,3,5,7
/proc/28027/task/28042/stat : 28042 (java) S 28025 28027 28027 0 -1 4202560 7135 0 0 0 75 0 0 0 15 0 19 0 850092308 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28043] ppid=28025 vsize=8558004 CPUtime=0.42 cores=1,3,5,7
/proc/28027/task/28043/stat : 28043 (java) S 28025 28027 28027 0 -1 4202560 2675 0 0 0 42 0 0 0 15 0 19 0 850092309 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28044] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28044/stat : 28044 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092309 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28045] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28045/stat : 28045 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092309 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28046] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28046/stat : 28046 (java) S 28025 28027 28027 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850092344 8763396096 22513 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28018/tid=28026] ppid=28016 vsize=295004 CPUtime=0 cores=1,3,5,7
/proc/28018/task/28026/stat : 28026 (python) S 28016 28018 27243 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 850092304 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.73
Current children cumulated vsize (KiB) 9137768
[startup+10.2008 s]
/proc/loadavg: 2.22 1.54 0.71 3/542 28046
/proc/meminfo: memFree=22206404/32951124 swapFree=60476376/67111528
[pid=28018] ppid=28016 vsize=295004 CPUtime=0.56 cores=1,3,5,7
/proc/28018/stat : 28018 (python) S 28016 28018 27243 0 -1 4202496 10323 930 1 0 48 8 0 0 19 0 2 0 850092199 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 36
/proc/28018/statm: 73751 7609 1870 364 0 8638 0
[pid=28025] ppid=28018 vsize=284760 CPUtime=0.03 cores=1,3,5,7
/proc/28025/stat : 28025 (python) S 28018 28018 27243 0 -1 4202560 906 0 0 0 2 1 0 0 15 0 1 0 850092304 291594240 6111 33554432000 4194304 5683644 140736098658336 18446744073709551615 220816256527 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/28025/statm: 71190 6111 376 364 0 6077 0
[pid=28027] ppid=28025 vsize=8558004 CPUtime=10.32 cores=1,3,5,7
/proc/28027/stat : 28027 (java) S 28025 28027 28027 0 -1 4202496 25609 0 1 0 1029 3 0 0 19 0 19 0 850092304 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28027/statm: 2139501 22520 2255 9 0 2130242 0
[pid=28027/tid=28028] ppid=28025 vsize=8558004 CPUtime=9 cores=1,3,5,7
/proc/28027/task/28028/stat : 28028 (java) R 28025 28027 28027 0 -1 4202560 10187 0 1 0 898 2 0 0 25 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 46912505704077 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28027/tid=28029] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28029/stat : 28029 (java) S 28025 28027 28027 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28030] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28030/stat : 28030 (java) S 28025 28027 28027 0 -1 4202560 409 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 5 0 0 0
[pid=28027/tid=28031] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28031/stat : 28031 (java) S 28025 28027 28027 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 5 0 0 0
[pid=28027/tid=28032] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28032/stat : 28032 (java) S 28025 28027 28027 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28033] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28033/stat : 28033 (java) S 28025 28027 28027 0 -1 4202560 324 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28034] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28034/stat : 28034 (java) S 28025 28027 28027 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28035] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28035/stat : 28035 (java) S 28025 28027 28027 0 -1 4202560 156 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28036] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28036/stat : 28036 (java) S 28025 28027 28027 0 -1 4202560 187 0 0 0 0 0 0 0 16 0 19 0 850092305 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28037] ppid=28025 vsize=8558004 CPUtime=0.09 cores=1,3,5,7
/proc/28027/task/28037/stat : 28037 (java) S 28025 28027 28027 0 -1 4202560 2304 0 0 0 9 0 0 0 16 0 19 0 850092306 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 0 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28038] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28038/stat : 28038 (java) S 28025 28027 28027 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28040] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28040/stat : 28040 (java) S 28025 28027 28027 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850092306 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28041] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28041/stat : 28041 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092308 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828060081 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28042] ppid=28025 vsize=8558004 CPUtime=0.75 cores=1,3,5,7
/proc/28027/task/28042/stat : 28042 (java) S 28025 28027 28027 0 -1 4202560 7135 0 0 0 75 0 0 0 15 0 19 0 850092308 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28043] ppid=28025 vsize=8558004 CPUtime=0.42 cores=1,3,5,7
/proc/28027/task/28043/stat : 28043 (java) S 28025 28027 28027 0 -1 4202560 2675 0 0 0 42 0 0 0 15 0 19 0 850092309 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 7 0 0 0
[pid=28027/tid=28044] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28044/stat : 28044 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850092309 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052377 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28027/tid=28045] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28045/stat : 28045 (java) S 28025 28027 28027 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850092309 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 3 0 0 0
[pid=28027/tid=28046] ppid=28025 vsize=8558004 CPUtime=0 cores=1,3,5,7
/proc/28027/task/28046/stat : 28046 (java) S 28025 28027 28027 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850092344 8763396096 22520 33554432000 1073741824 1073778376 140737077650480 18446744073709551615 220828052992 0 4 0 16800975 18446604470463259968 0 0 -1 1 0 0 0
[pid=28018/tid=28026] ppid=28016 vsize=295004 CPUtime=0 cores=1,3,5,7
/proc/28018/task/28026/stat : 28026 (python) S 28016 28018 27243 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 850092304 302084096 7609 33554432000 4194304 5683644 140736098658336 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.91
Current children cumulated vsize (KiB) 9137768
Child status: 0
Real time (s): 10.2828
CPU time (s): 11.0443
CPU user time (s): 10.8933
CPU system time (s): 0.150977
CPU usage (%): 107.406
Max. virtual memory (cumulated for all children) (KiB): 9137772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8933
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42770
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1659
involuntary context switches= 288
runsolver used 0.050992 second user time and 0.119981 second system time
The end