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 (14144 MiB free)
memory of node 1: 16384 MiB (15348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400962-1568676592/watcher-4400962-1568676592 -o /tmp/evaluation-result-4400962-1568676592/solver-4400962-1568676592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5872 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1342979146 HOME/instance-4400962-1568676592.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=6949, runsolver pid=6946
[startup+0.100059 s]*
/proc/loadavg: 1.73 1.73 1.61 3/218 7006
/proc/meminfo: memFree=30192244/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=9972712 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 4442 13011 0 0 1 0 5 3 20 0 6 0 443917437 10212057088 4714 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2493178 4714 1935 1 0 2481616 0
[pid=6949/tid=7002] ppid=6946 vsize=9988792 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 2276 13011 0 0 1 0 5 3 20 0 6 0 443917446 10228523008 4780 33554432000 4194304 4196468 140726361088000 139748354212432 139748363498720 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=9988792 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 443917447 10228523008 4780 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=9988792 memory=140716178536064 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 443917447 10228523008 4780 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 443917447 10228523008 4780 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 443917447 10228523008 4780 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.210265 s]*
/proc/loadavg: 1.73 1.73 1.61 4/227 7015
/proc/meminfo: memFree=30170672/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10820196 memory=45776 CPUtime=0.28 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 7257 13011 0 0 18 2 5 3 20 0 15 0 443917437 11079880704 11444 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2705049 11444 3300 1 0 2667149 0
[pid=6949/tid=7002] ppid=6946 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 3741 13011 0 0 11 1 5 3 20 0 15 0 443917446 11079880704 11444 33554432000 4194304 4196468 140726361088000 139748354189856 139747985083376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10820196 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 11444 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10820196 memory=140716178543270 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 11444 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10820196 memory=140716178536064 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917448 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 443917449 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747833931424 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747229951216 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11079880704 11444 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) S 6946 6949 5840 0 -1 1077944384 343 13011 0 0 1 0 5 3 20 0 15 0 443917452 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747907901680 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) S 6946 6949 5840 0 -1 1077944384 312 13011 0 0 1 0 5 3 20 0 15 0 443917452 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747906849136 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10820196 memory=140716178536064 CPUtime=0.11 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) S 6946 6949 5840 0 -1 1077944384 630 13011 0 0 3 0 5 3 20 0 15 0 443917452 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747905796080 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11079880704 11444 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10820196 memory=140716178536064 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917452 11079880704 11444 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45776 KiB
[startup+0.310928 s]*
/proc/loadavg: 1.73 1.73 1.61 3/227 7015
/proc/meminfo: memFree=30157852/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10820196 memory=53996 CPUtime=0.4 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 10740 13011 0 0 29 3 5 3 20 0 15 0 443917437 11079880704 13499 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2705049 13499 3311 1 0 2667149 0
[pid=6949/tid=7002] ppid=6946 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 7200 13011 0 0 19 2 5 3 20 0 15 0 443917446 11079880704 13499 33554432000 4194304 4196468 140726361088000 139748354181776 139748382387606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 13499 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 13499 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917447 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917448 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 443917449 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747833931424 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747229951216 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11079880704 13499 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) S 6946 6949 5840 0 -1 1077944384 343 13011 0 0 2 0 5 3 20 0 15 0 443917452 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747907901680 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) S 6946 6949 5840 0 -1 1077944384 313 13011 0 0 1 0 5 3 20 0 15 0 443917452 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747906849136 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10820196 memory=140716178536064 CPUtime=0.13 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) R 6946 6949 5840 0 -1 4202560 648 13011 0 0 5 0 5 3 20 0 15 0 443917452 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747905796080 139748382387606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11079880704 13499 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10820196 memory=140716178536064 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917452 11079880704 13499 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53996 KiB
[startup+0.701895 s]
/proc/loadavg: 1.73 1.73 1.61 5/227 7015
/proc/meminfo: memFree=30144444/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10824364 memory=87732 CPUtime=1.14 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 15175 13011 0 0 101 5 5 3 20 0 15 0 443917437 11084148736 21933 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2706091 21933 3506 1 0 2668173 0
[pid=6949/tid=7002] ppid=6946 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 10495 13011 0 0 55 4 5 3 20 0 15 0 443917446 11084148736 21933 33554432000 4194304 4196468 140726361088000 139748354202832 139748382387606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917447 11084148736 21933 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917447 11084148736 21933 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10824364 memory=140716080771280 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917447 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10824364 memory=140720308486761 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917447 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10824364 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 5 13011 0 0 0 0 5 3 20 0 15 0 443917448 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 443917449 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747833931424 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10824364 memory=8100400492039394406 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747229951216 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10824364 memory=14056 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11084148736 21933 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10824364 memory=2116 CPUtime=0.21 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) R 6946 6949 5840 0 -1 4202560 751 13011 0 0 13 0 5 3 20 0 15 0 443917452 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747907888224 139748365587901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10824364 memory=516 CPUtime=0.22 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) R 6946 6949 5840 0 -1 4202560 782 13011 0 0 14 0 5 3 20 0 15 0 443917452 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747906849136 139748365786486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10824364 memory=1556 CPUtime=0.25 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) R 6946 6949 5840 0 -1 4202560 906 13011 0 0 17 0 5 3 20 0 15 0 443917452 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747905796080 139748382397018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10824364 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11084148736 21933 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10824364 memory=1772 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917452 11084148736 21933 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87732 KiB
[startup+1.50077 s]
/proc/loadavg: 1.73 1.73 1.61 3/227 7015
/proc/meminfo: memFree=30099552/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10834680 memory=175720 CPUtime=2.48 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 21903 13011 0 0 231 9 5 3 20 0 15 0 443917437 11094712320 43930 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2708670 43930 3574 1 0 2670733 0
[pid=6949/tid=7002] ppid=6946 vsize=10834680 memory=172180 CPUtime=1.43 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 15399 13011 0 0 130 5 5 3 20 0 15 0 443917446 11094712320 43930 33554432000 4194304 4196468 140726361088000 139748354179280 139748382387606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10834680 memory=2436 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 388 13011 0 0 1 0 5 3 20 0 15 0 443917447 11094712320 43930 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10834680 memory=1760 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 34 13011 0 0 1 0 5 3 20 0 15 0 443917447 11094712320 43930 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 47 13011 0 0 1 0 5 3 20 0 15 0 443917447 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10834680 memory=-7303279828959712342 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 65 13011 0 0 1 0 5 3 20 0 15 0 443917447 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10834680 memory=3833724587141655611 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 135 13011 0 0 1 0 5 3 20 0 15 0 443917448 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10834680 memory=-6870368076204431200 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 15 0 443917449 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747833931488 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10834680 memory=-6078294146213043397 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747229951232 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11094712320 43930 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10834680 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) S 6946 6949 5840 0 -1 1077944384 938 13011 0 0 25 0 5 3 20 0 15 0 443917452 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747907901680 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10834680 memory=4580 CPUtime=0.33 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) S 6946 6949 5840 0 -1 1077944384 953 13011 0 0 25 0 5 3 20 0 15 0 443917452 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747906839968 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10834680 memory=7517750605844341842 CPUtime=0.49 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) R 6946 6949 5840 0 -1 4202560 1714 13011 0 0 41 0 5 3 20 0 15 0 443917452 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747905796080 139748382387606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10834680 memory=7229491684754018645 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11094712320 43930 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10834680 memory=7516902878303971183 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917452 11094712320 43930 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+3.11228 s]
/proc/loadavg: 1.73 1.73 1.61 5/227 7015
/proc/meminfo: memFree=29939800/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10842892 memory=294480 CPUtime=7.27 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 34062 13011 0 0 702 17 5 3 20 0 15 0 443917437 11103121408 73620 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2710723 73620 3606 1 0 2672781 0
[pid=6949/tid=7002] ppid=6946 vsize=10842892 memory=212344 CPUtime=3.02 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 18740 13011 0 0 286 8 5 3 20 0 15 0 443917446 11103121408 73620 33554432000 4194304 4196468 140726361088000 139748354208144 139748362100704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10842892 memory=7667210584385017443 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 409 13011 0 0 1 0 5 3 20 0 15 0 443917447 11103121408 73620 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10842892 memory=180896 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 40 13011 0 0 1 0 5 3 20 0 15 0 443917447 11103121408 73620 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10842892 memory=4137290303932963203 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 56 13011 0 0 1 0 5 3 20 0 15 0 443917447 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10842892 memory=6944656591801719708 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 70 13011 0 0 1 0 5 3 20 0 15 0 443917447 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10842892 memory=-7384994778349281184 CPUtime=0.09 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 156 13011 0 0 1 0 5 3 20 0 15 0 443917448 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10842892 memory=6226903120067781730 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 15 0 443917449 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747833931488 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10842892 memory=4638778419807604048 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747229951232 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11103121408 73620 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10842892 memory=136 CPUtime=1.63 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) R 6946 6949 5840 0 -1 4202560 4085 13011 0 0 154 1 5 3 20 0 15 0 443917452 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747907891472 139748362092807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10842892 memory=116 CPUtime=1.43 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) R 6946 6949 5840 0 -1 4202560 2657 13011 0 0 134 1 5 3 20 0 15 0 443917452 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747906834768 139748366768179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10842892 memory=110 CPUtime=1.26 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) S 6946 6949 5840 0 -1 1077944384 5618 13011 0 0 116 2 5 3 20 0 15 0 443917452 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747905796080 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11103121408 73620 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917452 11103121408 73620 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 294480 KiB
[startup+6.3008 s]
/proc/loadavg: 1.83 1.75 1.62 5/227 7016
/proc/meminfo: memFree=29876848/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10846988 memory=351496 CPUtime=17.22 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 53115 13011 0 0 1692 22 5 3 20 0 15 0 443917437 11107315712 87874 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2711747 87874 3622 1 0 2673805 0
[pid=6949/tid=7002] ppid=6946 vsize=10846988 memory=290763849282617370 CPUtime=6.11 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 23345 13011 0 0 594 9 5 3 20 0 15 0 443917446 11107315712 87874 33554432000 4194304 4196468 140726361088000 139748354208464 139748003939108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10846988 memory=4126316290023845779 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 449 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 87874 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10846988 memory=1772 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 82 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 87874 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10846988 memory=904 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 202 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10846988 memory=177268 CPUtime=0.15 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 451 13011 0 0 6 1 5 3 20 0 15 0 443917447 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10846988 memory=20 CPUtime=0.12 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 4083 13011 0 0 4 0 5 3 20 0 15 0 443917448 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10846988 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 15 13011 0 0 0 0 5 3 20 0 15 0 443917449 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747833931488 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747229951232 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 87874 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10846988 memory=344328 CPUtime=4.61 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) R 6946 6949 5840 0 -1 4202560 6929 13011 0 0 452 1 5 3 20 0 15 0 443917452 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747907888096 139748363939227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10846988 memory=4638778419807604048 CPUtime=4.41 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) R 6946 6949 5840 0 -1 4202560 7653 13011 0 0 431 2 5 3 20 0 15 0 443917452 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747906833328 139748365762230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10846988 memory=4580 CPUtime=1.92 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) S 6946 6949 5840 0 -1 1077944384 7680 13011 0 0 181 3 5 3 20 0 15 0 443917452 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747905796080 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10846988 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 87874 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10846988 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 10 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 87874 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 17.22 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 351496 KiB
[startup+6.55306 s]
# the end of solver process 6949 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.4302 s, system=0.271138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4011 s]
/proc/loadavg: 1.83 1.75 1.62 5/227 7016
/proc/meminfo: memFree=29876848/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10846988 memory=351608 CPUtime=17.47 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 53143 13011 0 0 1717 22 5 3 20 0 15 0 443917437 11107315712 87902 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2711747 87902 3622 1 0 2673805 0
[pid=6949/tid=7002] ppid=6946 vsize=10846988 memory=-7522837583129502606 CPUtime=6.21 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 23345 13011 0 0 604 9 5 3 20 0 15 0 443917446 11107315712 87902 33554432000 4194304 4196468 140726361088000 139748354209008 139748003684802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10846988 memory=180896 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 449 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 87902 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10846988 memory=4137290303932963203 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 82 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 87902 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10846988 memory=3624 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 202 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10846988 memory=34548 CPUtime=0.15 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 451 13011 0 0 6 1 5 3 20 0 15 0 443917447 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10846988 memory=984 CPUtime=0.12 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 4083 13011 0 0 4 0 5 3 20 0 15 0 443917448 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10846988 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 15 13011 0 0 0 0 5 3 20 0 15 0 443917449 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747833931488 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10846988 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747229951232 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10846988 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 87902 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10846988 memory=7396 CPUtime=4.69 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) R 6946 6949 5840 0 -1 1077944384 6940 13011 0 0 460 1 5 3 20 0 15 0 443917452 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747907901680 139748382386818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10846988 memory=4000 CPUtime=4.47 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) R 6946 6949 5840 0 -1 4202560 7666 13011 0 0 437 2 5 3 20 0 15 0 443917452 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747906849136 139748382387606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10846988 memory=616 CPUtime=1.94 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) R 6946 6949 5840 0 -1 1077944384 7684 13011 0 0 183 3 5 3 20 0 15 0 443917452 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747905796080 139748382386818 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10846988 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 87902 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10846988 memory=1624 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 10 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 87902 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 17.47 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 351608 KiB
[startup+6.50072 s]
/proc/loadavg: 1.83 1.75 1.62 5/227 7016
/proc/meminfo: memFree=29876848/32770624 swapFree=66939588/67108860
[pid=6949] ppid=6946 vsize=10846988 memory=366064 CPUtime=17.61 cores=1,3,5,7
/proc/6949/stat : 6949 (java) S 6946 6949 5840 0 -1 1077944320 53186 13011 0 0 1731 22 5 3 20 0 15 0 443917437 11107315712 91516 33554432000 4194304 4196468 140726361088000 140726361070544 139748382375671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
/proc/6949/statm: 2711747 91516 3622 1 0 2673805 0
[pid=6949/tid=7002] ppid=6946 vsize=10846988 memory=1772 CPUtime=6.31 cores=1,3,5,7
/proc/6949/task/7002/stat : 7002 (java) R 6946 6949 5840 0 -1 4202560 23359 13011 0 0 613 10 5 3 20 0 15 0 443917446 11107315712 91516 33554432000 4194304 4196468 140726361088000 139748354208704 139748004334117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7003] ppid=6946 vsize=10846988 memory=904 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7003/stat : 7003 (java) S 6946 6949 5840 0 -1 1077944384 449 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 91516 33554432000 4194304 4196468 140726361088000 139748386617872 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7004] ppid=6946 vsize=10846988 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7004/stat : 7004 (java) S 6946 6949 5840 0 -1 1077944384 82 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 91516 33554432000 4194304 4196468 140726361088000 139748305369744 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7005] ppid=6946 vsize=10846988 memory=4638778398332698720 CPUtime=0.14 cores=1,3,5,7
/proc/6949/task/7005/stat : 7005 (java) S 6946 6949 5840 0 -1 1077944384 202 13011 0 0 6 0 5 3 20 0 15 0 443917447 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747954448656 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7006] ppid=6946 vsize=10846988 memory=290763849282617370 CPUtime=0.15 cores=1,3,5,7
/proc/6949/task/7006/stat : 7006 (java) S 6946 6949 5840 0 -1 1077944384 451 13011 0 0 6 1 5 3 20 0 15 0 443917447 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747953396112 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7007] ppid=6946 vsize=10846988 memory=4126316290023845779 CPUtime=0.12 cores=1,3,5,7
/proc/6949/task/7007/stat : 7007 (java) S 6946 6949 5840 0 -1 1077944384 4083 13011 0 0 4 0 5 3 20 0 15 0 443917448 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747908954864 139748382386818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7008] ppid=6946 vsize=10846988 memory=177268 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7008/stat : 7008 (java) S 6946 6949 5840 0 -1 1077944384 15 13011 0 0 0 0 5 3 20 0 15 0 443917449 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747833931488 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7009] ppid=6946 vsize=10846988 memory=20 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7009/stat : 7009 (java) S 6946 6949 5840 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 443917449 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747229951232 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7010] ppid=6946 vsize=10846988 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7010/stat : 7010 (java) S 6946 6949 5840 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 91516 33554432000 4194304 4196468 140726361088000 139746894408144 139748382394267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7011] ppid=6946 vsize=10846988 memory=0 CPUtime=4.7 cores=1,3,5,7
/proc/6949/task/7011/stat : 7011 (java) S 6946 6949 5840 0 -1 1077944384 6945 13011 0 0 461 1 5 3 20 0 15 0 443917452 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747907901680 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7012] ppid=6946 vsize=10846988 memory=0 CPUtime=4.49 cores=1,3,5,7
/proc/6949/task/7012/stat : 7012 (java) S 6946 6949 5840 0 -1 1077944384 7672 13011 0 0 439 2 5 3 20 0 15 0 443917452 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747906849136 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7013] ppid=6946 vsize=10846988 memory=344328 CPUtime=1.95 cores=1,3,5,7
/proc/6949/task/7013/stat : 7013 (java) S 6946 6949 5840 0 -1 1077944384 7702 13011 0 0 184 3 5 3 20 0 15 0 443917452 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747905796080 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7014] ppid=6946 vsize=10846988 memory=4638778419807604048 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7014/stat : 7014 (java) S 6946 6949 5840 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 91516 33554432000 4194304 4196468 140726361088000 139746625972576 139748382385877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
[pid=6949/tid=7015] ppid=6946 vsize=10846988 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/6949/task/7015/stat : 7015 (java) S 6946 6949 5840 0 -1 1077944384 10 13011 0 0 0 0 5 3 20 0 15 0 443917452 11107315712 91516 33554432000 4194304 4196468 140726361088000 139747904744496 139748382386818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140726361090799 140726361093317 140726361093317 140726361096143 0
Current children cumulated CPU time: 17.61 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 366064 KiB
Child status: 0
Real time (s): 6.55311
CPU time (s): 17.7014
CPU user time (s): 17.4302
CPU system time (s): 0.271138
CPU usage (%): 270.121
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 366064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4302
system time used= 0.271138
maximum resident set size= 374268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7143
involuntary context switches= 68
# summary of solver processes directly reported to runsolver:
# pid: 6949
# total CPU time (s): 17.7014
# total CPU user time (s): 17.4302
# total CPU system time (s): 0.271138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05766 second user time and 0.110263 second system time
The end