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 (14940 MiB free)
memory of node 1: 16384 MiB (15430 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270263-1502617429/watcher-4270263-1502617429 -o /tmp/evaluation-result-4270263-1502617429/solver-4270263-1502617429 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1010050086 HOME/instance-4270263-1502617429.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21602, runsolver pid=21599
[startup+0.100087 s]*
/proc/loadavg: 2.00 2.02 2.04 4/198 21605
/proc/meminfo: memFree=31087408/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13358712 memory=14244 CPUtime=0.01 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 3344 0 0 0 1 0 0 0 20 0 6 0 63963582 13679321088 3561 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3339678 3561 1900 1 0 3329175 0
[pid=21604/tid=21605] ppid=21602 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 2110 0 0 0 0 0 0 0 20 0 6 0 63963582 13679321088 3561 18446744073709551615 4194304 4196468 140725083796112 139724650410576 139724631856947 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13358712 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 63963583 13679321088 3561 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13358712 memory=140618443381789 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 63963583 13679321088 3561 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 63963583 13679321088 3561 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 63963583 13679321088 3561 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15624 KiB
[startup+0.21019 s]*
/proc/loadavg: 2.00 2.02 2.04 4/211 21618
/proc/meminfo: memFree=31071760/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13974352 memory=28392 CPUtime=0.09 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 4996 0 0 0 8 1 0 0 20 0 15 0 63963582 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3493588 7098 2748 1 0 3482964 0
[pid=21604/tid=21605] ppid=21602 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 3135 0 0 0 7 0 0 0 20 0 15 0 63963582 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724650399904 139724646196381 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13974352 memory=140618443381789 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13974352 memory=140618442790528 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963584 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63963585 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724123481632 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63963585 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724122428784 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) S 21602 21602 897 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 63963587 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13974352 memory=140618442790528 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 63963587 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13974352 memory=140618442790528 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963592 14309736448 7098 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29772 KiB
[startup+0.312394 s]*
/proc/loadavg: 2.00 2.02 2.04 6/211 21618
/proc/meminfo: memFree=31045648/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13974352 memory=37520 CPUtime=0.29 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 8534 0 0 0 26 3 0 0 20 0 15 0 63963582 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3493588 9380 2974 1 0 3482964 0
[pid=21604/tid=21605] ppid=21602 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 5759 0 0 0 16 2 0 0 20 0 15 0 63963582 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724650400768 139724646196381 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963584 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63963585 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724123481632 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63963585 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724122428784 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) S 21602 21602 897 0 -1 1077944384 712 0 0 0 1 0 0 0 20 0 15 0 63963587 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) R 21602 21602 897 0 -1 4202560 59 0 0 0 2 0 0 0 20 0 15 0 63963587 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724629584862 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13974352 memory=140618442790528 CPUtime=0.06 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 700 0 0 0 6 0 0 0 20 0 15 0 63963587 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13974352 memory=140618442790528 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963592 14309736448 9380 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38900 KiB
[startup+0.700725 s]
/proc/loadavg: 2.00 2.02 2.04 7/211 21618
/proc/meminfo: memFree=31020868/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13980732 memory=67884 CPUtime=1.16 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 12677 0 0 0 110 6 0 0 20 0 15 0 63963582 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3495183 16971 3173 1 0 3483476 0
[pid=21604/tid=21605] ppid=21602 vsize=13980732 memory=36200 CPUtime=0.55 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 8287 0 0 0 52 3 0 0 20 0 15 0 63963582 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724650413600 139724286816019 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13980732 memory=25332 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13980732 memory=6657 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63963584 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724123481632 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13980732 memory=6660 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724122428784 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13980732 memory=294 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13980732 memory=241 CPUtime=0.14 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) R 21602 21602 897 0 -1 4202560 1186 0 0 0 14 0 0 0 20 0 15 0 63963587 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724631299192 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13980732 memory=827 CPUtime=0.13 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) R 21602 21602 897 0 -1 1077944384 579 0 0 0 13 0 0 0 20 0 15 0 63963587 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724646185602 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13980732 memory=220 CPUtime=0.29 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 1319 0 0 0 29 0 0 0 20 0 15 0 63963587 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13980732 memory=52 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13980732 memory=4 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963592 14316269568 16971 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69264 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.02 2.04 7/211 21618
/proc/meminfo: memFree=30955352/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13980732 memory=119144 CPUtime=3.61 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 38715 0 0 0 352 9 0 0 20 0 15 0 63963582 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3495183 29786 3182 1 0 3483476 0
[pid=21604/tid=21605] ppid=21602 vsize=13980732 memory=114272 CPUtime=1.35 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 9142 0 0 0 132 3 0 0 20 0 15 0 63963582 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724650405256 139724290523232 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13980732 memory=25332 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13980732 memory=281236606029520 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63963583 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63963584 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 29786 18446744073709551615 4194304 4196468 140725083796112 139724123481632 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=21604/tid=21610] ppid=21602 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 1121 0 0 0 1 0 0 0 20 0 15 0 63963584 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724123481696 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724122428800 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13980732 memory=1728 CPUtime=4.1 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) S 21602 21602 897 0 -1 1077944384 26287 0 0 0 407 3 0 0 20 0 15 0 63963587 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13980732 memory=1228 CPUtime=4.37 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) S 21602 21602 897 0 -1 1077944384 27708 0 0 0 435 2 0 0 20 0 15 0 63963587 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13980732 memory=796 CPUtime=0.57 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 5926 0 0 0 55 2 0 0 20 0 15 0 63963587 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13980732 memory=1712 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 529 0 0 0 1 1 0 0 20 0 15 0 63963592 14316269568 59337 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 111.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 238728 KiB
[startup+162.301 s]
/proc/loadavg: 1.86 1.95 2.01 3/211 21638
/proc/meminfo: memFree=30719292/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13980732 memory=216400 CPUtime=171.28 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 84676 0 0 0 17110 18 0 0 20 0 15 0 63963582 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3495183 54100 3242 1 0 3483476 0
[pid=21604/tid=21605] ppid=21602 vsize=13980732 memory=221016 CPUtime=161.98 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 14576 0 0 0 16192 6 0 0 20 0 15 0 63963582 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724650412712 139724292882432 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13980732 memory=216400 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 2126 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13980732 memory=216400 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 773 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 1329 0 0 0 2 0 0 0 20 0 15 0 63963584 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724123481696 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13980732 memory=216400 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724122428800 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13980732 memory=317785490046845228 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13980732 memory=1380 CPUtime=4.12 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) S 21602 21602 897 0 -1 1077944384 27177 0 0 0 409 3 0 0 20 0 15 0 63963587 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13980732 memory=1380 CPUtime=4.38 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) S 21602 21602 897 0 -1 1077944384 28037 0 0 0 436 2 0 0 20 0 15 0 63963587 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.58 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 7414 0 0 0 56 2 0 0 20 0 15 0 63963587 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13980732 memory=216400 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 557 0 0 0 1 1 0 0 20 0 15 0 63963592 14316269568 54100 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 171.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217780 KiB
[startup+222.301 s]
/proc/loadavg: 1.88 1.94 2.01 3/212 21641
/proc/meminfo: memFree=30750276/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13980732 memory=201520 CPUtime=231.34 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 87743 0 0 0 23116 18 0 0 20 0 15 0 63963582 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3495183 50380 3242 1 0 3483476 0
[pid=21604/tid=21605] ppid=21602 vsize=13980732 memory=201520 CPUtime=221.98 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 15373 0 0 0 22192 6 0 0 20 0 15 0 63963582 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724650411096 139724288167721 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 746 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13980732 memory=201520 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 2169 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13980732 memory=201520 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 997 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 778 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13980732 memory=281236607943088 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 1590 0 0 0 2 0 0 0 20 0 15 0 63963584 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724123481696 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724122428800 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13980732 memory=201520 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13980732 memory=1380 CPUtime=4.16 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) S 21602 21602 897 0 -1 1077944384 28276 0 0 0 413 3 0 0 20 0 15 0 63963587 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13980732 memory=4116 CPUtime=4.38 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) S 21602 21602 897 0 -1 1077944384 28076 0 0 0 436 2 0 0 20 0 15 0 63963587 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.58 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 7764 0 0 0 56 2 0 0 20 0 15 0 63963587 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13980732 memory=201520 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13980732 memory=1624 CPUtime=0.04 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 588 0 0 0 2 2 0 0 20 0 15 0 63963592 14316269568 50380 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 231.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202900 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.85 1.93 2.00 2/194 21675
/proc/meminfo: memFree=30959256/32770624 swapFree=67108860/67108860
[pid=21602] ppid=21599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21602/stat : 21602 (xcsp3-exec) S 21599 21602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63963573 9740288 345 18446744073709551615 4194304 5098028 140728834843392 140728834841496 140491864384124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 8957952 140728834851198 140728834851402 140728834851402 140728834854891 0
/proc/21602/statm: 2378 345 289 221 0 87 0
[pid=21604] ppid=21602 vsize=13980732 memory=198956 CPUtime=249.11 cores=1,3,5,7
/proc/21604/stat : 21604 (java) S 21602 21602 897 0 -1 1077944320 88603 0 0 0 24892 19 0 0 20 0 15 0 63963582 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 140725083778656 139724646174455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
/proc/21604/statm: 3495183 49739 3243 1 0 3483476 0
[pid=21604/tid=21605] ppid=21602 vsize=13980732 memory=-8774313645642428999 CPUtime=239.68 cores=1,3,5,7
/proc/21604/task/21605/stat : 21605 (java) R 21602 21602 897 0 -1 4202560 15414 0 0 0 23962 6 0 0 20 0 15 0 63963582 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724650413600 139724292883548 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21606] ppid=21602 vsize=13980732 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21606/stat : 21606 (java) S 21602 21602 897 0 -1 1077944384 749 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724615887504 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21607] ppid=21602 vsize=13980732 memory=640 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21607/stat : 21607 (java) S 21602 21602 897 0 -1 1077944384 2174 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724245199376 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21608] ppid=21602 vsize=13980732 memory=1792 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21608/stat : 21608 (java) S 21602 21602 897 0 -1 1077944384 1000 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724244146576 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21609] ppid=21602 vsize=13980732 memory=3904 CPUtime=0.02 cores=1,3,5,7
/proc/21604/task/21609/stat : 21609 (java) S 21602 21602 897 0 -1 1077944384 780 0 0 0 2 0 0 0 20 0 15 0 63963583 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724243093776 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21610] ppid=21602 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/21604/task/21610/stat : 21610 (java) S 21602 21602 897 0 -1 1077944384 1590 0 0 0 2 1 0 0 20 0 15 0 63963584 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724124535664 139724646185602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21611] ppid=21602 vsize=13980732 memory=198956 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21611/stat : 21611 (java) S 21602 21602 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724123481696 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21612] ppid=21602 vsize=13980732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21612/stat : 21612 (java) S 21602 21602 897 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 63963585 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724122428800 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21613] ppid=21602 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21613/stat : 21613 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963587 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724121377104 139724646193051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21614] ppid=21602 vsize=13980732 memory=198956 CPUtime=4.19 cores=1,3,5,7
/proc/21604/task/21614/stat : 21614 (java) S 21602 21602 897 0 -1 1077944384 28511 0 0 0 416 3 0 0 20 0 15 0 63963587 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724120324464 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21615] ppid=21602 vsize=13980732 memory=36228 CPUtime=4.4 cores=1,3,5,7
/proc/21604/task/21615/stat : 21615 (java) S 21602 21602 897 0 -1 1077944384 28635 0 0 0 438 2 0 0 20 0 15 0 63963587 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724119271664 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21616] ppid=21602 vsize=13980732 memory=1292 CPUtime=0.59 cores=1,3,5,7
/proc/21604/task/21616/stat : 21616 (java) S 21602 21602 897 0 -1 1077944384 7776 0 0 0 57 2 0 0 20 0 15 0 63963587 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724118218864 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21617] ppid=21602 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/21604/task/21617/stat : 21617 (java) S 21602 21602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63963588 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724117166304 139724646184661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
[pid=21604/tid=21618] ppid=21602 vsize=13980732 memory=1792 CPUtime=0.04 cores=1,3,5,7
/proc/21604/task/21618/stat : 21618 (java) S 21602 21602 897 0 -1 1077944384 588 0 0 0 2 2 0 0 20 0 15 0 63963592 14316269568 49739 18446744073709551615 4194304 4196468 140725083796112 139724116114608 139724646185602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 32145408 140725083799991 140725083800166 140725083800166 140725083803599 0
Current children cumulated CPU time: 249.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.023 s]
# the end of solver process 21602 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.93 s, system=0.201083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.023
CPU time (s): 249.132
CPU user time (s): 248.93
CPU system time (s): 0.201083
CPU usage (%): 103.795
Max. virtual memory (cumulated for all children) (KiB): 13993904
Max. memory (cumulated for all children) (KiB): 243272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.93
system time used= 0.201083
maximum resident set size= 244972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8491
involuntary context switches= 146
# summary of solver processes directly reported to runsolver:
# pid: 21602
# total CPU time (s): 249.132
# total CPU user time (s): 248.93
# total CPU system time (s): 0.201083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.98859 second user time and 1.57775 second system time
The end