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 (9979 MiB free)
memory of node 1: 16384 MiB (13023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392128-1568316417/watcher-4392128-1568316417 -o /tmp/evaluation-result-4392128-1568316417/solver-4392128-1568316417 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568309802-8655 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=323433637 HOME/instance-4392128-1568316417.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11462, runsolver pid=11459
[startup+0.100135 s]*
/proc/loadavg: 1.57 1.44 1.47 3/218 11519
/proc/meminfo: memFree=23547964/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=9972712 memory=15440 CPUtime=0.1 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 4599 13126 0 0 1 1 5 3 20 0 6 0 407579060 10212057088 3860 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2493178 3860 1958 1 0 2481616 0
[pid=11462/tid=11515] ppid=11459 vsize=9988792 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 2425 13126 0 0 0 0 5 3 20 0 6 0 407579069 10228523008 3860 33554432000 4194304 4196468 140732528313984 139881619612240 139881628898528 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=9988792 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 407579070 10228523008 3860 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=9988792 memory=140432713647744 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 407579070 10228523008 3860 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 407579070 10228523008 3860 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 407579070 10228523008 3926 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15440 KiB
[startup+0.209969 s]*
/proc/loadavg: 1.57 1.44 1.47 3/227 11528
/proc/meminfo: memFree=23527616/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10819964 memory=39324 CPUtime=0.27 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 7138 13126 0 0 17 2 5 3 20 0 15 0 407579060 11079643136 9766 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2704991 9766 2982 1 0 2667405 0
[pid=11462/tid=11515] ppid=11459 vsize=10819964 memory=5450916389569530688 CPUtime=0.2 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 3788 13126 0 0 11 1 5 3 20 0 15 0 407579069 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881619600288 139881640455197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10819964 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10819964 memory=140432713647744 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10819964 memory=140432713647744 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579071 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 407579072 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881105818912 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11079643136 10029 33554432000 4194304 4196468 140732528313984 139880977917552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11079643136 10029 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 355 13126 0 0 0 0 5 3 20 0 15 0 407579074 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10819964 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 295 13126 0 0 1 0 5 3 20 0 15 0 407579074 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10819964 memory=140432713647744 CPUtime=0.11 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 697 13126 0 0 3 0 5 3 20 0 15 0 407579074 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11079643136 10029 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10819964 memory=140432713647744 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579075 11079643136 10029 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819964 KiB
Current children cumulated memory: 39324 KiB
[startup+0.310442 s]*
/proc/loadavg: 1.57 1.44 1.47 4/227 11528
/proc/meminfo: memFree=23517228/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10820096 memory=50488 CPUtime=0.41 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 10864 13126 0 0 29 4 5 3 20 0 15 0 407579060 11079778304 12622 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2705024 12622 3245 1 0 2667149 0
[pid=11462/tid=11515] ppid=11459 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 7207 13126 0 0 19 2 5 3 20 0 15 0 407579069 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881619574392 139881250008332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10820096 memory=6155975849802755425 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10820096 memory=5787213827347079232 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10820096 memory=7649539799731554241 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579071 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 407579072 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881105818912 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11079778304 12622 33554432000 4194304 4196468 140732528313984 139880977917552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11079778304 12622 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 358 13126 0 0 1 0 5 3 20 0 15 0 407579074 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 303 13126 0 0 1 0 5 3 20 0 15 0 407579074 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10820096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 744 13126 0 0 5 0 5 3 20 0 15 0 407579074 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11079778304 12622 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579075 11079778304 12622 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50488 KiB
[startup+0.704755 s]
/proc/loadavg: 1.57 1.44 1.47 6/227 11528
/proc/meminfo: memFree=23500632/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10824340 memory=81856 CPUtime=1.16 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 15215 13126 0 0 102 6 5 3 20 0 15 0 407579060 11084124160 20464 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2706085 20464 3508 1 0 2668173 0
[pid=11462/tid=11515] ppid=11459 vsize=10824340 memory=2241 CPUtime=0.68 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 10618 13126 0 0 56 4 5 3 20 0 15 0 407579069 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881619602672 139881647787414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10824340 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579070 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579070 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 5 13126 0 0 0 0 5 3 20 0 15 0 407579071 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 407579072 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881105818912 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11084124160 20464 33554432000 4194304 4196468 140732528313984 139880977917552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11084124160 20464 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) R 11459 11462 8623 0 -1 4202560 624 13126 0 0 13 0 5 3 20 0 15 0 407579074 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881072261528 139881632704975 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 693 13126 0 0 14 0 5 3 20 0 15 0 407579074 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10824340 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) R 11459 11462 8623 0 -1 4202560 1020 13126 0 0 17 0 5 3 20 0 15 0 407579074 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881070156144 139881626730207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10824340 memory=280865225572592 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11084124160 20464 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579075 11084124160 20464 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81856 KiB
[startup+1.50074 s]
/proc/loadavg: 1.57 1.44 1.47 3/227 11528
/proc/meminfo: memFree=23459192/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10834656 memory=167412 CPUtime=2.47 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 22331 13126 0 0 230 9 5 3 20 0 15 0 407579060 11094687744 41853 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2708664 41853 3574 1 0 2670733 0
[pid=11462/tid=11515] ppid=11459 vsize=10834656 memory=21 CPUtime=1.44 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 15755 13126 0 0 131 5 5 3 20 0 15 0 407579069 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881619575624 139881250069607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10834656 memory=27 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 72 13126 0 0 1 0 5 3 20 0 15 0 407579070 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 370 13126 0 0 0 0 5 3 20 0 15 0 407579070 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 33 13126 0 0 1 0 5 3 20 0 15 0 407579070 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10834656 memory=95688 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 37 13126 0 0 1 0 5 3 20 0 15 0 407579070 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 415 13126 0 0 1 0 5 3 20 0 15 0 407579071 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10834656 memory=6296985926779097702 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 34 13126 0 0 0 0 5 3 20 0 15 0 407579072 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881105818976 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10834656 memory=7307484460157659750 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11094687744 41853 33554432000 4194304 4196468 140732528313984 139880977917568 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10834656 memory=7810463772558979180 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11094687744 41853 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10834656 memory=5787213831476700249 CPUtime=0.32 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 790 13126 0 0 24 0 5 3 20 0 15 0 407579074 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10834656 memory=5939233512092690281 CPUtime=0.33 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 808 13126 0 0 25 0 5 3 20 0 15 0 407579074 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10834656 memory=6296985926779097702 CPUtime=0.5 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 1800 13126 0 0 41 1 5 3 20 0 15 0 407579074 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10834656 memory=6296985926779097702 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11094687744 41853 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10834656 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579075 11094687744 41853 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 2.47 s
################
# More data... #
################
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 61548 13126 0 0 223672 42 5 3 20 0 15 0 407579069 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881619610576 139881266001008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10846964 memory=772936 CPUtime=10.58 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 6473 13126 0 0 996 54 5 3 20 0 15 0 407579070 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10846964 memory=772936 CPUtime=10.58 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 9359 13126 0 0 995 55 5 3 20 0 15 0 407579070 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10846964 memory=4540 CPUtime=10.59 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 6658 13126 0 0 996 55 5 3 20 0 15 0 407579070 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10846964 memory=97 CPUtime=10.57 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 12384 13126 0 0 993 56 5 3 20 0 15 0 407579070 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10846964 memory=1408 CPUtime=11.45 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 12404 13126 0 0 1086 51 5 3 20 0 15 0 407579071 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10846964 memory=3176 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 38 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881105818976 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10846964 memory=772936 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193234 33554432000 4194304 4196468 140732528313984 139880977917568 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10846964 memory=772936 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11107291136 193234 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10846964 memory=772936 CPUtime=4.45 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 24285 13126 0 0 432 5 5 3 20 0 15 0 407579074 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10846964 memory=772936 CPUtime=3.63 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 16946 13126 0 0 351 4 5 3 20 0 15 0 407579074 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10846964 memory=1228 CPUtime=3.4 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 27283 13126 0 0 325 7 5 3 20 0 15 0 407579074 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10846964 memory=2352 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11107291136 193234 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10846964 memory=1792 CPUtime=1.37 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1118 13126 0 0 62 67 5 3 20 0 15 0 407579075 11107291136 193234 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 2303.22 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 772936 KiB
[startup+2322.3 s]
/proc/loadavg: 1.27 1.40 1.40 3/228 12151
/proc/meminfo: memFree=22867416/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10846964 memory=773048 CPUtime=2364.13 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 182376 13126 0 0 236063 342 5 3 20 0 15 0 407579060 11107291136 193262 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2711741 193262 3627 1 0 2673805 0
[pid=11462/tid=11515] ppid=11459 vsize=10846964 memory=773048 CPUtime=2296.54 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 62244 13126 0 0 229604 42 5 3 20 0 15 0 407579069 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881619610576 139881254570816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10846964 memory=773048 CPUtime=10.89 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 6551 13126 0 0 1026 55 5 3 20 0 15 0 407579070 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10846964 memory=773048 CPUtime=10.89 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 9628 13126 0 0 1024 57 5 3 20 0 15 0 407579070 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10846964 memory=15208 CPUtime=10.89 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 6726 13126 0 0 1025 56 5 3 20 0 15 0 407579070 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10846964 memory=773048 CPUtime=10.88 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 12456 13126 0 0 1023 57 5 3 20 0 15 0 407579070 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10846964 memory=773048 CPUtime=11.78 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 12633 13126 0 0 1117 53 5 3 20 0 15 0 407579071 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10846964 memory=38248 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 38 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881105818976 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10846964 memory=773048 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193262 33554432000 4194304 4196468 140732528313984 139880977917568 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10846964 memory=7168 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11107291136 193262 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10846964 memory=773048 CPUtime=4.45 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 24287 13126 0 0 432 5 5 3 20 0 15 0 407579074 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10846964 memory=773048 CPUtime=3.63 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 16948 13126 0 0 351 4 5 3 20 0 15 0 407579074 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10846964 memory=3924 CPUtime=3.4 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 27514 13126 0 0 325 7 5 3 20 0 15 0 407579074 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10846964 memory=38248 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11107291136 193262 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10846964 memory=773048 CPUtime=1.4 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1135 13126 0 0 63 69 5 3 20 0 15 0 407579075 11107291136 193262 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 2364.13 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 773048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2357.7 s]
/proc/loadavg: 1.37 1.42 1.40 3/228 12153
/proc/meminfo: memFree=22866956/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10846964 memory=773088 CPUtime=2400.08 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 183508 13126 0 0 239653 347 5 3 20 0 15 0 407579060 11107291136 193272 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2711741 193272 3627 1 0 2673805 0
[pid=11462/tid=11515] ppid=11459 vsize=10846964 memory=773088 CPUtime=2331.55 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 62684 13126 0 0 233104 43 5 3 20 0 15 0 407579069 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881619610272 139881262779178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.07 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 6597 13126 0 0 1043 56 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10846964 memory=280865226689376 CPUtime=11.06 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 9962 13126 0 0 1041 57 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.07 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 6792 13126 0 0 1042 57 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.06 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 12475 13126 0 0 1040 58 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.96 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 12849 13126 0 0 1135 53 5 3 20 0 15 0 407579071 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10846964 memory=773088 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 38 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881105818976 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10846964 memory=773088 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193272 33554432000 4194304 4196468 140732528313984 139880977917568 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10846964 memory=770788 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10846964 memory=770788 CPUtime=4.45 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 24289 13126 0 0 432 5 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10846964 memory=6791534058613427641 CPUtime=3.63 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 16950 13126 0 0 351 4 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10846964 memory=2352 CPUtime=3.4 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 27516 13126 0 0 325 7 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10846964 memory=772936 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11107291136 193272 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10846964 memory=772936 CPUtime=1.42 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1140 13126 0 0 64 70 5 3 20 0 15 0 407579075 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 773088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2357.73 s]
# the end of solver process 11462 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.6 s, system=3.51474 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2357.7 s]
/proc/loadavg: 1.37 1.42 1.40 3/228 12153
/proc/meminfo: memFree=22866956/32770624 swapFree=67108848/67108860
[pid=11462] ppid=11459 vsize=10846964 memory=773088 CPUtime=2400.08 cores=1,3,5,7
/proc/11462/stat : 11462 (java) S 11459 11462 8623 0 -1 1077944320 183508 13126 0 0 239653 347 5 3 20 0 15 0 407579060 11107291136 193272 33554432000 4194304 4196468 140732528313984 140732528296528 139881647775479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
/proc/11462/statm: 2711741 193272 3627 1 0 2673805 0
[pid=11462/tid=11515] ppid=11459 vsize=10846964 memory=773088 CPUtime=2331.55 cores=1,3,5,7
/proc/11462/task/11515/stat : 11515 (java) R 11459 11462 8623 0 -1 4202560 62684 13126 0 0 233104 43 5 3 20 0 15 0 407579069 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881619610272 139881262779178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11516] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.07 cores=1,3,5,7
/proc/11462/task/11516/stat : 11516 (java) S 11459 11462 8623 0 -1 1077944384 6597 13126 0 0 1043 56 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881652017552 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11517] ppid=11459 vsize=10846964 memory=280865226689376 CPUtime=11.06 cores=1,3,5,7
/proc/11462/task/11517/stat : 11517 (java) S 11459 11462 8623 0 -1 1077944384 9962 13126 0 0 1041 57 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881583929616 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11518] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.07 cores=1,3,5,7
/proc/11462/task/11518/stat : 11518 (java) S 11459 11462 8623 0 -1 1077944384 6792 13126 0 0 1042 57 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881219492496 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11519] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.06 cores=1,3,5,7
/proc/11462/task/11519/stat : 11519 (java) S 11459 11462 8623 0 -1 1077944384 12475 13126 0 0 1040 58 5 3 20 0 15 0 407579070 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881218439696 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11520] ppid=11459 vsize=10846964 memory=773088 CPUtime=11.96 cores=1,3,5,7
/proc/11462/task/11520/stat : 11520 (java) S 11459 11462 8623 0 -1 1077944384 12849 13126 0 0 1135 53 5 3 20 0 15 0 407579071 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881106872944 139881647786626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11521] ppid=11459 vsize=10846964 memory=773088 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11521/stat : 11521 (java) S 11459 11462 8623 0 -1 1077944384 38 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881105818976 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11522] ppid=11459 vsize=10846964 memory=773088 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11522/stat : 11522 (java) S 11459 11462 8623 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 407579072 11107291136 193272 33554432000 4194304 4196468 140732528313984 139880977917568 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11523] ppid=11459 vsize=10846964 memory=770788 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11523/stat : 11523 (java) S 11459 11462 8623 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139880373938768 139881647794075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11524] ppid=11459 vsize=10846964 memory=770788 CPUtime=4.45 cores=1,3,5,7
/proc/11462/task/11524/stat : 11524 (java) S 11459 11462 8623 0 -1 1077944384 24289 13126 0 0 432 5 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881072261232 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11525] ppid=11459 vsize=10846964 memory=6791534058613427641 CPUtime=3.63 cores=1,3,5,7
/proc/11462/task/11525/stat : 11525 (java) S 11459 11462 8623 0 -1 1077944384 16950 13126 0 0 351 4 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881071208432 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11526] ppid=11459 vsize=10846964 memory=2352 CPUtime=3.4 cores=1,3,5,7
/proc/11462/task/11526/stat : 11526 (java) S 11459 11462 8623 0 -1 1077944384 27516 13126 0 0 325 7 5 3 20 0 15 0 407579074 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881070156144 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11527] ppid=11459 vsize=10846964 memory=772936 CPUtime=0.08 cores=1,3,5,7
/proc/11462/task/11527/stat : 11527 (java) S 11459 11462 8623 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 407579075 11107291136 193272 33554432000 4194304 4196468 140732528313984 139879904176608 139881647785685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
[pid=11462/tid=11528] ppid=11459 vsize=10846964 memory=772936 CPUtime=1.42 cores=1,3,5,7
/proc/11462/task/11528/stat : 11528 (java) S 11459 11462 8623 0 -1 1077944384 1140 13126 0 0 64 70 5 3 20 0 15 0 407579075 11107291136 193272 33554432000 4194304 4196468 140732528313984 139881069104048 139881647786626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6402048 140732528315126 140732528317637 140732528317637 140732528320463 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 773088 KiB
Child status: 143
Real time (s): 2357.73
CPU time (s): 2400.12
CPU user time (s): 2396.6
CPU system time (s): 3.51474
CPU usage (%): 101.798
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 773088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.6
system time used= 3.51474
maximum resident set size= 777224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297106
involuntary context switches= 6770
# summary of solver processes directly reported to runsolver:
# pid: 11462
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.6
# total CPU system time (s): 3.51474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8022 second user time and 20.3563 second system time
The end