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 (6853 MiB free)
memory of node 1: 16384 MiB (5500 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305152-1534123814/watcher-4305152-1534123814 -o /tmp/evaluation-result-4305152-1534123814/solver-4305152-1534123814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534099857-27320 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1536061114 -superng HOME/instance-4305152-1534123814.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=355, runsolver pid=352
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.60 1.55 1.62 3/207 412
/proc/meminfo: memFree=12642876/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=10005480 memory=18064 CPUtime=0.08 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 4185 13280 0 0 0 1 4 3 20 0 6 0 229944623 10245611520 4516 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2501370 4516 1895 1 0 2489808 0
[pid=355/tid=408] ppid=352 vsize=10005480 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 2074 13280 0 0 0 0 4 3 20 0 6 0 229944632 10245611520 4648 33554432000 4194304 4196468 140721154760752 140597357556304 140597368912552 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=10005480 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 6 0 229944633 10245611520 4648 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=10005480 memory=140078036660788 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 6 0 229944633 10245611520 4648 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 6 0 229944633 10245611520 4648 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 2 13280 0 0 0 0 4 3 20 0 6 0 229944633 10245611520 4648 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18064 KiB
[startup+0.210802 s]*
/proc/loadavg: 1.60 1.55 1.62 3/216 422
/proc/meminfo: memFree=12619668/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=10982744 memory=42920 CPUtime=0.24 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 6946 13280 0 0 15 2 4 3 20 0 15 0 229944623 11246329856 10730 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2745686 10730 2953 1 0 2708109 0
[pid=355/tid=408] ppid=352 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 4560 13280 0 0 10 1 4 3 20 0 15 0 229944632 11249012736 11786 33554432000 4194304 4196468 140721154760752 140597357544352 140597378399261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=10985364 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11249012736 11786 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=10985364 memory=140078036660788 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11249012736 11852 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11249012736 11852 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 2 13280 0 0 0 0 4 3 20 0 15 0 229944633 11249012736 11852 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=10985364 memory=140078036633216 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 2 13280 0 0 0 0 4 3 20 0 15 0 229944634 11249012736 11852 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 13 13280 0 0 0 0 4 3 20 0 15 0 229944634 11249012736 11918 33554432000 4194304 4196468 140721154760752 140596224189344 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944635 11249012736 11918 33554432000 4194304 4196468 140721154760752 140596022862832 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11249012736 11918 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 484 13280 0 0 1 0 4 3 20 0 15 0 229944637 11249012736 11918 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 128 13280 0 0 0 0 4 3 20 0 15 0 229944637 11249012736 11984 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=10985364 memory=140078036633216 CPUtime=0.1 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 607 13280 0 0 3 0 4 3 20 0 15 0 229944637 11249012736 11984 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11249012736 11984 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=10985364 memory=140078036633216 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944638 11249012736 11984 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42920 KiB
[startup+0.310529 s]*
/proc/loadavg: 1.60 1.55 1.62 3/216 422
/proc/meminfo: memFree=12607884/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=10983192 memory=56620 CPUtime=0.37 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 10216 13280 0 0 27 3 4 3 20 0 15 0 229944623 11246788608 14155 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2745798 14155 3072 1 0 2708109 0
[pid=355/tid=408] ppid=352 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 6800 13280 0 0 19 2 4 3 20 0 15 0 229944632 11246788608 14197 33554432000 4194304 4196468 140721154760752 140597357531552 140597369800030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 14197 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 14197 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=10983192 memory=3216 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 14197 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 2 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 14197 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 2 13280 0 0 0 0 4 3 20 0 15 0 229944634 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 13 13280 0 0 0 0 4 3 20 0 15 0 229944634 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596224189344 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944635 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596022862832 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11246788608 14197 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 485 13280 0 0 1 0 4 3 20 0 15 0 229944637 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) R 352 355 27288 0 -1 4202560 128 13280 0 0 1 0 4 3 20 0 15 0 229944637 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596809390704 140597385731478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=10983192 memory=140078036633216 CPUtime=0.11 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) R 352 355 27288 0 -1 1077944384 613 13280 0 0 4 0 4 3 20 0 15 0 229944637 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11246788608 14197 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=10983192 memory=140078036633216 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944638 11246788608 14197 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56620 KiB
[startup+0.700795 s]
/proc/loadavg: 1.60 1.55 1.62 3/216 422
/proc/meminfo: memFree=12597216/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=10983192 memory=89240 CPUtime=0.98 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 16352 13280 0 0 85 6 4 3 20 0 15 0 229944623 11246788608 22310 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2745798 22310 3238 1 0 2708109 0
[pid=355/tid=408] ppid=352 vsize=10983192 memory=7373628893713097042 CPUtime=0.65 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 11827 13280 0 0 54 4 4 3 20 0 15 0 229944632 11246788608 22310 33554432000 4194304 4196468 140721154760752 140597357540368 140597365994865 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=10983192 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 22310 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=10983192 memory=6297835844906604903 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 22310 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=10983192 memory=8025788805538080596 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 22310 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=10983192 memory=140078036632081 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 2 13280 0 0 0 0 4 3 20 0 15 0 229944633 11246788608 22310 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 6 13280 0 0 0 0 4 3 20 0 15 0 229944634 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 13 13280 0 0 0 0 4 3 20 0 15 0 229944634 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596224189344 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944635 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596022862832 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11246788608 22310 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 887 13280 0 0 8 0 4 3 20 0 15 0 229944637 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 744 13280 0 0 8 0 4 3 20 0 15 0 229944637 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 670 13280 0 0 13 0 4 3 20 0 15 0 229944637 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11246788608 22310 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=10983192 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944638 11246788608 22310 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89240 KiB
[startup+1.50076 s]
/proc/loadavg: 1.60 1.55 1.62 3/216 422
/proc/meminfo: memFree=12551876/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=10998092 memory=179520 CPUtime=2.31 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 23445 13280 0 0 213 11 4 3 20 0 15 0 229944623 11262046208 44880 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2749523 44880 3469 1 0 2711181 0
[pid=355/tid=408] ppid=352 vsize=10998092 memory=280155750852368 CPUtime=1.42 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 17304 13280 0 0 129 6 4 3 20 0 15 0 229944632 11262046208 44880 33554432000 4194304 4196468 140721154760752 140597357551344 140597365994923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 20 13280 0 0 1 0 4 3 20 0 15 0 229944633 11262046208 44880 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=10998092 memory=280155750683520 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 273 13280 0 0 1 0 4 3 20 0 15 0 229944633 11262046208 44880 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=10998092 memory=280155750686336 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 23 13280 0 0 1 0 4 3 20 0 15 0 229944633 11262046208 44880 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=10998092 memory=6947385649911455296 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 63 13280 0 0 0 0 4 3 20 0 15 0 229944633 11262046208 44880 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=10998092 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 63 13280 0 0 1 0 4 3 20 0 15 0 229944634 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=10998092 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 14 13280 0 0 0 0 4 3 20 0 15 0 229944634 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596224189408 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=10998092 memory=6933690279252828305 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944635 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596022862848 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=10998092 memory=-7449383003082255508 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11262046208 44880 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=10998092 memory=6947385649911455296 CPUtime=0.26 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 1084 13280 0 0 19 0 4 3 20 0 15 0 229944637 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=10998092 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 1200 13280 0 0 25 0 4 3 20 0 15 0 229944637 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=10998092 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 1201 13280 0 0 33 0 4 3 20 0 15 0 229944637 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=10998092 memory=31364 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11262046208 44880 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=10998092 memory=-6876588628754522503 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 1 13280 0 0 0 0 4 3 20 0 15 0 229944638 11262046208 44880 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 84409 13280 0 0 237131 28 4 3 20 0 15 0 229944632 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597357553456 140596924431600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=11077984 memory=583228 CPUtime=4.24 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 14840 13280 0 0 394 23 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=11077984 memory=583228 CPUtime=4.25 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 9165 13280 0 0 394 24 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=11077984 memory=583228 CPUtime=4.24 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 10665 13280 0 0 395 22 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=11077984 memory=583228 CPUtime=4.27 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 9567 13280 0 0 398 22 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=11077984 memory=217408 CPUtime=4.07 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 11200 13280 0 0 377 23 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 16 13280 0 0 0 0 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596224189408 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 6 13280 0 0 0 0 4 3 20 0 15 0 229944635 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596022862848 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=11077984 memory=3872 CPUtime=6.43 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 39728 13280 0 0 632 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=11077984 memory=1408 CPUtime=5.55 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 33047 13280 0 0 544 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=11077984 memory=3232 CPUtime=1.94 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 22485 13280 0 0 182 5 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=11077984 memory=4100 CPUtime=1.14 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 2687 13280 0 0 53 54 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 2407.24 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 583228 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.54 1.46 3/216 723
/proc/meminfo: memFree=12059340/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=11077984 memory=583228 CPUtime=2467.55 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 240749 13280 0 0 246567 181 4 3 20 0 15 0 229944623 11343855616 145807 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2769496 145807 3524 1 0 2731149 0
[pid=355/tid=408] ppid=352 vsize=11077984 memory=583228 CPUtime=2431.43 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 84762 13280 0 0 243108 28 4 3 20 0 15 0 229944632 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597357553152 140596919327438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=11077984 memory=583228 CPUtime=4.33 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 15141 13280 0 0 403 23 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=11077984 memory=583228 CPUtime=4.35 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 9169 13280 0 0 404 24 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=11077984 memory=583228 CPUtime=4.35 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 10666 13280 0 0 405 23 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=11077984 memory=583228 CPUtime=4.36 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 9606 13280 0 0 407 22 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=11077984 memory=583228 CPUtime=4.16 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 11228 13280 0 0 386 23 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 16 13280 0 0 0 0 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596224189408 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 6 13280 0 0 0 0 4 3 20 0 15 0 229944635 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596022862848 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=11077984 memory=583228 CPUtime=6.43 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 39730 13280 0 0 632 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=11077984 memory=583228 CPUtime=5.55 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 33049 13280 0 0 544 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=11077984 memory=583228 CPUtime=1.94 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 22487 13280 0 0 182 5 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=11077984 memory=583228 CPUtime=1.17 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 2691 13280 0 0 54 56 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 2467.55 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 583228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.5 s]
/proc/loadavg: 1.29 1.49 1.45 3/216 724
/proc/meminfo: memFree=12057816/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=11077984 memory=583228 CPUtime=2520.03 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 241294 13280 0 0 251811 185 4 3 20 0 15 0 229944623 11343855616 145807 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2769496 145807 3524 1 0 2731149 0
[pid=355/tid=408] ppid=352 vsize=11077984 memory=583228 CPUtime=2483.43 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 85030 13280 0 0 248307 29 4 3 20 0 15 0 229944632 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597357553296 140596922868236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=11077984 memory=583228 CPUtime=4.43 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 15162 13280 0 0 412 24 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=11077984 memory=583228 CPUtime=4.44 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 9194 13280 0 0 413 24 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=11077984 memory=583228 CPUtime=4.44 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 10689 13280 0 0 414 23 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=11077984 memory=583228 CPUtime=4.45 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 9612 13280 0 0 416 22 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=11077984 memory=583228 CPUtime=4.25 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 11409 13280 0 0 394 24 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=11077984 memory=141890351633373 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 16 13280 0 0 0 0 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596224189408 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 6 13280 0 0 0 0 4 3 20 0 15 0 229944635 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596022862848 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=11077984 memory=583228 CPUtime=6.43 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 39732 13280 0 0 632 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=11077984 memory=583228 CPUtime=5.55 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 33051 13280 0 0 544 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=11077984 memory=583228 CPUtime=1.94 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 22489 13280 0 0 182 5 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=11077984 memory=5420 CPUtime=1.19 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 2706 13280 0 0 55 57 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 583228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.53 s]
# the end of solver process 355 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.17 s, system=1.90125 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.5 s]
/proc/loadavg: 1.29 1.49 1.45 3/216 724
/proc/meminfo: memFree=12057816/32770624 swapFree=67108496/67108860
[pid=355] ppid=352 vsize=11077984 memory=583228 CPUtime=2520.03 cores=1,3,5,7
/proc/355/stat : 355 (java) S 352 355 27288 0 -1 1077944320 241294 13280 0 0 251811 185 4 3 20 0 15 0 229944623 11343855616 145807 33554432000 4194304 4196468 140721154760752 140721154743296 140597385719543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
/proc/355/statm: 2769496 145807 3524 1 0 2731149 0
[pid=355/tid=408] ppid=352 vsize=11077984 memory=583228 CPUtime=2483.43 cores=1,3,5,7
/proc/355/task/408/stat : 408 (java) R 352 355 27288 0 -1 4202560 85030 13280 0 0 248307 29 4 3 20 0 15 0 229944632 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597357553296 140596922868236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=409] ppid=352 vsize=11077984 memory=583228 CPUtime=4.43 cores=1,3,5,7
/proc/355/task/409/stat : 409 (java) S 352 355 27288 0 -1 1077944384 15162 13280 0 0 412 24 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597389962000 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=410] ppid=352 vsize=11077984 memory=583228 CPUtime=4.44 cores=1,3,5,7
/proc/355/task/410/stat : 410 (java) S 352 355 27288 0 -1 1077944384 9194 13280 0 0 413 24 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597244681104 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=411] ppid=352 vsize=11077984 memory=583228 CPUtime=4.44 cores=1,3,5,7
/proc/355/task/411/stat : 411 (java) S 352 355 27288 0 -1 1077944384 10689 13280 0 0 414 23 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597243628560 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=412] ppid=352 vsize=11077984 memory=583228 CPUtime=4.45 cores=1,3,5,7
/proc/355/task/412/stat : 412 (java) S 352 355 27288 0 -1 1077944384 9612 13280 0 0 416 22 4 3 20 0 15 0 229944633 11343855616 145807 33554432000 4194304 4196468 140721154760752 140597242576016 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=413] ppid=352 vsize=11077984 memory=583228 CPUtime=4.25 cores=1,3,5,7
/proc/355/task/413/stat : 413 (java) S 352 355 27288 0 -1 1077944384 11409 13280 0 0 394 24 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596811495408 140597385730690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=414] ppid=352 vsize=11077984 memory=141890351633373 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/414/stat : 414 (java) S 352 355 27288 0 -1 1077944384 16 13280 0 0 0 0 4 3 20 0 15 0 229944634 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596224189408 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=416] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/416/stat : 416 (java) S 352 355 27288 0 -1 1077944384 6 13280 0 0 0 0 4 3 20 0 15 0 229944635 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596022862848 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=417] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/417/stat : 417 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595715463376 140597385738139 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=418] ppid=352 vsize=11077984 memory=583228 CPUtime=6.43 cores=1,3,5,7
/proc/355/task/418/stat : 418 (java) S 352 355 27288 0 -1 1077944384 39732 13280 0 0 632 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596810443248 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=419] ppid=352 vsize=11077984 memory=583228 CPUtime=5.55 cores=1,3,5,7
/proc/355/task/419/stat : 419 (java) S 352 355 27288 0 -1 1077944384 33051 13280 0 0 544 4 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596809390704 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=420] ppid=352 vsize=11077984 memory=583228 CPUtime=1.94 cores=1,3,5,7
/proc/355/task/420/stat : 420 (java) S 352 355 27288 0 -1 1077944384 22489 13280 0 0 182 5 4 3 20 0 15 0 229944637 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596808338160 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=421] ppid=352 vsize=11077984 memory=583228 CPUtime=0.07 cores=1,3,5,7
/proc/355/task/421/stat : 421 (java) S 352 355 27288 0 -1 1077944384 3 13280 0 0 0 0 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140595284667488 140597385729749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
[pid=355/tid=422] ppid=352 vsize=11077984 memory=5420 CPUtime=1.19 cores=1,3,5,7
/proc/355/task/422/stat : 422 (java) S 352 355 27288 0 -1 1077944384 2706 13280 0 0 55 57 4 3 20 0 15 0 229944638 11343855616 145807 33554432000 4194304 4196468 140721154760752 140596807285040 140597385730690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 75 0 0 6293624 6294260 34426880 140721154767459 140721154770268 140721154770268 140721154772943 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 583228 KiB
Child status: 143
Real time (s): 2494.53
CPU time (s): 2520.08
CPU user time (s): 2518.17
CPU system time (s): 1.90125
CPU usage (%): 101.024
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 601256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.17
system time used= 1.90125
maximum resident set size= 603316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147748
involuntary context switches= 4288
# summary of solver processes directly reported to runsolver:
# pid: 355
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.17
# total CPU system time (s): 1.90125
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.821 second user time and 20.1483 second system time
The end