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 (5712 MiB free)
memory of node 1: 16384 MiB (5067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304946-1534074208/watcher-4304946-1534074208 -o /tmp/evaluation-result-4304946-1534074208/solver-4304946-1534074208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=147515614 -superng HOME/instance-4304946-1534074208.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=23317, runsolver pid=23314
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 2.54 1.93 1.81 4/206 23374
/proc/meminfo: memFree=11030380/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=10005480 memory=17336 CPUtime=0.09 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 4471 12933 0 0 1 1 5 2 20 0 6 0 224984011 10245611520 4334 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2501370 4334 1956 1 0 2489808 0
[pid=23317/tid=23370] ppid=23314 vsize=10005480 memory=4279135704013701262 CPUtime=0.08 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 2272 12933 0 0 1 0 5 2 20 0 6 0 224984020 10245611520 4334 33554432000 4194304 4196468 140729306456976 140407801909840 140407815103312 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=10008564 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 6 0 224984020 10248769536 4334 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=10015260 memory=139875664742016 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 6 0 224984020 10255626240 4334 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 6 0 224984020 10262077440 4334 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 6 0 224984020 10262077440 4334 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17336 KiB
[startup+0.210234 s]*
/proc/loadavg: 2.54 1.93 1.81 4/215 23383
/proc/meminfo: memFree=11005348/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=10982696 memory=44940 CPUtime=0.26 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 8634 12933 0 0 16 3 5 2 20 0 15 0 224984011 11246280704 11235 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2745674 11235 2943 1 0 2708109 0
[pid=23317/tid=23370] ppid=23314 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 5165 12933 0 0 10 2 5 2 20 0 15 0 224984020 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407801870736 140407810348950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=10982696 memory=139875664763644 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=10982696 memory=139875664742016 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984022 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 224984022 11246280704 11235 33554432000 4194304 4196468 140729306456976 140406588171936 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984023 11246280704 11235 33554432000 4194304 4196468 140729306456976 140406440322288 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246280704 11235 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 431 12933 0 0 1 0 5 2 20 0 15 0 224984025 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 186 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=10982696 memory=139875664742016 CPUtime=0.1 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 627 12933 0 0 3 0 5 2 20 0 15 0 224984025 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246280704 11235 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=10982696 memory=139875664742016 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984026 11246280704 11235 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44940 KiB
[startup+0.310453 s]*
/proc/loadavg: 2.54 1.93 1.81 3/215 23383
/proc/meminfo: memFree=10995672/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=10983192 memory=56264 CPUtime=0.38 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 10677 12933 0 0 28 3 5 2 20 0 15 0 224984011 11246788608 14066 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2745798 14066 3075 1 0 2708109 0
[pid=23317/tid=23370] ppid=23314 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 7200 12933 0 0 19 2 5 2 20 0 15 0 224984020 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407801875856 140407811636648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984022 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 224984022 11246788608 14066 33554432000 4194304 4196468 140729306456976 140406588171936 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984023 11246788608 14066 33554432000 4194304 4196468 140729306456976 140406440322288 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246788608 14066 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 431 12933 0 0 1 0 5 2 20 0 15 0 224984025 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 187 12933 0 0 1 0 5 2 20 0 15 0 224984025 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=10983192 memory=139875664742016 CPUtime=0.12 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) R 23314 23317 21340 0 -1 4202560 634 12933 0 0 5 0 5 2 20 0 15 0 224984025 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407320000496 140407814429384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246788608 14066 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=10983192 memory=139875664742016 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984026 11246788608 14066 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56264 KiB
[startup+0.700776 s]
/proc/loadavg: 2.54 1.93 1.81 5/215 23383
/proc/meminfo: memFree=10985252/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=10983192 memory=89008 CPUtime=0.97 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 16845 12933 0 0 85 5 5 2 20 0 15 0 224984011 11246788608 22252 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2745798 22252 3237 1 0 2708109 0
[pid=23317/tid=23370] ppid=23314 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 12446 12933 0 0 55 4 5 2 20 0 15 0 224984020 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407801893904 140407810348296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=10983192 memory=139875542250288 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=10983192 memory=139878494896716 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 2 12933 0 0 0 0 5 2 20 0 15 0 224984020 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 5 12933 0 0 0 0 5 2 20 0 15 0 224984022 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 224984022 11246788608 22252 33554432000 4194304 4196468 140729306456976 140406588171936 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984023 11246788608 22252 33554432000 4194304 4196468 140729306456976 140406440322288 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246788608 22252 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=10983192 memory=33760 CPUtime=0.16 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 1086 12933 0 0 9 0 5 2 20 0 15 0 224984025 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=10983192 memory=14644 CPUtime=0.14 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 418 12933 0 0 7 0 5 2 20 0 15 0 224984025 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=10983192 memory=1720 CPUtime=0.19 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 667 12933 0 0 12 0 5 2 20 0 15 0 224984025 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11246788608 22252 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984026 11246788608 22252 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89008 KiB
[startup+1.50082 s]
/proc/loadavg: 2.54 1.93 1.81 7/215 23383
/proc/meminfo: memFree=10939064/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=10991948 memory=239260 CPUtime=3.17 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 23993 12933 0 0 299 11 5 2 20 0 15 0 224984011 11255754752 59815 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2747987 59815 3480 1 0 2709645 0
[pid=23317/tid=23370] ppid=23314 vsize=10991948 memory=65292 CPUtime=1.43 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 15127 12933 0 0 129 7 5 2 20 0 15 0 224984020 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407801898528 140407398177040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984020 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=10991948 memory=279751084531872 CPUtime=0.08 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 104 12933 0 0 1 0 5 2 20 0 15 0 224984020 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 4 12933 0 0 0 0 5 2 20 0 15 0 224984020 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 237 12933 0 0 1 0 5 2 20 0 15 0 224984020 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 88 12933 0 0 0 0 5 2 20 0 15 0 224984022 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 13 12933 0 0 0 0 5 2 20 0 15 0 224984022 11255754752 59815 33554432000 4194304 4196468 140729306456976 140406588171936 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984023 11255754752 59815 33554432000 4194304 4196468 140729306456976 140406440322288 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11255754752 59815 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=10991948 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) R 23314 23317 21340 0 -1 4202560 2384 12933 0 0 61 0 5 2 20 0 15 0 224984025 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407322098320 140407810772521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=10991948 memory=10 CPUtime=0.67 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) R 23314 23317 21340 0 -1 4202560 2217 12933 0 0 60 0 5 2 20 0 15 0 224984025 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407321052728 140407814994643 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=10991948 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 1612 12933 0 0 42 0 5 2 20 0 15 0 224984025 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11255754752 59815 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=10991948 memory=279751084776320 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1 12933 0 0 0 0 5 2 20 0 15 0 224984026 11255754752 59815 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 24289 12933 0 0 227 4 5 2 20 0 15 0 224984022 11272552448 969538 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=11008352 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 39 12933 0 0 0 0 5 2 20 0 15 0 224984022 11272552448 969538 33554432000 4194304 4196468 140729306456976 140406588172000 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=11008352 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 37 12933 0 0 0 0 5 2 20 0 15 0 224984023 11272552448 969538 33554432000 4194304 4196468 140729306456976 140406440322304 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=11008352 memory=1924 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11272552448 969538 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=11008352 memory=6988 CPUtime=3.97 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 9959 12933 0 0 388 2 5 2 20 0 15 0 224984025 11272552448 969538 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=11008352 memory=1224 CPUtime=3.65 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 10135 12933 0 0 355 3 5 2 20 0 15 0 224984025 11272552448 969538 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=11008352 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 12416 12933 0 0 173 4 5 2 20 0 15 0 224984025 11272552448 969538 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=11008352 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 15 0 224984025 11272552448 969538 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=11008352 memory=13850767857552039 CPUtime=1.46 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1802 12933 0 0 54 85 5 2 20 0 15 0 224984026 11272552448 969538 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 3878152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2454.83 s]
# the end of solver process 23317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.73 s, system=4.40552 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2453.6 s]
/proc/loadavg: 1.68 1.71 1.74 3/218 23609
/proc/meminfo: memFree=7428828/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=11270504 memory=3882360 CPUtime=2520.88 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 492212 12933 0 0 251646 435 5 2 20 0 17 0 224984011 11540996096 970590 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2817626 970590 3525 1 0 2779279 0
[pid=23317/tid=23370] ppid=23314 vsize=11270504 memory=1784 CPUtime=2432.03 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 195400 12933 0 0 243137 59 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407801907168 140407409033410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=11270504 memory=1616 CPUtime=19.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 52886 12933 0 0 1828 72 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=11270504 memory=756 CPUtime=18.99 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 57053 12933 0 0 1820 72 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=11270504 memory=9624 CPUtime=18.98 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 43296 12933 0 0 1817 74 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=11270504 memory=876 CPUtime=19.03 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 81928 12933 0 0 1822 74 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=11270504 memory=15212 CPUtime=2.38 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 24289 12933 0 0 227 4 5 2 20 0 17 0 224984022 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=11270504 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 39 12933 0 0 0 0 5 2 20 0 17 0 224984022 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406588172000 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=11270504 memory=33808 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 37 12933 0 0 0 0 5 2 20 0 17 0 224984023 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406440322304 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=11270504 memory=14644 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 311 12933 0 0 0 0 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=11270504 memory=1720 CPUtime=3.97 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 9959 12933 0 0 388 2 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=11270504 memory=508 CPUtime=3.65 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 10135 12933 0 0 355 3 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=11270504 memory=928 CPUtime=1.84 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 12416 12933 0 0 173 4 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=11270504 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=11270504 memory=1784 CPUtime=1.46 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1802 12933 0 0 54 85 5 2 20 0 17 0 224984026 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23608] ppid=23314 vsize=11270504 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23608/stat : 23608 (java) S 23314 23317 21340 0 -1 1077944384 351 12933 0 0 0 0 5 2 20 0 17 0 225229292 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405500797808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23609] ppid=23314 vsize=11270504 memory=756 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23609/stat : 23609 (java) S 23314 23317 21340 0 -1 1077944384 110 12933 0 0 0 0 5 2 20 0 17 0 225229292 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405299471840 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 2520.88 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3882360 KiB
[startup+2454.4 s]
/proc/loadavg: 1.68 1.71 1.74 3/218 23609
/proc/meminfo: memFree=7429060/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=11270504 memory=3882360 CPUtime=2521.69 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 492213 12933 0 0 251727 435 5 2 20 0 17 0 224984011 11540996096 970590 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2817626 970590 3525 1 0 2779279 0
[pid=23317/tid=23370] ppid=23314 vsize=11270504 memory=3878152 CPUtime=2432.83 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 195401 12933 0 0 243217 59 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407801907168 140407409033354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=11270504 memory=1616 CPUtime=19.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 52886 12933 0 0 1828 72 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=11270504 memory=756 CPUtime=18.99 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 57053 12933 0 0 1820 72 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=11270504 memory=61240 CPUtime=18.98 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 43296 12933 0 0 1817 74 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=11270504 memory=2148 CPUtime=19.03 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 81928 12933 0 0 1822 74 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=11270504 memory=1160 CPUtime=2.38 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 24289 12933 0 0 227 4 5 2 20 0 17 0 224984022 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=11270504 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 39 12933 0 0 0 0 5 2 20 0 17 0 224984022 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406588172000 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=11270504 memory=812 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 37 12933 0 0 0 0 5 2 20 0 17 0 224984023 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406440322304 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=11270504 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 311 12933 0 0 0 0 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=11270504 memory=916 CPUtime=3.97 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 9959 12933 0 0 388 2 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=11270504 memory=6791534058613427641 CPUtime=3.65 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 10135 12933 0 0 355 3 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=11270504 memory=812 CPUtime=1.84 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 12416 12933 0 0 173 4 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=11270504 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=11270504 memory=916 CPUtime=1.46 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1802 12933 0 0 54 85 5 2 20 0 17 0 224984026 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23608] ppid=23314 vsize=11270504 memory=6988 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23608/stat : 23608 (java) S 23314 23317 21340 0 -1 1077944384 351 12933 0 0 0 0 5 2 20 0 17 0 225229292 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405500797808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23609] ppid=23314 vsize=11270504 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23609/stat : 23609 (java) S 23314 23317 21340 0 -1 1077944384 110 12933 0 0 0 0 5 2 20 0 17 0 225229292 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405299471840 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 2521.69 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3882360 KiB
[startup+2454.8 s]
/proc/loadavg: 1.68 1.71 1.74 3/218 23609
/proc/meminfo: memFree=7429060/32770624 swapFree=67108404/67108860
[pid=23317] ppid=23314 vsize=11270504 memory=3882360 CPUtime=2522.09 cores=1,3,5,7
/proc/23317/stat : 23317 (java) S 23314 23317 21340 0 -1 1077944320 492216 12933 0 0 251767 435 5 2 20 0 17 0 224984011 11540996096 970590 33554432000 4194304 4196468 140729306456976 140729306439520 140407830073079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
/proc/23317/statm: 2817626 970590 3525 1 0 2779279 0
[pid=23317/tid=23370] ppid=23314 vsize=11270504 memory=3878152 CPUtime=2433.23 cores=1,3,5,7
/proc/23317/task/23370/stat : 23370 (java) R 23314 23317 21340 0 -1 4202560 195404 12933 0 0 243257 59 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407801907168 140407409033329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23371] ppid=23314 vsize=11270504 memory=3878152 CPUtime=19.07 cores=1,3,5,7
/proc/23317/task/23371/stat : 23371 (java) S 23314 23317 21340 0 -1 1077944384 52886 12933 0 0 1828 72 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407834315280 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23372] ppid=23314 vsize=11270504 memory=6791534058613427641 CPUtime=18.99 cores=1,3,5,7
/proc/23317/task/23372/stat : 23372 (java) S 23314 23317 21340 0 -1 1077944384 57053 12933 0 0 1820 72 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407370078864 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23373] ppid=23314 vsize=11270504 memory=6655300316396806240 CPUtime=18.98 cores=1,3,5,7
/proc/23317/task/23373/stat : 23373 (java) S 23314 23317 21340 0 -1 1077944384 43296 12933 0 0 1817 74 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407369025808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23374] ppid=23314 vsize=11270504 memory=6944656592455359580 CPUtime=19.03 cores=1,3,5,7
/proc/23317/task/23374/stat : 23374 (java) S 23314 23317 21340 0 -1 1077944384 81928 12933 0 0 1822 74 5 2 20 0 17 0 224984020 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407367973264 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23375] ppid=23314 vsize=11270504 memory=6944652177228980320 CPUtime=2.38 cores=1,3,5,7
/proc/23317/task/23375/stat : 23375 (java) S 23314 23317 21340 0 -1 1077944384 24289 12933 0 0 227 4 5 2 20 0 17 0 224984022 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407323159280 140407830084226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23376] ppid=23314 vsize=11270504 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23376/stat : 23376 (java) S 23314 23317 21340 0 -1 1077944384 39 12933 0 0 0 0 5 2 20 0 17 0 224984022 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406588172000 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23377] ppid=23314 vsize=11270504 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23377/stat : 23377 (java) S 23314 23317 21340 0 -1 1077944384 37 12933 0 0 0 0 5 2 20 0 17 0 224984023 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406440322304 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23378] ppid=23314 vsize=11270504 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23378/stat : 23378 (java) S 23314 23317 21340 0 -1 1077944384 311 12933 0 0 0 0 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140406132922832 140407830091675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23379] ppid=23314 vsize=11270504 memory=-7173504570862900581 CPUtime=3.97 cores=1,3,5,7
/proc/23317/task/23379/stat : 23379 (java) S 23314 23317 21340 0 -1 1077944384 9959 12933 0 0 388 2 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407322106096 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23380] ppid=23314 vsize=11270504 memory=-7173504570860347296 CPUtime=3.65 cores=1,3,5,7
/proc/23317/task/23380/stat : 23380 (java) S 23314 23317 21340 0 -1 1077944384 10135 12933 0 0 355 3 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407321053552 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23381] ppid=23314 vsize=11270504 memory=1784 CPUtime=1.84 cores=1,3,5,7
/proc/23317/task/23381/stat : 23381 (java) S 23314 23317 21340 0 -1 1077944384 12416 12933 0 0 173 4 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407320000496 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23382] ppid=23314 vsize=11270504 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23382/stat : 23382 (java) S 23314 23317 21340 0 -1 1077944384 3 12933 0 0 0 0 5 2 20 0 17 0 224984025 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405702125920 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23383] ppid=23314 vsize=11270504 memory=756 CPUtime=1.46 cores=1,3,5,7
/proc/23317/task/23383/stat : 23383 (java) S 23314 23317 21340 0 -1 1077944384 1802 12933 0 0 54 85 5 2 20 0 17 0 224984026 11540996096 970590 33554432000 4194304 4196468 140729306456976 140407318948912 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23608] ppid=23314 vsize=11270504 memory=9624 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23608/stat : 23608 (java) S 23314 23317 21340 0 -1 1077944384 351 12933 0 0 0 0 5 2 20 0 17 0 225229292 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405500797808 140407830083285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
[pid=23317/tid=23609] ppid=23314 vsize=11270504 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/23317/task/23609/stat : 23609 (java) S 23314 23317 21340 0 -1 1077944384 110 12933 0 0 0 0 5 2 20 0 17 0 225229292 11540996096 970590 33554432000 4194304 4196468 140729306456976 140405299471840 140407830084226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24477696 140729306458724 140729306461532 140729306461532 140729306464207 0
Current children cumulated CPU time: 2522.09 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3882360 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2454.83
CPU time (s): 2522.14
CPU user time (s): 2517.73
CPU system time (s): 4.40552
CPU usage (%): 102.742
Max. virtual memory (cumulated for all children) (KiB): 11270504
Max. memory (cumulated for all children) (KiB): 3882360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.73
system time used= 4.40552
maximum resident set size= 3882540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62155
involuntary context switches= 1921
# summary of solver processes directly reported to runsolver:
# pid: 23317
# total CPU time (s): 2522.14
# total CPU user time (s): 2517.73
# total CPU system time (s): 4.40552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4979 second user time and 20.0205 second system time
The end