runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9851 MiB free)
memory of node 1: 16384 MiB (9554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387555-1568338484/watcher-4387555-1568338484 -o /tmp/evaluation-result-4387555-1568338484/solver-4387555-1568338484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568338444-3363 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1094025902 HOME/instance-4387555-1568338484.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3385, runsolver pid=3381
[startup+0.103379 s]*
/proc/loadavg: 3.71 5.28 7.03 4/223 3464
/proc/meminfo: memFree=19845328/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/3385/stat : 3385 (bash) S 3381 3385 3331 0 -1 4202496 894 5690 1 1 0 0 0 1 20 0 1 0 409788610 115974144 404 33554432000 4194304 5098028 140731696833408 140731696827416 139836978482176 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 2 0 0 7196144 7232144 34910208 140731696837652 140731696837777 140731696837777 140731696840686 0
/proc/3385/statm: 28314 404 320 221 0 119 0
[pid=3442] ppid=3385 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/3442/stat : 3442 (bash) S 3385 3385 3331 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 409788615 115974144 178 33554432000 4194304 5098028 140731696833408 140731696826088 139836978307708 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34910208 140731696837652 140731696837777 140731696837777 140731696840686 0
/proc/3442/statm: 28314 178 94 221 0 119 0
[pid=3446] ppid=3442 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/3446/stat : 3446 (awk) S 3442 3385 3331 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 409788615 116215808 308 33554432000 4194304 4609284 140731665011072 140731665010248 139639920098304 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 32759808 140731665020092 140731665020122 140731665020122 140731665022959 0
/proc/3446/statm: 28373 308 256 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3560 KiB
[startup+0.211901 s]*
/proc/loadavg: 3.71 5.28 7.03 8/228 3522
/proc/meminfo: memFree=19827456/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10818900 memory=36884 CPUtime=0.21 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 6560 13170 1 1 11 2 5 3 20 0 15 0 409788610 11078553600 9221 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2704725 9221 2935 1 0 2667149 0
[pid=3385/tid=3495] ppid=3381 vsize=10818900 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 3101 13170 0 1 7 1 5 3 20 0 15 0 409788622 11078553600 9221 33554432000 4194304 4196468 140724150773360 140450319664064 140449944907550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10818900 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078553600 9221 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10818900 memory=140680775098711 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078553600 9221 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078553600 9221 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078553600 9221 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10818900 memory=140680775087744 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788624 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 13 13170 0 1 0 0 5 3 20 0 15 0 409788625 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449792648352 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788625 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449658430192 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10818900 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) R 3381 3385 3331 0 -1 4202560 349 13170 0 1 1 0 5 3 20 0 15 0 409788628 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449873464048 140450347852378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) R 3381 3385 3331 0 -1 1077944384 244 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10818900 memory=140680775087744 CPUtime=0.1 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) R 3381 3385 3331 0 -1 4202560 633 13170 0 1 2 0 5 3 20 0 15 0 409788628 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449871358448 140450347852378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078553600 9221 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10818900 memory=140680775087744 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078553600 9221 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 36884 KiB
[startup+0.310668 s]*
/proc/loadavg: 3.71 5.28 7.03 4/228 3522
/proc/meminfo: memFree=19800232/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10819084 memory=50316 CPUtime=0.36 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 10139 13170 1 1 24 4 5 3 20 0 15 0 409788610 11078742016 12579 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2704771 12579 3014 1 0 2667149 0
[pid=3385/tid=3495] ppid=3381 vsize=10819084 memory=8101247189090653292 CPUtime=0.26 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 6621 13170 0 1 15 3 5 3 20 0 15 0 409788622 11078742016 12579 33554432000 4194304 4196468 140724150773360 140450319612928 140450331017840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10819084 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078742016 12579 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078742016 12579 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078742016 12579 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788623 11078742016 12579 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788624 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 13 13170 0 1 0 0 5 3 20 0 15 0 409788625 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449792648352 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788625 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449658430192 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10819084 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 358 13170 0 1 2 0 5 3 20 0 15 0 409788628 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 256 13170 0 1 1 0 5 3 20 0 15 0 409788628 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10819084 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) S 3381 3385 3331 0 -1 1077944384 670 13170 0 1 5 0 5 3 20 0 15 0 409788628 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078742016 12579 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788628 11078742016 12579 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 50316 KiB
[startup+0.700804 s]
/proc/loadavg: 3.71 5.28 7.03 3/229 3524
/proc/meminfo: memFree=19773916/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10822292 memory=81456 CPUtime=1.07 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 14494 13170 1 1 93 6 5 3 20 0 15 0 409788610 11082027008 20364 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2705573 20364 3498 1 0 2667661 0
[pid=3385/tid=3495] ppid=3381 vsize=10822292 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 10181 13170 0 1 50 4 5 3 20 0 15 0 409788622 11082027008 20364 33554432000 4194304 4196468 140724150773360 140450319657616 140450331911518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788623 11082027008 20364 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10822292 memory=281361294577344 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788623 11082027008 20364 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10822292 memory=2031 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788623 11082027008 20364 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10822292 memory=281361295170340 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788623 11082027008 20364 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10822292 memory=7878591527372090727 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 5 13170 0 1 0 0 5 3 20 0 15 0 409788624 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10822292 memory=7236547281622689387 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 13 13170 0 1 0 0 5 3 20 0 15 0 409788625 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449792648352 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10822292 memory=4640768527263875168 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788625 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449658430192 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10822292 memory=-8820188211957838939 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10822292 memory=7524214621870646120 CPUtime=0.19 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 617 13170 0 1 11 0 5 3 20 0 15 0 409788628 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10822292 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 607 13170 0 1 13 0 5 3 20 0 15 0 409788628 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10822292 memory=2124 CPUtime=0.24 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) R 3381 3385 3331 0 -1 4202560 852 13170 0 1 16 0 5 3 20 0 15 0 409788628 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10822292 memory=500 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11082027008 20364 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10822292 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788628 11082027008 20364 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 81456 KiB
[startup+1.50072 s]
/proc/loadavg: 3.71 5.28 7.03 5/229 3524
/proc/meminfo: memFree=19689148/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10834656 memory=180740 CPUtime=2.63 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 22487 13170 1 1 244 11 5 3 20 0 15 0 409788610 11094687744 45185 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2708664 45185 3577 1 0 2670733 0
[pid=3385/tid=3495] ppid=3381 vsize=10834656 memory=-7318716752159453762 CPUtime=1.4 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 15912 13170 0 1 125 7 5 3 20 0 15 0 409788622 11094687744 45185 33554432000 4194304 4196468 140724150773360 140450319647328 140450331911518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10834656 memory=281361294735184 CPUtime=0.09 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 43 13170 0 1 1 0 5 3 20 0 15 0 409788623 11094687744 45185 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10834656 memory=7234585666996038511 CPUtime=0.09 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 323 13170 0 1 1 0 5 3 20 0 15 0 409788623 11094687744 45185 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10834656 memory=7594598810448582508 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 20 13170 0 1 0 0 5 3 20 0 15 0 409788623 11094687744 45185 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10834656 memory=7596281011985015890 CPUtime=0.09 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 75 13170 0 1 1 0 5 3 20 0 15 0 409788623 11094687744 45185 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10834656 memory=8463011449193127111 CPUtime=0.09 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 152 13170 0 1 1 0 5 3 20 0 15 0 409788624 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 14 13170 0 1 0 0 5 3 20 0 15 0 409788625 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449792648416 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10834656 memory=81124 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788625 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449658430208 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10834656 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 1091 13170 0 1 31 0 5 3 20 0 15 0 409788628 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10834656 memory=6943526294502006880 CPUtime=0.48 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 1108 13170 0 1 40 0 5 3 20 0 15 0 409788628 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10834656 memory=6944656592455359580 CPUtime=0.48 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) S 3381 3385 3331 0 -1 1077944384 1533 13170 0 1 40 0 5 3 20 0 15 0 409788628 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10834656 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11094687744 45185 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10834656 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1 13170 0 1 0 0 5 3 20 0 15 0 409788628 11094687744 45185 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 180740 KiB
[startup+3.11129 s]
/proc/loadavg: 3.71 5.28 7.03 9/229 3525
################
# More data... #
################
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 83866 13170 0 1 235589 65 5 3 20 0 15 0 409788622 11107291136 449429 33554432000 4194304 4196468 140724150773360 140450319666768 140450330818210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10846964 memory=281361296493440 CPUtime=12.36 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 21394 13170 0 1 1170 58 5 3 20 0 15 0 409788623 11107291136 449429 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10846964 memory=0 CPUtime=12.33 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 17091 13170 0 1 1170 55 5 3 20 0 15 0 409788623 11107291136 449429 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10846964 memory=155198643247842 CPUtime=12.34 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 20511 13170 0 1 1168 58 5 3 20 0 15 0 409788623 11107291136 449429 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10846964 memory=8112282956445269571 CPUtime=12.36 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 20138 13170 0 1 1165 63 5 3 20 0 15 0 409788623 11107291136 449429 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10846964 memory=14048 CPUtime=10.7 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 22698 13170 0 1 997 65 5 3 20 0 15 0 409788624 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10846964 memory=1797700 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 16 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449792648480 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10846964 memory=1797700 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 6 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449658430208 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10846964 memory=1660 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10846964 memory=38580 CPUtime=6.14 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 22326 13170 0 1 601 5 5 3 20 0 15 0 409788628 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10846964 memory=0 CPUtime=6.41 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 21359 13170 0 1 629 4 5 3 20 0 15 0 409788628 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10846964 memory=-3252517613198930781 CPUtime=3.82 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) S 3381 3385 3331 0 -1 1077944384 19822 13170 0 1 368 6 5 3 20 0 15 0 409788628 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10846964 memory=1797716 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449429 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10846964 memory=1797716 CPUtime=1.4 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1561 13170 0 1 58 74 5 3 20 0 15 0 409788628 11107291136 449429 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 2433.85 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1797716 KiB
[startup+2442.3 s]
/proc/loadavg: 1.26 1.36 1.77 3/228 3895
/proc/meminfo: memFree=17089836/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10846964 memory=1797772 CPUtime=2494.86 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 255201 13170 1 1 249081 397 5 3 20 0 15 0 409788610 11107291136 449443 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2711741 449443 3626 1 0 2673805 0
[pid=3385/tid=3495] ppid=3381 vsize=10846964 memory=1797772 CPUtime=2415.92 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 84828 13170 0 1 241518 66 5 3 20 0 15 0 409788622 11107291136 449443 33554432000 4194304 4196468 140724150773360 140450319666512 140449943987340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10846964 memory=1797772 CPUtime=12.71 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 21588 13170 0 1 1204 59 5 3 20 0 15 0 409788623 11107291136 449443 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10846964 memory=1797768 CPUtime=12.68 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 17178 13170 0 1 1203 57 5 3 20 0 15 0 409788623 11107291136 449443 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10846964 memory=1797772 CPUtime=12.68 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 20795 13170 0 1 1201 59 5 3 20 0 15 0 409788623 11107291136 449443 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10846964 memory=1797772 CPUtime=12.7 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 20354 13170 0 1 1198 64 5 3 20 0 15 0 409788623 11107291136 449443 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10846964 memory=1797772 CPUtime=10.99 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 23112 13170 0 1 1025 66 5 3 20 0 15 0 409788624 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10846964 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 16 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449792648480 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10846964 memory=1797772 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 6 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449658430208 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10846964 memory=1797772 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10846964 memory=1797772 CPUtime=6.14 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 22330 13170 0 1 601 5 5 3 20 0 15 0 409788628 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10846964 memory=1797772 CPUtime=6.41 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 21363 13170 0 1 629 4 5 3 20 0 15 0 409788628 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10846964 memory=1797772 CPUtime=3.82 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) S 3381 3385 3331 0 -1 1077944384 19826 13170 0 1 368 6 5 3 20 0 15 0 409788628 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10846964 memory=1797772 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449443 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10846964 memory=8112282956445269571 CPUtime=1.42 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1591 13170 0 1 59 75 5 3 20 0 15 0 409788628 11107291136 449443 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 2494.86 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1797772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.11 s]
/proc/loadavg: 1.22 1.35 1.75 3/227 3895
/proc/meminfo: memFree=17087596/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10846964 memory=1799844 CPUtime=2520.08 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 256347 13170 1 1 251600 400 5 3 20 0 15 0 409788610 11107291136 449961 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2711741 449961 3626 1 0 2673805 0
[pid=3385/tid=3495] ppid=3381 vsize=10846964 memory=1799844 CPUtime=2440.45 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 85263 13170 0 1 243970 67 5 3 20 0 15 0 409788622 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450319666096 140449944770431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10846964 memory=1799844 CPUtime=12.85 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 21764 13170 0 1 1218 59 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10846964 memory=1799844 CPUtime=12.81 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 17192 13170 0 1 1216 57 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10846964 memory=1799844 CPUtime=12.82 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 21009 13170 0 1 1214 60 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10846964 memory=10604 CPUtime=12.85 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 20437 13170 0 1 1212 65 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10846964 memory=1799844 CPUtime=11.12 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 23323 13170 0 1 1037 67 5 3 20 0 15 0 409788624 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 16 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449792648480 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 6 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449658430208 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10846964 memory=1799844 CPUtime=6.14 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 22332 13170 0 1 601 5 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10846964 memory=3620 CPUtime=6.41 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 21365 13170 0 1 629 4 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10846964 memory=1799844 CPUtime=3.82 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) S 3381 3385 3331 0 -1 1077944384 19828 13170 0 1 368 6 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10846964 memory=2828 CPUtime=1.44 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1598 13170 0 1 60 76 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1799844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.14 s]
# the end of solver process 3385 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.07 s, system=4.0575 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.11 s]
/proc/loadavg: 1.22 1.35 1.75 3/227 3895
/proc/meminfo: memFree=17087596/32770624 swapFree=66959216/67108860
[pid=3385] ppid=3381 vsize=10846964 memory=1799844 CPUtime=2520.08 cores=1,3,5,7
/proc/3385/stat : 3385 (java) S 3381 3385 3331 0 -1 1077944320 256347 13170 1 1 251600 400 5 3 20 0 15 0 409788610 11107291136 449961 33554432000 4194304 4196468 140724150773360 140724150755904 140450347831031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 2 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
/proc/3385/statm: 2711741 449961 3626 1 0 2673805 0
[pid=3385/tid=3495] ppid=3381 vsize=10846964 memory=1799844 CPUtime=2440.45 cores=1,3,5,7
/proc/3385/task/3495/stat : 3495 (java) R 3381 3385 3331 0 -1 4202560 85263 13170 0 1 243970 67 5 3 20 0 15 0 409788622 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450319666096 140449944770431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3497] ppid=3381 vsize=10846964 memory=1799844 CPUtime=12.85 cores=1,3,5,7
/proc/3385/task/3497/stat : 3497 (java) S 3381 3385 3331 0 -1 1077944384 21764 13170 0 1 1218 59 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450352073744 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3500] ppid=3381 vsize=10846964 memory=1799844 CPUtime=12.81 cores=1,3,5,7
/proc/3385/task/3500/stat : 3500 (java) S 3381 3385 3331 0 -1 1077944384 17192 13170 0 1 1216 57 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450266893456 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3501] ppid=3381 vsize=10846964 memory=1799844 CPUtime=12.82 cores=1,3,5,7
/proc/3385/task/3501/stat : 3501 (java) S 3381 3385 3331 0 -1 1077944384 21009 13170 0 1 1214 60 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450265840400 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3503] ppid=3381 vsize=10846964 memory=10604 CPUtime=12.85 cores=1,3,5,7
/proc/3385/task/3503/stat : 3503 (java) S 3381 3385 3331 0 -1 1077944384 20437 13170 0 1 1212 65 5 3 20 0 15 0 409788623 11107291136 449961 33554432000 4194304 4196468 140724150773360 140450264787856 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3505] ppid=3381 vsize=10846964 memory=1799844 CPUtime=11.12 cores=1,3,5,7
/proc/3385/task/3505/stat : 3505 (java) S 3381 3385 3331 0 -1 1077944384 23323 13170 0 1 1037 67 5 3 20 0 15 0 409788624 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449874516208 140450347842178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3508] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3508/stat : 3508 (java) S 3381 3385 3331 0 -1 1077944384 16 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449792648480 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3510] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3510/stat : 3510 (java) S 3381 3385 3331 0 -1 1077944384 6 13170 0 1 0 0 5 3 20 0 15 0 409788625 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449658430208 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3512] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3512/stat : 3512 (java) S 3381 3385 3331 0 -1 1077944384 2 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449054451664 140450347849627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3514] ppid=3381 vsize=10846964 memory=1799844 CPUtime=6.14 cores=1,3,5,7
/proc/3385/task/3514/stat : 3514 (java) S 3381 3385 3331 0 -1 1077944384 22332 13170 0 1 601 5 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449873464048 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3516] ppid=3381 vsize=10846964 memory=3620 CPUtime=6.41 cores=1,3,5,7
/proc/3385/task/3516/stat : 3516 (java) S 3381 3385 3331 0 -1 1077944384 21365 13170 0 1 629 4 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449872411504 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3518] ppid=3381 vsize=10846964 memory=1799844 CPUtime=3.82 cores=1,3,5,7
/proc/3385/task/3518/stat : 3518 (java) S 3381 3385 3331 0 -1 1077944384 19828 13170 0 1 368 6 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449871358448 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3520] ppid=3381 vsize=10846964 memory=1799844 CPUtime=0.08 cores=1,3,5,7
/proc/3385/task/3520/stat : 3520 (java) S 3381 3385 3331 0 -1 1077944384 3 13170 0 1 0 0 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140448584690528 140450347841237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
[pid=3385/tid=3521] ppid=3381 vsize=10846964 memory=2828 CPUtime=1.44 cores=1,3,5,7
/proc/3385/task/3521/stat : 3521 (java) S 3381 3385 3331 0 -1 1077944384 1598 13170 0 1 60 76 5 3 20 0 15 0 409788628 11107291136 449961 33554432000 4194304 4196468 140724150773360 140449870305840 140450347842178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26177536 140724150778613 140724150781125 140724150781125 140724150783951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1799844 KiB
Child status: 143
Real time (s): 2467.14
CPU time (s): 2520.12
CPU user time (s): 2516.07
CPU system time (s): 4.0575
CPU usage (%): 102.148
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 1800408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 4.0575
maximum resident set size= 1803976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270531
page faults= 2
swaps= 0
block input operations= 144
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 300699
involuntary context switches= 6263
# summary of solver processes directly reported to runsolver:
# pid: 3385
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.07
# total CPU system time (s): 4.0575
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3157 second user time and 19.8424 second system time
The end