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 (14541 MiB free)
memory of node 1: 16384 MiB (15615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270209-1502622440/watcher-4270209-1502622440 -o /tmp/evaluation-result-4270209-1502622440/solver-4270209-1502622440 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1695204642 HOME/instance-4270209-1502622440.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
solver pid=1039, runsolver pid=1036
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 2.02 2.01 1.95 2/196 1040
/proc/meminfo: memFree=30880432/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (runsolver) D 1036 1039 17093 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 64437357 34791424 114 18446744073709551615 4194304 4346622 140723906974640 140723906971272 139975000826583 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 34734080 140723906981951 140723906982441 140723906982441 140723906985930 0
/proc/1039/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.208989 s]*
/proc/loadavg: 2.02 2.01 1.95 2/210 1054
/proc/meminfo: memFree=30869472/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13907304 memory=20404 CPUtime=0.05 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 4549 0 0 0 4 1 0 0 20 0 14 0 64437368 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3476826 5101 2554 1 0 3466323 0
[pid=1041/tid=1042] ppid=1039 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) D 1039 1039 17093 0 -1 4202560 2723 0 0 0 4 0 0 0 20 0 14 0 64437368 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140379557230496 140379553015037 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13907304 memory=4294981025 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64437369 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13907304 memory=139975003800979 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64437369 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64437369 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64437369 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13907304 memory=139975003776640 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64437370 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64437371 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378669560992 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64437371 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378668507888 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64437373 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) S 1039 1039 17093 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 64437373 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378666404592 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) S 1039 1039 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 64437373 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378665352048 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13907304 memory=139975003776640 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 64437373 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64437373 14241079296 5101 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21784 KiB
[startup+0.31 s]*
/proc/loadavg: 2.10 2.03 1.95 5/211 1055
/proc/meminfo: memFree=30859824/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13974352 memory=32108 CPUtime=0.18 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 5904 0 0 0 17 1 0 0 20 0 15 0 64437368 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3493588 8027 2967 1 0 3482964 0
[pid=1041/tid=1042] ppid=1039 vsize=13974352 memory=1398720917958146503 CPUtime=0.12 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) R 1039 1039 17093 0 -1 4202560 3188 0 0 0 11 1 0 0 20 0 15 0 64437368 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140379557226672 140379144163991 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64437369 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13974352 memory=139975003776640 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64437370 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64437371 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378669560992 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64437371 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378668507888 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) R 1039 1039 17093 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 15 0 64437373 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378666396096 140379533693312 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) R 1039 1039 17093 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 64437373 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378665352144 140379553003221 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13974352 memory=139975003776640 CPUtime=0.04 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) R 1039 1039 17093 0 -1 4202560 674 0 0 0 4 0 0 0 20 0 15 0 64437373 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378664295928 140379532283746 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13974352 memory=139975003776640 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437381 14309736448 8027 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33488 KiB
[startup+0.701643 s]
/proc/loadavg: 2.10 2.03 1.95 3/211 1055
/proc/meminfo: memFree=30843880/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13980732 memory=60448 CPUtime=1.03 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 12299 0 0 0 98 5 0 0 20 0 15 0 64437368 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3495183 15112 3170 1 0 3483476 0
[pid=1041/tid=1042] ppid=1039 vsize=13980732 memory=4612 CPUtime=0.5 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) R 1039 1039 17093 0 -1 4202560 7964 0 0 0 47 3 0 0 20 0 15 0 64437368 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140379557230848 140379147023632 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64437370 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378669560992 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378668507888 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13980732 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) R 1039 1039 17093 0 -1 4202560 933 0 0 0 13 0 0 0 20 0 15 0 64437373 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378666393184 140379534537271 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13980732 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) R 1039 1039 17093 0 -1 4202560 939 0 0 0 12 0 0 0 20 0 15 0 64437373 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378665338072 140379534536768 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13980732 memory=6944656575208382560 CPUtime=0.25 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 1157 0 0 0 25 0 0 0 20 0 15 0 64437373 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437381 14316269568 15112 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61828 KiB
[startup+1.50077 s]
/proc/loadavg: 2.10 2.03 1.95 5/211 1055
/proc/meminfo: memFree=30782220/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13980732 memory=114592 CPUtime=2.84 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 27351 0 0 0 277 7 0 0 20 0 15 0 64437368 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3495183 28648 3178 1 0 3483476 0
[pid=1041/tid=1042] ppid=1039 vsize=13980732 memory=36384 CPUtime=1.29 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) R 1039 1039 17093 0 -1 4202560 8176 0 0 0 126 3 0 0 20 0 15 0 64437368 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140379557228080 140379147208419 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13980732 memory=99784 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13980732 memory=7519151349382406998 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64437369 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13980732 memory=7444824466173218920 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 64437370 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378669560992 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378668507888 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13980732 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13980732 memory=6944656592455360608 CPUtime=0.63 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) R 1039 1039 17093 0 -1 4202560 8650 0 0 0 62 1 0 0 20 0 15 0 64437373 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378666404592 140379532210165 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13980732 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) S 1039 1039 17093 0 -1 1077944384 7229 0 0 0 57 1 0 0 20 0 15 0 64437373 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378665352048 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13980732 memory=-5345911753256963030 CPUtime=0.3 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 1972 0 0 0 30 0 0 0 20 0 15 0 64437373 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13980732 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13980732 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64437381 14316269568 28648 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378668507904 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13980732 memory=625200 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13980732 memory=2752 CPUtime=2.46 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) S 1039 1039 17093 0 -1 1077944384 15886 0 0 0 244 2 0 0 20 0 15 0 64437373 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378666404592 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13980732 memory=625200 CPUtime=2.19 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) S 1039 1039 17093 0 -1 1077944384 13801 0 0 0 217 2 0 0 20 0 15 0 64437373 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378665352048 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13980732 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 6663 0 0 0 60 1 0 0 20 0 15 0 64437373 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13980732 memory=279949727152944 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13980732 memory=1444 CPUtime=0.05 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 1445 0 0 0 2 3 0 0 20 0 15 0 64437381 14316269568 156300 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 108.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 626580 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/211 1061
/proc/meminfo: memFree=29900756/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13980732 memory=865404 CPUtime=168.42 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 62685 0 0 0 16775 67 0 0 20 0 15 0 64437368 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3495183 216351 3240 1 0 3483476 0
[pid=1041/tid=1042] ppid=1039 vsize=13980732 memory=865404 CPUtime=161.76 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) R 1039 1039 17093 0 -1 4202560 15581 0 0 0 16164 12 0 0 20 0 15 0 64437368 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140379557228704 140379149935270 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13980732 memory=1380 CPUtime=0.3 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 581 0 0 0 19 11 0 0 20 0 15 0 64437369 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13980732 memory=865404 CPUtime=0.3 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1040 0 0 0 19 11 0 0 20 0 15 0 64437369 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13980732 memory=1380 CPUtime=0.31 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 2457 0 0 0 20 11 0 0 20 0 15 0 64437369 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13980732 memory=865404 CPUtime=0.3 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 904 0 0 0 20 10 0 0 20 0 15 0 64437369 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 1535 0 0 0 1 0 0 0 20 0 15 0 64437370 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13980732 memory=602312 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378669561056 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13980732 memory=865404 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378668507904 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13980732 memory=865404 CPUtime=2.47 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) S 1039 1039 17093 0 -1 1077944384 16071 0 0 0 245 2 0 0 20 0 15 0 64437373 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378666404592 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13980732 memory=865404 CPUtime=2.19 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) S 1039 1039 17093 0 -1 1077944384 13849 0 0 0 217 2 0 0 20 0 15 0 64437373 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378665352048 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13980732 memory=1380 CPUtime=0.62 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 7841 0 0 0 61 1 0 0 20 0 15 0 64437373 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13980732 memory=36388 CPUtime=0.07 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 1473 0 0 0 3 4 0 0 20 0 15 0 64437381 14316269568 216351 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 168.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 866784 KiB
[startup+222.301 s]
/proc/loadavg: 1.97 2.01 1.95 3/211 1141
/proc/meminfo: memFree=30499928/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13980732 memory=883600 CPUtime=228.57 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 66120 0 0 0 22786 71 0 0 20 0 15 0 64437368 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3495183 220900 3242 1 0 3483476 0
[pid=1041/tid=1042] ppid=1039 vsize=13980732 memory=1380 CPUtime=221.74 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) R 1039 1039 17093 0 -1 4202560 16476 0 0 0 22162 12 0 0 20 0 15 0 64437368 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379557229688 140379149935069 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13980732 memory=883600 CPUtime=0.32 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 598 0 0 0 21 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13980732 memory=883600 CPUtime=0.31 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1156 0 0 0 20 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13980732 memory=883600 CPUtime=0.32 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 2726 0 0 0 21 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13980732 memory=883600 CPUtime=0.32 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 921 0 0 0 21 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13980732 memory=883600 CPUtime=0.01 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 1680 0 0 0 1 0 0 0 20 0 15 0 64437370 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13980732 memory=3064 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378669561056 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13980732 memory=883600 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378668507904 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13980732 memory=1380 CPUtime=2.5 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) S 1039 1039 17093 0 -1 1077944384 16907 0 0 0 248 2 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378666404592 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13980732 memory=4028 CPUtime=2.21 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) S 1039 1039 17093 0 -1 1077944384 14728 0 0 0 219 2 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378665352048 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13980732 memory=883600 CPUtime=0.63 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 8094 0 0 0 62 1 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13980732 memory=36388 CPUtime=0.11 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 1481 0 0 0 5 6 0 0 20 0 15 0 64437381 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 228.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 884980 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.97 2.01 1.95 3/211 1141
/proc/meminfo: memFree=30497632/32770624 swapFree=67108860/67108860
[pid=1039] ppid=1036 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1039/stat : 1039 (xcsp3-exec) S 1036 1039 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64437357 9740288 345 18446744073709551615 4194304 5098028 140734183338576 140734183336680 140582777434748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 18464768 140734183346558 140734183346762 140734183346762 140734183350251 0
/proc/1039/statm: 2378 345 289 221 0 87 0
[pid=1041] ppid=1039 vsize=13980732 memory=883600 CPUtime=246.28 cores=1,3,5,7
/proc/1041/stat : 1041 (java) S 1039 1039 17093 0 -1 1077944320 66764 0 0 0 24556 72 0 0 20 0 15 0 64437368 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140730024795328 140379552993015 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
/proc/1041/statm: 3495183 220900 3242 1 0 3483476 0
[pid=1041/tid=1042] ppid=1039 vsize=13980732 memory=1398720917958146503 CPUtime=239.44 cores=1,3,5,7
/proc/1041/task/1042/stat : 1042 (java) R 1039 1039 17093 0 -1 4202560 17110 0 0 0 23932 12 0 0 20 0 15 0 64437368 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379557229688 140379149935497 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1043] ppid=1039 vsize=13980732 memory=4126316290023845779 CPUtime=0.32 cores=1,3,5,7
/proc/1041/task/1043/stat : 1043 (java) S 1039 1039 17093 0 -1 1077944384 598 0 0 0 21 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379472407568 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1044] ppid=1039 vsize=13980732 memory=4612 CPUtime=0.31 cores=1,3,5,7
/proc/1041/task/1044/stat : 1044 (java) S 1039 1039 17093 0 -1 1077944384 1156 0 0 0 20 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379471355024 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1045] ppid=1039 vsize=13980732 memory=1708 CPUtime=0.32 cores=1,3,5,7
/proc/1041/task/1045/stat : 1045 (java) S 1039 1039 17093 0 -1 1077944384 2726 0 0 0 21 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379470301968 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1046] ppid=1039 vsize=13980732 memory=1444 CPUtime=0.32 cores=1,3,5,7
/proc/1041/task/1046/stat : 1046 (java) S 1039 1039 17093 0 -1 1077944384 921 0 0 0 21 11 0 0 20 0 15 0 64437369 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140379469249424 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1047] ppid=1039 vsize=13980732 memory=1228 CPUtime=0.01 cores=1,3,5,7
/proc/1041/task/1047/stat : 1047 (java) S 1039 1039 17093 0 -1 1077944384 1682 0 0 0 1 0 0 0 20 0 15 0 64437370 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378670614768 140379553004162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1048] ppid=1039 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1048/stat : 1048 (java) S 1039 1039 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378669561056 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1049] ppid=1039 vsize=13980732 memory=883600 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1049/stat : 1049 (java) S 1039 1039 17093 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 64437371 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378668507904 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1050] ppid=1039 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1050/stat : 1050 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378667456464 140379553011611 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1051] ppid=1039 vsize=13980732 memory=20536 CPUtime=2.5 cores=1,3,5,7
/proc/1041/task/1051/stat : 1051 (java) S 1039 1039 17093 0 -1 1077944384 16909 0 0 0 248 2 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378666404592 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1052] ppid=1039 vsize=13980732 memory=1156 CPUtime=2.21 cores=1,3,5,7
/proc/1041/task/1052/stat : 1052 (java) S 1039 1039 17093 0 -1 1077944384 14730 0 0 0 219 2 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378665352048 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1053] ppid=1039 vsize=13980732 memory=3060 CPUtime=0.63 cores=1,3,5,7
/proc/1041/task/1053/stat : 1053 (java) S 1039 1039 17093 0 -1 1077944384 8096 0 0 0 62 1 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378664298992 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1054] ppid=1039 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1041/task/1054/stat : 1054 (java) S 1039 1039 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64437373 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378663246688 140379553003221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
[pid=1041/tid=1055] ppid=1039 vsize=13980732 memory=7680170660397595203 CPUtime=0.12 cores=1,3,5,7
/proc/1041/task/1055/stat : 1055 (java) S 1039 1039 17093 0 -1 1077944384 1483 0 0 0 5 7 0 0 20 0 15 0 64437381 14316269568 220900 18446744073709551615 4194304 4196468 140730024812784 140378662193712 140379553004162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15294464 140730024821175 140730024821350 140730024821350 140730024824783 0
Current children cumulated CPU time: 246.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 884980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001942 s, system=0.00015 s
[startup+240.037 s]
# the end of solver process 1041 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.584 s, system=0.732577 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.037
CPU time (s): 246.317
CPU user time (s): 245.584
CPU system time (s): 0.732577
CPU usage (%): 102.616
Max. virtual memory (cumulated for all children) (KiB): 13992720
Max. memory (cumulated for all children) (KiB): 884980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.584
system time used= 0.732577
maximum resident set size= 884184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67645
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= 8538
involuntary context switches= 164
# summary of solver processes directly reported to runsolver:
# pid: 1039,1041
# total CPU time (s): 246.317
# total CPU user time (s): 245.584
# total CPU system time (s): 0.732577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27785 second user time and 2.55235 second system time
The end