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 (15269 MiB free)
memory of node 1: 16384 MiB (13428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269165-1502727495/watcher-4269165-1502727495 -o /tmp/evaluation-result-4269165-1502727495/solver-4269165-1502727495 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 16561922 HOME/instance-4269165-1502727495.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24450, runsolver pid=24447
[startup+0.100083 s]*
/proc/loadavg: 2.00 1.94 1.89 3/204 24457
/proc/meminfo: memFree=29383628/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13358712 memory=14724 CPUtime=0.01 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 3427 0 0 0 1 0 0 0 20 0 6 0 61090150 13679321088 3681 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3339678 3681 1905 1 0 3329175 0
[pid=24452/tid=24453] ppid=24450 vsize=13358712 memory=4206989191851631162 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 2203 0 0 0 0 0 0 0 20 0 6 0 61090150 13679321088 3681 18446744073709551615 4194304 4196468 140722366749008 140114558460496 140114538304862 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13358712 memory=3461490559235671689 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 61090151 13679321088 3681 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13358712 memory=139954605987456 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 61090151 13679321088 3681 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 61090151 13679321088 3681 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 61090151 13679321088 3681 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16100 KiB
[startup+0.210151 s]*
/proc/loadavg: 2.00 1.94 1.89 3/213 24466
/proc/meminfo: memFree=29374992/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13974352 memory=27412 CPUtime=0.08 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 5273 0 0 0 7 1 0 0 20 0 15 0 61090150 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3493588 6853 2726 1 0 3482964 0
[pid=24452/tid=24453] ppid=24450 vsize=13974352 memory=-6369893538249937255 CPUtime=0.06 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 3422 0 0 0 6 0 0 0 20 0 15 0 61090150 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140114558455472 140114538304862 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13974352 memory=3461490559235671689 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13974352 memory=139954605987456 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13974352 memory=139954605987456 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090152 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61090153 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113537140256 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61090153 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113536087408 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) S 24450 24450 11586 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113533983088 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) R 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113532930288 140114554235522 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13974352 memory=139954605987456 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) R 24450 24450 11586 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113531877488 140114554235522 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13974352 memory=139954605987456 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090160 14309736448 6853 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28788 KiB
[startup+0.310403 s]*
/proc/loadavg: 2.00 1.94 1.89 3/213 24466
/proc/meminfo: memFree=29359712/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13974352 memory=37296 CPUtime=0.26 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 8917 0 0 0 24 2 0 0 20 0 15 0 61090150 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3493588 9324 2984 1 0 3482964 0
[pid=24452/tid=24453] ppid=24450 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 6111 0 0 0 15 2 0 0 20 0 15 0 61090150 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140114558460704 140114554236310 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13974352 memory=139954605994449 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13974352 memory=7373048347448144230 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090151 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090152 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61090153 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113537140256 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61090153 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113536087408 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) S 24450 24450 11586 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 15 0 61090155 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113533983088 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) S 24450 24450 11586 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 15 0 61090155 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113532930288 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) R 24450 24450 11586 0 -1 4202560 706 0 0 0 5 0 0 0 20 0 15 0 61090155 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113531876672 140114554236310 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090160 14309736448 9324 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38672 KiB
[startup+0.70079 s]
/proc/loadavg: 2.00 1.94 1.89 5/213 24466
/proc/meminfo: memFree=29344572/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13978684 memory=86408 CPUtime=1.3 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 12770 0 0 0 125 5 0 0 20 0 15 0 61090150 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3494671 21602 3171 1 0 3482964 0
[pid=24452/tid=24453] ppid=24450 vsize=13978684 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 7957 0 0 0 52 3 0 0 20 0 15 0 61090150 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140114558462544 140114195920633 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090151 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13978684 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090151 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090151 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61090151 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61090152 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61090153 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113537140256 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61090153 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113536087408 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13978684 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13978684 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) R 24450 24450 11586 0 -1 4202560 1193 0 0 0 21 0 0 0 20 0 15 0 61090155 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113533968528 140114535768589 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13978684 memory=-9174445032661854264 CPUtime=0.23 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) R 24450 24450 11586 0 -1 4202560 858 0 0 0 23 0 0 0 20 0 15 0 61090155 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113532921616 140114532204469 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13978684 memory=6656426216303648864 CPUtime=0.28 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) S 24450 24450 11586 0 -1 1077944384 1454 0 0 0 28 0 0 0 20 0 15 0 61090155 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113531877488 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61090160 14314172416 21602 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87784 KiB
[startup+1.5009 s]
/proc/loadavg: 2.00 1.94 1.89 5/213 24466
/proc/meminfo: memFree=29227100/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13980732 memory=315868 CPUtime=3.75 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 17175 0 0 0 354 21 0 0 20 0 15 0 61090150 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3495183 78967 3210 1 0 3483476 0
[pid=24452/tid=24453] ppid=24450 vsize=13980732 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 8171 0 0 0 115 4 0 0 20 0 15 0 61090150 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140114558461968 140114200683463 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 154 0 0 0 11 3 0 0 20 0 15 0 61090151 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13980732 memory=4120 CPUtime=0.12 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 160 0 0 0 9 3 0 0 20 0 15 0 61090151 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13980732 memory=34664 CPUtime=0.14 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 150 0 0 0 11 3 0 0 20 0 15 0 61090151 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13980732 memory=1376 CPUtime=0.12 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 79 0 0 0 9 3 0 0 20 0 15 0 61090151 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13980732 memory=228456 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 61090152 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 78967 18446744073709551615 4194304 4196468 140722366749008 140113537140256 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113536087424 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2.31 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) S 24450 24450 11586 0 -1 1077944384 17195 0 0 0 229 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113533983088 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13980732 memory=1376 CPUtime=2.53 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) S 24450 24450 11586 0 -1 1077944384 16801 0 0 0 251 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113532930288 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13980732 memory=1376 CPUtime=0.78 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) S 24450 24450 11586 0 -1 1077944384 12663 0 0 0 76 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113531877488 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13980732 memory=1712744 CPUtime=1.49 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 1945 0 0 0 71 78 0 0 20 0 15 0 61090160 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 2344.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1714120 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/213 24687
/proc/meminfo: memFree=29416956/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2404.27 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 167392 0 0 0 240185 242 0 0 20 0 15 0 61090150 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3495183 428186 3261 1 0 3483476 0
[pid=24452/tid=24453] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2376.44 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 75027 0 0 0 237623 21 0 0 20 0 15 0 61090150 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114558461008 140114202775063 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13980732 memory=1376 CPUtime=4.97 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 7826 0 0 0 460 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13980732 memory=1712744 CPUtime=4.98 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 9670 0 0 0 461 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13980732 memory=1712744 CPUtime=5 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 7413 0 0 0 463 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13980732 memory=1712744 CPUtime=5.01 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 6761 0 0 0 464 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13980732 memory=1376 CPUtime=0.63 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 10674 0 0 0 57 6 0 0 20 0 15 0 61090152 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13980732 memory=1712744 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113537140320 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13980732 memory=1712744 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113536087424 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13980732 memory=1376 CPUtime=2.31 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) S 24450 24450 11586 0 -1 1077944384 17197 0 0 0 229 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113533983088 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13980732 memory=1376 CPUtime=2.53 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) S 24450 24450 11586 0 -1 1077944384 16803 0 0 0 251 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113532930288 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13980732 memory=1376 CPUtime=0.78 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) S 24450 24450 11586 0 -1 1077944384 12665 0 0 0 76 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113531877488 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13980732 memory=1712744 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13980732 memory=1712744 CPUtime=1.52 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 1951 0 0 0 72 80 0 0 20 0 15 0 61090160 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 2404.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1714120 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/212 24689
/proc/meminfo: memFree=29400712/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2464.36 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 168883 0 0 0 246192 244 0 0 20 0 15 0 61090150 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3495183 428186 3261 1 0 3483476 0
[pid=24452/tid=24453] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2436.44 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 76137 0 0 0 243623 21 0 0 20 0 15 0 61090150 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114558461112 140114203200348 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13980732 memory=1712744 CPUtime=4.97 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 7826 0 0 0 460 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13980732 memory=1376 CPUtime=4.98 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 9670 0 0 0 461 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13980732 memory=1712744 CPUtime=5 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 7413 0 0 0 463 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13980732 memory=1376 CPUtime=5.01 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 6761 0 0 0 464 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13980732 memory=1712744 CPUtime=0.63 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 10677 0 0 0 57 6 0 0 20 0 15 0 61090152 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13980732 memory=34752 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113537140320 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113536087424 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13980732 memory=1712744 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13980732 memory=1376 CPUtime=2.35 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) S 24450 24450 11586 0 -1 1077944384 17537 0 0 0 233 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113533983088 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2.54 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) S 24450 24450 11586 0 -1 1077944384 16817 0 0 0 252 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113532930288 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13980732 memory=1376 CPUtime=0.78 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) S 24450 24450 11586 0 -1 1077944384 12665 0 0 0 76 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113531877488 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13980732 memory=1712744 CPUtime=1.57 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 1975 0 0 0 75 82 0 0 20 0 15 0 61090160 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 2464.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1714120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498 s]*
/proc/loadavg: 2.00 2.03 2.05 3/211 24691
/proc/meminfo: memFree=29392652/32770624 swapFree=67108860/67108860
[pid=24450] ppid=24447 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24450/stat : 24450 (xcsp3-exec) S 24447 24450 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 61090141 9740288 344 18446744073709551615 4194304 5098028 140721337564128 140721337562232 140535966995068 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39055360 140721337565562 140721337565765 140721337565765 140721337569259 0
/proc/24450/statm: 2378 344 289 221 0 87 0
[pid=24452] ppid=24450 vsize=13980732 memory=1712744 CPUtime=2520.1 cores=0,2,4,6
/proc/24452/stat : 24452 (java) S 24450 24450 11586 0 -1 1077944320 169483 0 0 0 251765 245 0 0 20 0 15 0 61090150 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140722366731552 140114554224375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
/proc/24452/statm: 3495183 428186 3261 1 0 3483476 0
[pid=24452/tid=24453] ppid=24450 vsize=13980732 memory=1398720917958146503 CPUtime=2492.15 cores=0,2,4,6
/proc/24452/task/24453/stat : 24453 (java) R 24450 24450 11586 0 -1 4202560 76693 0 0 0 249194 21 0 0 20 0 15 0 61090150 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114558461112 140114202765839 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24454] ppid=24450 vsize=13980732 memory=-7003737579269690708 CPUtime=4.97 cores=0,2,4,6
/proc/24452/task/24454/stat : 24454 (java) S 24450 24450 11586 0 -1 1077944384 7826 0 0 0 460 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114154306192 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24455] ppid=24450 vsize=13980732 memory=1160 CPUtime=4.98 cores=0,2,4,6
/proc/24452/task/24455/stat : 24455 (java) S 24450 24450 11586 0 -1 1077944384 9670 0 0 0 461 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114153253392 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24456] ppid=24450 vsize=13980732 memory=3228 CPUtime=5 cores=0,2,4,6
/proc/24452/task/24456/stat : 24456 (java) S 24450 24450 11586 0 -1 1077944384 7413 0 0 0 463 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114152200592 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24457] ppid=24450 vsize=13980732 memory=1380 CPUtime=5.01 cores=0,2,4,6
/proc/24452/task/24457/stat : 24457 (java) S 24450 24450 11586 0 -1 1077944384 6761 0 0 0 464 37 0 0 20 0 15 0 61090151 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140114151147792 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24458] ppid=24450 vsize=13980732 memory=524564 CPUtime=0.63 cores=0,2,4,6
/proc/24452/task/24458/stat : 24458 (java) S 24450 24450 11586 0 -1 1077944384 10681 0 0 0 57 6 0 0 20 0 15 0 61090152 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113538194288 140114554235522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24459] ppid=24450 vsize=13980732 memory=4076 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24459/stat : 24459 (java) S 24450 24450 11586 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113537140320 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24460] ppid=24450 vsize=13980732 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24460/stat : 24460 (java) S 24450 24450 11586 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 61090153 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113536087424 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24461] ppid=24450 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24461/stat : 24461 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113535035728 140114554242971 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24462] ppid=24450 vsize=13980732 memory=0 CPUtime=2.35 cores=0,2,4,6
/proc/24452/task/24462/stat : 24462 (java) S 24450 24450 11586 0 -1 1077944384 17539 0 0 0 233 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113533983088 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24463] ppid=24450 vsize=13980732 memory=0 CPUtime=2.54 cores=0,2,4,6
/proc/24452/task/24463/stat : 24463 (java) S 24450 24450 11586 0 -1 1077944384 16820 0 0 0 252 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113532930288 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24464] ppid=24450 vsize=13980732 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/24452/task/24464/stat : 24464 (java) S 24450 24450 11586 0 -1 1077944384 12667 0 0 0 76 2 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113531877488 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24465] ppid=24450 vsize=13980732 memory=3472592183261933599 CPUtime=0 cores=0,2,4,6
/proc/24452/task/24465/stat : 24465 (java) S 24450 24450 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61090155 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113530824928 140114554234581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
[pid=24452/tid=24466] ppid=24450 vsize=13980732 memory=1156 CPUtime=1.61 cores=0,2,4,6
/proc/24452/task/24466/stat : 24466 (java) S 24450 24450 11586 0 -1 1077944384 2008 0 0 0 76 85 0 0 20 0 15 0 61090160 14316269568 428186 18446744073709551615 4194304 4196468 140722366749008 140113529773232 140114554235522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 19984384 140722366755249 140722366755425 140722366755425 140722366758863 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1714120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.02 s]
# the end of solver process 24450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001186 s, system=0.000958 s
[startup+2498.03 s]
# the end of solver process 24452 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.67 s, system=2.46752 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): 2498.03
CPU time (s): 2520.13
CPU user time (s): 2517.67
CPU system time (s): 2.46752
CPU usage (%): 100.885
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1767804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.67
system time used= 2.46752
maximum resident set size= 1771572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58900
involuntary context switches= 2679
# summary of solver processes directly reported to runsolver:
# pid: 24450,24452
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.67
# total CPU system time (s): 2.46752
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7176 second user time and 23.4419 second system time
The end