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 (3921 MiB free)
memory of node 1: 16384 MiB (4990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304368-1534064542/watcher-4304368-1534064542 -o /tmp/evaluation-result-4304368-1534064542/solver-4304368-1534064542 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1813044350 -superng HOME/instance-4304368-1534064542.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
solver pid=21948, runsolver pid=21945
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.65 1.49 1.42 3/207 22005
/proc/meminfo: memFree=9120192/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=10005480 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 4356 13016 0 0 1 1 4 3 20 0 6 0 224017408 10245611520 4714 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2501370 4714 1934 1 0 2489808 0
[pid=21948/tid=22001] ppid=21945 vsize=10005480 memory=4279135704013833615 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 2157 13016 0 0 0 0 4 3 20 0 6 0 224017417 10245611520 4714 33554432000 4194304 4196468 140726389204016 140587263521360 140587291706525 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 6 0 224017418 10245611520 4714 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=10005480 memory=140651005519488 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 6 0 224017418 10245611520 4714 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 6 0 224017418 10245611520 4714 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 6 0 224017418 10245611520 4714 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18856 KiB
[startup+0.209856 s]*
/proc/loadavg: 1.65 1.49 1.42 3/216 22014
/proc/meminfo: memFree=9096348/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=10985364 memory=46716 CPUtime=0.25 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 8413 13016 0 0 17 1 4 3 20 0 15 0 224017408 11249012736 11679 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2746341 11679 2951 1 0 2708764 0
[pid=21948/tid=22001] ppid=21945 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 5100 13016 0 0 10 1 4 3 20 0 15 0 224017417 11249012736 11811 33554432000 4194304 4196468 140726389204016 140587263509408 140587284364317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=10985364 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017418 11249012736 11811 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=10985364 memory=4122120890093446816 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017418 11249012736 11811 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017418 11249012736 11459 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017418 11249012736 11459 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=10983736 memory=140651005519488 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017419 11247345664 11459 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 13 13016 0 0 0 0 4 3 20 0 15 0 224017420 11247345664 11219 33554432000 4194304 4196468 140726389204016 140586090751520 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017420 11247345664 11219 33554432000 4194304 4196468 140726389204016 140585889424752 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246329856 11211 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 439 13016 0 0 1 0 4 3 20 0 15 0 224017423 11246329856 11211 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 179 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246329856 11211 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=10982744 memory=140651005519488 CPUtime=0.1 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 620 13016 0 0 3 0 4 3 20 0 15 0 224017423 11246329856 11211 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246329856 11211 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=10982744 memory=140651005519488 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246329856 11211 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46716 KiB
[startup+0.310262 s]*
/proc/loadavg: 1.65 1.49 1.42 4/216 22014
/proc/meminfo: memFree=9083200/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=10983192 memory=55304 CPUtime=0.38 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 10452 13016 0 0 29 2 4 3 20 0 15 0 224017408 11246788608 13826 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2745798 13826 3070 1 0 2708109 0
[pid=21948/tid=22001] ppid=21945 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 6965 13016 0 0 20 2 4 3 20 0 15 0 224017417 11246788608 13826 33554432000 4194304 4196468 140726389204016 140587263504608 140587283921726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 13826 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 13826 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017419 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 13 13016 0 0 0 0 4 3 20 0 15 0 224017420 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586090751520 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017420 11246788608 13826 33554432000 4194304 4196468 140726389204016 140585889424752 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246788608 13826 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 442 13016 0 0 2 0 4 3 20 0 15 0 224017423 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 181 13016 0 0 1 0 4 3 20 0 15 0 224017423 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=10983192 memory=140651005519488 CPUtime=0.12 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 639 13016 0 0 5 0 4 3 20 0 15 0 224017423 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246788608 13826 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=10983192 memory=140651005519488 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246788608 13826 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55304 KiB
[startup+0.700837 s]
/proc/loadavg: 1.65 1.49 1.42 3/216 22014
/proc/meminfo: memFree=9073400/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=10983192 memory=88332 CPUtime=0.98 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 16758 13016 0 0 87 4 4 3 20 0 15 0 224017408 11246788608 22083 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2745798 22083 3238 1 0 2708109 0
[pid=21948/tid=22001] ppid=21945 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 12178 13016 0 0 56 3 4 3 20 0 15 0 224017417 11246788608 22083 33554432000 4194304 4196468 140726389204016 140587263505424 140587273248151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 22083 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 22083 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=10983192 memory=140650850956080 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=10983192 memory=140651589009996 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 2 13016 0 0 0 0 4 3 20 0 15 0 224017418 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 5 13016 0 0 0 0 4 3 20 0 15 0 224017419 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 13 13016 0 0 0 0 4 3 20 0 15 0 224017420 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586090751520 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017420 11246788608 22083 33554432000 4194304 4196468 140726389204016 140585889424752 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246788608 22083 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=10983192 memory=33636 CPUtime=0.14 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 851 13016 0 0 7 0 4 3 20 0 15 0 224017423 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=10983192 memory=14644 CPUtime=0.16 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 776 13016 0 0 9 0 4 3 20 0 15 0 224017423 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=10983192 memory=1720 CPUtime=0.19 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 725 13016 0 0 12 0 4 3 20 0 15 0 224017423 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246788608 22083 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017423 11246788608 22083 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88332 KiB
[startup+1.50653 s]
/proc/loadavg: 1.65 1.49 1.42 3/216 22014
/proc/meminfo: memFree=9027104/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=10996044 memory=205396 CPUtime=2.86 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 25125 13016 0 0 270 9 4 3 20 0 15 0 224017408 11259949056 51349 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2749011 51349 3470 1 0 2710669 0
[pid=21948/tid=22001] ppid=21945 vsize=10996044 memory=65060 CPUtime=1.42 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) S 21945 21948 21340 0 -1 1077944384 16981 13016 0 0 130 5 4 3 20 0 15 0 224017417 11259949056 51349 33554432000 4194304 4196468 140726389204016 140587263499152 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) R 21945 21948 21340 0 -1 4202560 165 13016 0 0 1 0 4 3 20 0 15 0 224017418 11259949056 51349 33554432000 4194304 4196468 140726389204016 140587295927048 140587284312807 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=10996044 memory=281301701943456 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 26 13016 0 0 1 0 4 3 20 0 15 0 224017418 11259949056 51349 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 60 13016 0 0 1 0 4 3 20 0 15 0 224017418 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586829797792 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 30 13016 0 0 1 0 4 3 20 0 15 0 224017418 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 93 13016 0 0 1 0 4 3 20 0 15 0 224017419 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586784785824 140587291694805 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 13 13016 0 0 0 0 4 3 20 0 15 0 224017420 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586090751520 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017420 11259949056 51349 33554432000 4194304 4196468 140726389204016 140585889424752 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=10996044 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11259949056 51349 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=10996044 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 2233 13016 0 0 44 0 4 3 20 0 15 0 224017423 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=10996044 memory=10 CPUtime=0.51 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 1591 13016 0 0 44 0 4 3 20 0 15 0 224017423 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=10996044 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 1729 13016 0 0 43 0 4 3 20 0 15 0 224017423 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=10996044 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11259949056 51349 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=10996044 memory=281301702187904 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 1 13016 0 0 0 0 4 3 20 0 15 0 224017423 11259949056 51349 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 189106 13016 0 0 237732 63 4 3 20 0 15 0 224017417 11345952768 462073 33554432000 4194304 4196468 140726389204016 140587263519424 140586866371844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=11080032 memory=1848292 CPUtime=3.91 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 23277 13016 0 0 331 53 4 3 20 0 15 0 224017418 11345952768 462073 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=11080032 memory=1915508 CPUtime=3.91 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 24164 13016 0 0 331 53 4 3 20 0 15 0 224017418 11345952768 462073 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=11080032 memory=1848292 CPUtime=3.9 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 23174 13016 0 0 332 51 4 3 20 0 15 0 224017418 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=11080032 memory=3684 CPUtime=3.89 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 22167 13016 0 0 329 53 4 3 20 0 15 0 224017418 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=11080032 memory=61040 CPUtime=0.38 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 21719 13016 0 0 24 7 4 3 20 0 15 0 224017419 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=11080032 memory=1876508 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 14 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586090751584 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=11080032 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 462073 33554432000 4194304 4196468 140726389204016 140585889424768 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=11080032 memory=1848292 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 462073 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=11080032 memory=1848292 CPUtime=6.09 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 70541 13016 0 0 595 7 4 3 20 0 15 0 224017423 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=11080032 memory=61040 CPUtime=6.36 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 65516 13016 0 0 621 8 4 3 20 0 15 0 224017423 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=11080032 memory=2148 CPUtime=2.79 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 48239 13016 0 0 265 7 4 3 20 0 15 0 224017423 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 462073 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=11080032 memory=1172 CPUtime=1.4 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 3243 13016 0 0 54 79 4 3 20 0 15 0 224017423 11345952768 462073 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 2410.13 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1848292 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.73 1.71 3/216 22216
/proc/meminfo: memFree=8386492/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=11080032 memory=1702612 CPUtime=2470.26 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 501875 13016 0 0 246644 375 4 3 20 0 15 0 224017408 11345952768 425653 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2770008 425653 3532 1 0 2731661 0
[pid=21948/tid=22001] ppid=21945 vsize=11080032 memory=1702612 CPUtime=2437.98 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 190504 13016 0 0 243727 64 4 3 20 0 15 0 224017417 11345952768 425653 33554432000 4194304 4196468 140726389204016 140587263519216 140586867096781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=11080032 memory=1716976 CPUtime=3.94 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 23698 13016 0 0 334 53 4 3 20 0 15 0 224017418 11345952768 425653 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=11080032 memory=756 CPUtime=3.93 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 24349 13016 0 0 333 53 4 3 20 0 15 0 224017418 11345952768 425653 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=11080032 memory=1751860 CPUtime=3.93 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 24433 13016 0 0 335 51 4 3 20 0 15 0 224017418 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=11080032 memory=1616 CPUtime=3.92 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 22858 13016 0 0 332 53 4 3 20 0 15 0 224017418 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=11080032 memory=1702612 CPUtime=0.4 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 22030 13016 0 0 25 8 4 3 20 0 15 0 224017419 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=11080032 memory=1702612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 14 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586090751584 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=11080032 memory=1915508 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 425653 33554432000 4194304 4196468 140726389204016 140585889424768 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=11080032 memory=1702612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 425653 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=11080032 memory=3684 CPUtime=6.11 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 73418 13016 0 0 597 7 4 3 20 0 15 0 224017423 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=11080032 memory=61040 CPUtime=6.37 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 65520 13016 0 0 622 8 4 3 20 0 15 0 224017423 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=11080032 memory=1716976 CPUtime=2.79 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 49563 13016 0 0 265 7 4 3 20 0 15 0 224017423 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=11080032 memory=1716976 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 425653 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=11080032 memory=1702612 CPUtime=1.43 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 3283 13016 0 0 55 81 4 3 20 0 15 0 224017423 11345952768 425653 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 2470.26 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1702612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.9 s]
/proc/loadavg: 1.60 1.69 1.70 6/216 22217
/proc/meminfo: memFree=7504220/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=11080032 memory=1642612 CPUtime=2520 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 508447 13016 0 0 251616 377 4 3 20 0 15 0 224017408 11345952768 410653 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2770008 410653 3532 1 0 2731661 0
[pid=21948/tid=22001] ppid=21945 vsize=11080032 memory=1702612 CPUtime=2487.53 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 191666 13016 0 0 248682 64 4 3 20 0 15 0 224017417 11345952768 410653 33554432000 4194304 4196468 140726389204016 140587263519424 140586867097163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=11080032 memory=1661080 CPUtime=3.97 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 25046 13016 0 0 337 53 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=11080032 memory=1661080 CPUtime=3.96 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 24665 13016 0 0 336 53 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=11080032 memory=1653900 CPUtime=3.96 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 24615 13016 0 0 338 51 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=11080032 memory=1647744 CPUtime=3.95 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 23588 13016 0 0 335 53 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.41 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 22359 13016 0 0 26 8 4 3 20 0 15 0 224017419 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 14 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586090751584 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 410653 33554432000 4194304 4196468 140726389204016 140585889424768 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=11080032 memory=1784 CPUtime=6.12 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 74233 13016 0 0 598 7 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=11080032 memory=33656 CPUtime=6.37 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 66692 13016 0 0 622 8 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=11080032 memory=1642612 CPUtime=2.8 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 50067 13016 0 0 266 7 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=11080032 memory=1642612 CPUtime=1.46 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 3297 13016 0 0 57 82 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1642612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.94 s]
# the end of solver process 21948 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.23 s, system=3.83229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.9 s]
/proc/loadavg: 1.60 1.69 1.70 6/216 22217
/proc/meminfo: memFree=7504220/32770624 swapFree=67108404/67108860
[pid=21948] ppid=21945 vsize=11080032 memory=1642612 CPUtime=2520 cores=1,3,5,7
/proc/21948/stat : 21948 (java) S 21945 21948 21340 0 -1 1077944320 508447 13016 0 0 251616 377 4 3 20 0 15 0 224017408 11345952768 410653 33554432000 4194304 4196468 140726389204016 140726389186560 140587291684599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
/proc/21948/statm: 2770008 410653 3532 1 0 2731661 0
[pid=21948/tid=22001] ppid=21945 vsize=11080032 memory=1702612 CPUtime=2487.53 cores=1,3,5,7
/proc/21948/task/22001/stat : 22001 (java) R 21945 21948 21340 0 -1 4202560 191666 13016 0 0 248682 64 4 3 20 0 15 0 224017417 11345952768 410653 33554432000 4194304 4196468 140726389204016 140587263519424 140586867097163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22002] ppid=21945 vsize=11080032 memory=1661080 CPUtime=3.97 cores=1,3,5,7
/proc/21948/task/22002/stat : 22002 (java) S 21945 21948 21340 0 -1 1077944384 25046 13016 0 0 337 53 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140587295926928 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22003] ppid=21945 vsize=11080032 memory=1661080 CPUtime=3.96 cores=1,3,5,7
/proc/21948/task/22003/stat : 22003 (java) S 21945 21948 21340 0 -1 1077944384 24665 13016 0 0 336 53 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140587166575120 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22004] ppid=21945 vsize=11080032 memory=1653900 CPUtime=3.96 cores=1,3,5,7
/proc/21948/task/22004/stat : 22004 (java) S 21945 21948 21340 0 -1 1077944384 24615 13016 0 0 338 51 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586829797776 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22005] ppid=21945 vsize=11080032 memory=1647744 CPUtime=3.95 cores=1,3,5,7
/proc/21948/task/22005/stat : 22005 (java) S 21945 21948 21340 0 -1 1077944384 23588 13016 0 0 335 53 4 3 20 0 15 0 224017418 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586828744976 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22006] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.41 cores=1,3,5,7
/proc/21948/task/22006/stat : 22006 (java) S 21945 21948 21340 0 -1 1077944384 22359 13016 0 0 26 8 4 3 20 0 15 0 224017419 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586784787312 140587291695746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22007] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22007/stat : 22007 (java) S 21945 21948 21340 0 -1 1077944384 14 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586090751584 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22008] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22008/stat : 22008 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017420 11345952768 410653 33554432000 4194304 4196468 140726389204016 140585889424768 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22009] ppid=21945 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22009/stat : 22009 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140585582025040 140587291703195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22010] ppid=21945 vsize=11080032 memory=1784 CPUtime=6.12 cores=1,3,5,7
/proc/21948/task/22010/stat : 22010 (java) S 21945 21948 21340 0 -1 1077944384 74233 13016 0 0 598 7 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586783734128 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22011] ppid=21945 vsize=11080032 memory=33656 CPUtime=6.37 cores=1,3,5,7
/proc/21948/task/22011/stat : 22011 (java) S 21945 21948 21340 0 -1 1077944384 66692 13016 0 0 622 8 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586782681328 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22012] ppid=21945 vsize=11080032 memory=1642612 CPUtime=2.8 cores=1,3,5,7
/proc/21948/task/22012/stat : 22012 (java) S 21945 21948 21340 0 -1 1077944384 50067 13016 0 0 266 7 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586781628528 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22013] ppid=21945 vsize=11080032 memory=1642612 CPUtime=0.07 cores=1,3,5,7
/proc/21948/task/22013/stat : 22013 (java) S 21945 21948 21340 0 -1 1077944384 3 13016 0 0 0 0 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140585151228128 140587291694805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
[pid=21948/tid=22014] ppid=21945 vsize=11080032 memory=1642612 CPUtime=1.46 cores=1,3,5,7
/proc/21948/task/22014/stat : 22014 (java) S 21945 21948 21340 0 -1 1077944384 3297 13016 0 0 57 82 4 3 20 0 15 0 224017423 11345952768 410653 33554432000 4194304 4196468 140726389204016 140586780576944 140587291695746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22765568 140726389205603 140726389208412 140726389208412 140726389211087 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1642612 KiB
Child status: 143
Real time (s): 2491.94
CPU time (s): 2520.06
CPU user time (s): 2516.23
CPU system time (s): 3.83229
CPU usage (%): 101.128
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 2759476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.23
system time used= 3.83229
maximum resident set size= 2759476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66494
involuntary context switches= 1513
# summary of solver processes directly reported to runsolver:
# pid: 21948
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.23
# total CPU system time (s): 3.83229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.157 second user time and 27.8453 second system time
The end