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 (14466 MiB free)
memory of node 1: 16384 MiB (15425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400937-1568691051/watcher-4400937-1568691051 -o /tmp/evaluation-result-4400937-1568691051/solver-4400937-1568691051 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568673294-11995 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=548403584 HOME/instance-4400937-1568691051.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=17593, runsolver pid=17590
[startup+0.100102 s]*
/proc/loadavg: 1.60 1.46 1.41 3/219 17650
/proc/meminfo: memFree=30598848/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10055356 memory=19124 CPUtime=0.08 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 4527 13141 0 0 1 0 4 3 20 0 7 0 445266708 10296684544 4781 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2513839 4781 2016 1 0 2502277 0
[pid=17593/tid=17646] ppid=17590 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 2312 13141 0 0 1 0 4 3 20 0 7 0 445266716 10296684544 4781 33554432000 4194304 4196468 140728321644720 139665980263184 139666008442013 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 7 0 445266717 10296684544 4781 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10055356 memory=139811975792565 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 7 0 445266717 10296684544 4781 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 7 0 445266717 10296684544 4781 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 7 0 445266717 10296684544 4781 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 7 0 445266719 10296684544 4781 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210159 s]*
/proc/loadavg: 1.60 1.46 1.41 3/228 17659
/proc/meminfo: memFree=30576896/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10820196 memory=45388 CPUtime=0.26 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 7134 13141 0 0 18 1 4 3 20 0 15 0 445266708 11079880704 11347 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2705049 11347 3299 1 0 2667149 0
[pid=17593/tid=17646] ppid=17590 vsize=10820196 memory=753035770744996145 CPUtime=0.19 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 3605 13141 0 0 11 1 4 3 20 0 15 0 445266716 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665980241128 139666008442013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 11347 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10820196 memory=139811975792565 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266719 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 33 13141 0 0 0 0 4 3 20 0 15 0 445266719 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665466123424 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665357136624 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11079880704 11347 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 363 13141 0 0 1 0 4 3 20 0 15 0 445266722 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 309 13141 0 0 1 0 4 3 20 0 15 0 445266722 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10820196 memory=139811972507264 CPUtime=0.1 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 603 13141 0 0 3 0 4 3 20 0 15 0 445266722 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11079880704 11347 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10820196 memory=139811972507264 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266722 11079880704 11347 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45388 KiB
[startup+0.310359 s]*
/proc/loadavg: 1.60 1.46 1.41 4/228 17659
/proc/meminfo: memFree=30566408/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10820196 memory=53408 CPUtime=0.39 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 10595 13141 0 0 29 3 4 3 20 0 15 0 445266708 11079880704 13352 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2705049 13352 3310 1 0 2667149 0
[pid=17593/tid=17646] ppid=17590 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 7056 13141 0 0 19 2 4 3 20 0 15 0 445266716 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665980239904 139666008432022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 13352 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266717 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266719 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10820196 memory=139811972507263 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 33 13141 0 0 0 0 4 3 20 0 15 0 445266719 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665466123424 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665357136624 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11079880704 13352 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 363 13141 0 0 2 0 4 3 20 0 15 0 445266722 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 310 13141 0 0 1 0 4 3 20 0 15 0 445266722 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10820196 memory=139811972507264 CPUtime=0.12 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 610 13141 0 0 5 0 4 3 20 0 15 0 445266722 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11079880704 13352 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10820196 memory=139811972507264 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266722 11079880704 13352 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53408 KiB
[startup+0.704092 s]
/proc/loadavg: 1.60 1.46 1.41 3/228 17659
/proc/meminfo: memFree=30552592/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10824364 memory=85972 CPUtime=1.11 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 14812 13141 0 0 99 5 4 3 20 0 15 0 445266708 11084148736 21493 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2706091 21493 3516 1 0 2668173 0
[pid=17593/tid=17646] ppid=17590 vsize=10824364 memory=1556 CPUtime=0.66 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 10258 13141 0 0 55 4 4 3 20 0 15 0 445266716 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665980238016 139666000657214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10824364 memory=740 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266717 11084148736 21493 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10824364 memory=7014751519700964689 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266717 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10824364 memory=6083077128950803811 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266717 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10824364 memory=7444843076533644388 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266717 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 5 13141 0 0 0 0 4 3 20 0 15 0 445266719 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 33 13141 0 0 0 0 4 3 20 0 15 0 445266719 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665466123424 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665357136624 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11084148736 21493 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 733 13141 0 0 13 0 4 3 20 0 15 0 445266722 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 790 13141 0 0 12 0 4 3 20 0 15 0 445266722 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 774 13141 0 0 17 0 4 3 20 0 15 0 445266722 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11084148736 21493 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10824364 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266722 11084148736 21493 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85972 KiB
[startup+1.5007 s]
/proc/loadavg: 1.60 1.46 1.41 5/228 17659
/proc/meminfo: memFree=30500324/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10834680 memory=191164 CPUtime=2.96 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 28694 13141 0 0 279 10 4 3 20 0 15 0 445266708 11094712320 47791 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2708670 47791 3586 1 0 2670733 0
[pid=17593/tid=17646] ppid=17590 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 15978 13141 0 0 130 6 4 3 20 0 15 0 445266716 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665980239552 139665992500574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10834680 memory=7308326690560240215 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 69 13141 0 0 1 0 4 3 20 0 15 0 445266717 11094712320 47791 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10834680 memory=279623712004576 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 68 13141 0 0 1 0 4 3 20 0 15 0 445266717 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10834680 memory=215358250191272 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 31 13141 0 0 1 0 4 3 20 0 15 0 445266717 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 314 13141 0 0 1 0 4 3 20 0 15 0 445266717 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10834680 memory=7589560832514364146 CPUtime=0.08 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 183 13141 0 0 1 0 4 3 20 0 15 0 445266719 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10834680 memory=-8458152057954561420 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 34 13141 0 0 0 0 4 3 20 0 15 0 445266719 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665466123488 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10834680 memory=279623711651808 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665357136640 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10834680 memory=139812301077485 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11094712320 47791 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10834680 memory=279623711601080 CPUtime=0.63 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 5211 13141 0 0 56 0 4 3 20 0 15 0 445266722 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10834680 memory=279623711615472 CPUtime=0.48 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 2478 13141 0 0 40 1 4 3 20 0 15 0 445266722 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10834680 memory=279623711615472 CPUtime=0.5 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 2114 13141 0 0 43 0 4 3 20 0 15 0 445266722 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11094712320 47791 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266722 11094712320 47791 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
################
# More data... #
################
[startup+27.7092 s]
# the end of solver process 17593 was just reported to runsolver
# cumulated CPU time of all completed processes: user=37.2031 s, system=0.500033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 1.76 1.52 1.43 3/228 17659
/proc/meminfo: memFree=29635032/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10849036 memory=985192 CPUtime=35.53 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 69128 13141 0 0 3503 43 4 3 20 0 15 0 445266708 11109412864 246298 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2712259 246298 3630 1 0 2674317 0
[pid=17593/tid=17646] ppid=17590 vsize=10849036 memory=0 CPUtime=25.34 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 25252 13141 0 0 2507 20 4 3 20 0 15 0 445266716 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665980255328 139665591164260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10849036 memory=860072 CPUtime=0.17 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 150 13141 0 0 8 2 4 3 20 0 15 0 445266717 11109412864 246298 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10849036 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 1024 13141 0 0 8 2 4 3 20 0 15 0 445266717 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10849036 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 723 13141 0 0 9 2 4 3 20 0 15 0 445266717 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10849036 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 616 13141 0 0 8 3 4 3 20 0 15 0 445266717 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10849036 memory=139811856129344 CPUtime=0.14 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2773 13141 0 0 7 0 4 3 20 0 15 0 445266719 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10849036 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 39 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665466123552 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10849036 memory=352992 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665357136640 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10849036 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 246298 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10849036 memory=6944656592455097440 CPUtime=4.1 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 14273 13141 0 0 401 2 4 3 20 0 15 0 445266722 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10849036 memory=6944656592455359580 CPUtime=3.76 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 13397 13141 0 0 365 4 4 3 20 0 15 0 445266722 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10849036 memory=924 CPUtime=1.94 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 8614 13141 0 0 183 4 4 3 20 0 15 0 445266722 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10849036 memory=1692 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 246298 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10849036 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 53 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 246298 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 35.53 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 985192 KiB
[startup+26.4008 s]
/proc/loadavg: 1.76 1.52 1.43 3/228 17659
/proc/meminfo: memFree=29614428/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10849036 memory=1005672 CPUtime=36.34 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 69158 13141 0 0 3583 44 4 3 20 0 15 0 445266708 11109412864 251418 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2712259 251418 3630 1 0 2674317 0
[pid=17593/tid=17646] ppid=17590 vsize=10849036 memory=984 CPUtime=26.13 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 25262 13141 0 0 2586 20 4 3 20 0 15 0 445266716 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665980253264 139665592616525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10849036 memory=1940 CPUtime=0.17 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 151 13141 0 0 8 2 4 3 20 0 15 0 445266717 11109412864 251418 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10849036 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 1026 13141 0 0 8 2 4 3 20 0 15 0 445266717 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10849036 memory=15542907645986607 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 724 13141 0 0 9 2 4 3 20 0 15 0 445266717 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10849036 memory=7740121390956827240 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 620 13141 0 0 8 3 4 3 20 0 15 0 445266717 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10849036 memory=3467829025926387578 CPUtime=0.14 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2785 13141 0 0 7 0 4 3 20 0 15 0 445266719 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10849036 memory=4120847746391446226 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 39 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665466123552 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10849036 memory=935916 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665357136640 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10849036 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 251418 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10849036 memory=7882931239983209396 CPUtime=4.1 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 14273 13141 0 0 401 2 4 3 20 0 15 0 445266722 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10849036 memory=279623712554256 CPUtime=3.76 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 13397 13141 0 0 365 4 4 3 20 0 15 0 445266722 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10849036 memory=-4866526899798303339 CPUtime=1.94 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 8614 13141 0 0 183 4 4 3 20 0 15 0 445266722 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10849036 memory=-4695052241013923951 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 251418 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10849036 memory=985192 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 53 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 251418 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 36.34 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1005672 KiB
[startup+27.2008 s]
/proc/loadavg: 1.76 1.52 1.43 3/228 17659
/proc/meminfo: memFree=29614428/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10849036 memory=1007936 CPUtime=37.16 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 73538 13141 0 0 3665 44 4 3 20 0 15 0 445266708 11109412864 251984 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2712259 251984 3631 1 0 2674317 0
[pid=17593/tid=17646] ppid=17590 vsize=10849036 memory=1940 CPUtime=26.93 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 25658 13141 0 0 2666 20 4 3 20 0 15 0 445266716 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665980255648 139665592234923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10849036 memory=1416 CPUtime=0.17 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 169 13141 0 0 8 2 4 3 20 0 15 0 445266717 11109412864 251984 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10849036 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 1148 13141 0 0 9 2 4 3 20 0 15 0 445266717 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10849036 memory=792 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 1763 13141 0 0 9 2 4 3 20 0 15 0 445266717 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10849036 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 631 13141 0 0 8 3 4 3 20 0 15 0 445266717 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10849036 memory=1964 CPUtime=0.14 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2814 13141 0 0 7 0 4 3 20 0 15 0 445266719 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10849036 memory=2456 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 39 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665466123552 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10849036 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665357136640 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10849036 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 251984 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10849036 memory=1005676 CPUtime=4.1 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 14351 13141 0 0 401 2 4 3 20 0 15 0 445266722 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10849036 memory=1720 CPUtime=3.76 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 13397 13141 0 0 365 4 4 3 20 0 15 0 445266722 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10849036 memory=1096 CPUtime=1.96 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 11299 13141 0 0 185 4 4 3 20 0 15 0 445266722 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10849036 memory=5988 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 251984 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10849036 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 55 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 251984 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 37.16 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1007936 KiB
[startup+27.6008 s]
/proc/loadavg: 1.76 1.52 1.43 3/228 17659
/proc/meminfo: memFree=29614428/32770624 swapFree=67004308/67108860
[pid=17593] ppid=17590 vsize=10849036 memory=1008084 CPUtime=37.58 cores=1,3,5,7
/proc/17593/stat : 17593 (java) S 17590 17593 11963 0 -1 1077944320 76080 13141 0 0 3706 45 4 3 20 0 15 0 445266708 11109412864 252021 33554432000 4194304 4196468 140728321644720 140728321627264 139666008420087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
/proc/17593/statm: 2712259 252021 3631 1 0 2674317 0
[pid=17593/tid=17646] ppid=17590 vsize=10849036 memory=139811856038219 CPUtime=27.32 cores=1,3,5,7
/proc/17593/task/17646/stat : 17646 (java) R 17590 17593 11963 0 -1 4202560 25799 13141 0 0 2705 20 4 3 20 0 15 0 445266716 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665980255648 139665592302392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17647] ppid=17590 vsize=10849036 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/17593/task/17647/stat : 17647 (java) S 17590 17593 11963 0 -1 1077944384 169 13141 0 0 8 2 4 3 20 0 15 0 445266717 11109412864 252021 33554432000 4194304 4196468 140728321644720 139666012662800 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17648] ppid=17590 vsize=10849036 memory=2832 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17648/stat : 17648 (java) S 17590 17593 11963 0 -1 1077944384 1148 13141 0 0 9 2 4 3 20 0 15 0 445266717 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665900936336 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17649] ppid=17590 vsize=10849036 memory=776 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17649/stat : 17649 (java) S 17590 17593 11963 0 -1 1077944384 1763 13141 0 0 9 2 4 3 20 0 15 0 445266717 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665899883280 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17650] ppid=17590 vsize=10849036 memory=1160 CPUtime=0.18 cores=1,3,5,7
/proc/17593/task/17650/stat : 17650 (java) S 17590 17593 11963 0 -1 1077944384 631 13141 0 0 8 3 4 3 20 0 15 0 445266717 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665898830736 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17651] ppid=17590 vsize=10849036 memory=1720 CPUtime=0.14 cores=1,3,5,7
/proc/17593/task/17651/stat : 17651 (java) S 17590 17593 11963 0 -1 1077944384 2814 13141 0 0 7 0 4 3 20 0 15 0 445266719 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665467177200 139666008431234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17652] ppid=17590 vsize=10849036 memory=1096 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17652/stat : 17652 (java) S 17590 17593 11963 0 -1 1077944384 39 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665466123552 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17653] ppid=17590 vsize=10849036 memory=5988 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17653/stat : 17653 (java) S 17590 17593 11963 0 -1 1077944384 1 13141 0 0 0 0 4 3 20 0 15 0 445266719 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665357136640 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17654] ppid=17590 vsize=10849036 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17654/stat : 17654 (java) S 17590 17593 11963 0 -1 1077944384 2 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 252021 33554432000 4194304 4196468 140728321644720 139664753158096 139666008438683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17655] ppid=17590 vsize=10849036 memory=23568 CPUtime=4.1 cores=1,3,5,7
/proc/17593/task/17655/stat : 17655 (java) S 17590 17593 11963 0 -1 1077944384 14353 13141 0 0 401 2 4 3 20 0 15 0 445266722 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665432566512 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17656] ppid=17590 vsize=10849036 memory=14068 CPUtime=3.76 cores=1,3,5,7
/proc/17593/task/17656/stat : 17656 (java) S 17590 17593 11963 0 -1 1077944384 13399 13141 0 0 365 4 4 3 20 0 15 0 445266722 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665431513968 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17657] ppid=17590 vsize=10849036 memory=2120 CPUtime=1.97 cores=1,3,5,7
/proc/17593/task/17657/stat : 17657 (java) S 17590 17593 11963 0 -1 1077944384 13696 13141 0 0 186 4 4 3 20 0 15 0 445266722 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665430460912 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17658] ppid=17590 vsize=10849036 memory=504 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17658/stat : 17658 (java) S 17590 17593 11963 0 -1 1077944384 3 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 252021 33554432000 4194304 4196468 140728321644720 139664283396960 139666008430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
[pid=17593/tid=17659] ppid=17590 vsize=10849036 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/17593/task/17659/stat : 17659 (java) S 17590 17593 11963 0 -1 1077944384 55 13141 0 0 0 0 4 3 20 0 15 0 445266722 11109412864 252021 33554432000 4194304 4196468 140728321644720 139665429408304 139666008431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728321653488 140728321656005 140728321656005 140728321658831 0
Current children cumulated CPU time: 37.58 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1008084 KiB
Child status: 0
Real time (s): 27.7092
CPU time (s): 37.7031
CPU user time (s): 37.2031
CPU system time (s): 0.500033
CPU usage (%): 136.067
Max. virtual memory (cumulated for all children) (KiB): 10851772
Max. memory (cumulated for all children) (KiB): 1008084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2031
system time used= 0.500033
maximum resident set size= 1010168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90020
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= 8106
involuntary context switches= 98
# summary of solver processes directly reported to runsolver:
# pid: 17593
# total CPU time (s): 37.7031
# total CPU user time (s): 37.2031
# total CPU system time (s): 0.500033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.206509 second user time and 0.290011 second system time
The end