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 (15198 MiB free)
memory of node 1: 16384 MiB (15619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269276-1502682197/watcher-4269276-1502682197 -o /tmp/evaluation-result-4269276-1502682197/solver-4269276-1502682197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1453317376 HOME/instance-4269276-1502682197.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15711, runsolver pid=15708
[startup+0.100109 s]*
/proc/loadavg: 1.76 1.68 1.69 3/203 15719
/proc/meminfo: memFree=31550120/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13574484 memory=16672 CPUtime=0.02 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 4025 0 0 0 2 0 0 0 20 0 9 0 56560379 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3393621 4168 2083 1 0 3383118 0
[pid=15713/tid=15714] ppid=15711 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 2735 0 0 0 2 0 0 0 20 0 9 0 56560379 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140078534337032 140078514181500 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13574484 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 56560379 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13574484 memory=140377128175232 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 56560380 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 56560380 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 56560380 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13574484 memory=140377128175232 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 56560381 13900271616 4168 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 56560381 13900271616 4234 18446744073709551615 4194304 4196468 140728458114944 140077445661856 140078530111189 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 56560381 13900271616 4234 18446744073709551615 4194304 4196468 140728458114944 140077444608816 140078530111189 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18052 KiB
[startup+0.213946 s]*
/proc/loadavg: 1.76 1.68 1.69 5/211 15727
/proc/meminfo: memFree=31540808/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13974352 memory=27944 CPUtime=0.11 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 5417 0 0 0 10 1 0 0 20 0 15 0 56560379 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3493588 6986 2842 1 0 3482964 0
[pid=15713/tid=15714] ppid=15711 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 3439 0 0 0 8 0 0 0 20 0 15 0 56560379 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140078534328864 140078530112918 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560379 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13974352 memory=140377128789559 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 56560380 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13974352 memory=140377128175232 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 56560381 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 56560381 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077445661856 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56560381 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) R 15711 15711 11586 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 56560384 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077442505456 140078530112130 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077441452912 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13974352 memory=140377128175232 CPUtime=0.01 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) R 15711 15711 11586 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 15 0 56560384 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078530112130 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13974352 memory=140377128175232 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560389 14309736448 6986 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29324 KiB
[startup+0.310324 s]*
/proc/loadavg: 1.76 1.68 1.69 4/211 15727
/proc/meminfo: memFree=31530124/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13974352 memory=38928 CPUtime=0.3 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 8888 0 0 0 28 2 0 0 20 0 15 0 56560379 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3493588 9732 2992 1 0 3482964 0
[pid=15713/tid=15714] ppid=15711 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 6116 0 0 0 16 1 0 0 20 0 15 0 56560379 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140078534329680 140078530112918 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560379 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 56560380 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 56560381 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 56560381 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077445661856 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56560381 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) R 15711 15711 11586 0 -1 4202560 572 0 0 0 2 0 0 0 20 0 15 0 56560384 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077442486472 140078515029280 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) R 15711 15711 11586 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 15 0 56560384 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077441453008 140078530111189 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) R 15711 15711 11586 0 -1 4202560 717 0 0 0 6 0 0 0 20 0 15 0 56560384 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078530112918 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560389 14309736448 9732 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40308 KiB
[startup+0.701263 s]
/proc/loadavg: 1.76 1.68 1.69 6/211 15727
/proc/meminfo: memFree=31518180/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13980732 memory=67844 CPUtime=1.16 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 13182 0 0 0 112 4 0 0 20 0 15 0 56560379 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3495183 16961 3174 1 0 3483476 0
[pid=15713/tid=15714] ppid=15711 vsize=13980732 memory=6224908515443499584 CPUtime=0.55 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 8689 0 0 0 52 3 0 0 20 0 15 0 56560379 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140078534340128 140078164231617 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560379 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13980732 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 56560380 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077445661856 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13980732 memory=4637164475387183459 CPUtime=0.12 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) S 15711 15711 11586 0 -1 1077944384 987 0 0 0 12 0 0 0 20 0 15 0 56560384 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077442505456 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13980732 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) R 15711 15711 11586 0 -1 4202560 738 0 0 0 16 0 0 0 20 0 15 0 56560384 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077441439008 140078509357393 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) R 15711 15711 11586 0 -1 4202560 1460 0 0 0 29 0 0 0 20 0 15 0 56560384 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078514181470 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560389 14316269568 16961 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69224 KiB
[startup+1.50083 s]
/proc/loadavg: 1.76 1.68 1.69 5/211 15727
/proc/meminfo: memFree=31471160/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13980732 memory=117316 CPUtime=3.6 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 38873 0 0 0 352 8 0 0 20 0 15 0 56560379 14316269568 29329 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3495183 29329 3183 1 0 3483476 0
[pid=15713/tid=15714] ppid=15711 vsize=13980732 memory=4120 CPUtime=1.34 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 9471 0 0 0 131 3 0 0 20 0 15 0 56560379 14316269568 29329 18446744073709551615 4194304 4196468 140728458114944 140078534332080 140078164829291 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560379 14316269568 29329 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14316269568 29329 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13980732 memory=32288 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56560380 14316269568 29329 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13980732 memory=1380 CPUtime=3.17 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) S 15711 15711 11586 0 -1 1077944384 26280 0 0 0 314 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077442505456 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13980732 memory=207084 CPUtime=3.09 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) S 15711 15711 11586 0 -1 1077944384 25649 0 0 0 306 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077441452912 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.61 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) S 15711 15711 11586 0 -1 1077944384 8790 0 0 0 60 1 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 2312 0 0 0 19 28 0 0 20 0 15 0 56560389 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 2390.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208464 KiB
[startup+2442.3 s]
/proc/loadavg: 1.92 1.81 1.75 3/211 15891
/proc/meminfo: memFree=31302120/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13980732 memory=207084 CPUtime=2450.5 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 100811 0 0 0 244997 53 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3495183 51771 3243 1 0 3483476 0
[pid=15713/tid=15714] ppid=15711 vsize=13980732 memory=207084 CPUtime=2440.97 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 22138 0 0 0 244090 7 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078534340432 140078168283325 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13980732 memory=48 CPUtime=0.4 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 2802 0 0 0 34 6 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.4 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1940 0 0 0 36 4 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.39 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 2658 0 0 0 35 4 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.4 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2798 0 0 0 35 5 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.49 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 4054 0 0 0 46 3 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077445661920 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13980732 memory=207084 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13980732 memory=207084 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13980732 memory=207084 CPUtime=3.17 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) S 15711 15711 11586 0 -1 1077944384 26280 0 0 0 314 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077442505456 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13980732 memory=207084 CPUtime=3.09 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) S 15711 15711 11586 0 -1 1077944384 25649 0 0 0 306 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077441452912 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) S 15711 15711 11586 0 -1 1077944384 8790 0 0 0 60 1 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13980732 memory=207084 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.48 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 2331 0 0 0 19 29 0 0 20 0 15 0 56560389 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 2450.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208464 KiB
[startup+2502.3 s]
/proc/loadavg: 2.46 1.97 1.81 4/231 15988
/proc/meminfo: memFree=31061916/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13980732 memory=207084 CPUtime=2510.54 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 100851 0 0 0 251001 53 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3495183 51771 3243 1 0 3483476 0
[pid=15713/tid=15714] ppid=15711 vsize=13980732 memory=207084 CPUtime=2500.94 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 22169 0 0 0 250087 7 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078534340432 140078166014786 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.41 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 2802 0 0 0 35 6 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.41 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 1940 0 0 0 37 4 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.4 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 2659 0 0 0 36 4 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.42 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2798 0 0 0 37 5 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.5 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 4058 0 0 0 47 3 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13980732 memory=207084 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077445661920 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13980732 memory=207084 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13980732 memory=207084 CPUtime=3.17 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) S 15711 15711 11586 0 -1 1077944384 26280 0 0 0 314 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077442505456 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13980732 memory=4120 CPUtime=3.09 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) S 15711 15711 11586 0 -1 1077944384 25649 0 0 0 306 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077441452912 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13980732 memory=207084 CPUtime=0.61 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) S 15711 15711 11586 0 -1 1077944384 8790 0 0 0 60 1 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13980732 memory=207084 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.5 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 2335 0 0 0 20 30 0 0 20 0 15 0 56560389 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 2510.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.8 s]
/proc/loadavg: 2.39 1.97 1.81 4/231 15988
/proc/meminfo: memFree=31062036/32770624 swapFree=67108860/67108860
[pid=15711] ppid=15708 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15711/stat : 15711 (xcsp3-exec) S 15708 15711 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 56560371 9740288 345 18446744073709551615 4194304 5098028 140737211816176 140737211814280 140173478998652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 27340800 140737211822456 140737211822661 140737211822661 140737211826155 0
/proc/15711/statm: 2378 345 289 221 0 87 0
[pid=15713] ppid=15711 vsize=13980732 memory=207084 CPUtime=2520.05 cores=1,3,5,7
/proc/15713/stat : 15713 (java) S 15711 15711 11586 0 -1 1077944320 101382 0 0 0 251951 54 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140728458097488 140078530100983 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
/proc/15713/statm: 3495183 51771 3243 1 0 3483476 0
[pid=15713/tid=15714] ppid=15711 vsize=13980732 memory=-8774313645642428999 CPUtime=2510.44 cores=1,3,5,7
/proc/15713/task/15714/stat : 15714 (java) R 15711 15711 11586 0 -1 4202560 22354 0 0 0 251037 7 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078534340432 140078166015157 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15715] ppid=15711 vsize=13980732 memory=4580 CPUtime=0.41 cores=1,3,5,7
/proc/15713/task/15715/stat : 15715 (java) S 15711 15711 11586 0 -1 1077944384 2824 0 0 0 35 6 0 0 20 0 15 0 56560379 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078487067664 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15716] ppid=15711 vsize=13980732 memory=1156 CPUtime=0.41 cores=1,3,5,7
/proc/15713/task/15716/stat : 15716 (java) S 15711 15711 11586 0 -1 1077944384 2210 0 0 0 37 4 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078486015120 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15717] ppid=15711 vsize=13980732 memory=2928 CPUtime=0.4 cores=1,3,5,7
/proc/15713/task/15717/stat : 15717 (java) S 15711 15711 11586 0 -1 1077944384 2661 0 0 0 36 4 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078484962064 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15718] ppid=15711 vsize=13980732 memory=1380 CPUtime=0.42 cores=1,3,5,7
/proc/15713/task/15718/stat : 15718 (java) S 15711 15711 11586 0 -1 1077944384 2820 0 0 0 37 5 0 0 20 0 15 0 56560380 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140078483909520 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15719] ppid=15711 vsize=13980732 memory=239064 CPUtime=0.5 cores=1,3,5,7
/proc/15713/task/15719/stat : 15719 (java) S 15711 15711 11586 0 -1 1077944384 4078 0 0 0 47 3 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077446715632 140078530112130 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15720] ppid=15711 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15720/stat : 15720 (java) S 15711 15711 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077445661920 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15721] ppid=15711 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15721/stat : 15721 (java) S 15711 15711 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 56560381 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077444608752 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15722] ppid=15711 vsize=13980732 memory=32420 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15722/stat : 15722 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077443557328 140078530119579 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15723] ppid=15711 vsize=13980732 memory=2384 CPUtime=3.17 cores=1,3,5,7
/proc/15713/task/15723/stat : 15723 (java) S 15711 15711 11586 0 -1 1077944384 26282 0 0 0 314 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077442505456 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15724] ppid=15711 vsize=13980732 memory=1296 CPUtime=3.09 cores=1,3,5,7
/proc/15713/task/15724/stat : 15724 (java) S 15711 15711 11586 0 -1 1077944384 25651 0 0 0 306 3 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077441452912 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15725] ppid=15711 vsize=13980732 memory=1728 CPUtime=0.61 cores=1,3,5,7
/proc/15713/task/15725/stat : 15725 (java) S 15711 15711 11586 0 -1 1077944384 8792 0 0 0 60 1 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077440399856 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15726] ppid=15711 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/15713/task/15726/stat : 15726 (java) S 15711 15711 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56560384 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077439347552 140078530111189 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
[pid=15713/tid=15727] ppid=15711 vsize=13980732 memory=1996 CPUtime=0.5 cores=1,3,5,7
/proc/15713/task/15727/stat : 15727 (java) S 15711 15711 11586 0 -1 1077944384 2339 0 0 0 20 30 0 0 20 0 15 0 56560389 14316269568 51771 18446744073709551615 4194304 4196468 140728458114944 140077438294576 140078530112130 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34021376 140728458117553 140728458117729 140728458117729 140728458121167 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.81 s]
# the end of solver process 15711 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001843 s
[startup+2511.81 s]
# the end of solver process 15713 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.52 s, system=0.546022 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): 2511.81
CPU time (s): 2520.07
CPU user time (s): 2519.52
CPU system time (s): 0.546022
CPU usage (%): 100.329
Max. virtual memory (cumulated for all children) (KiB): 13993856
Max. memory (cumulated for all children) (KiB): 233092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.52
system time used= 0.546022
maximum resident set size= 234716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69738
involuntary context switches= 1719
# summary of solver processes directly reported to runsolver:
# pid: 15711,15713
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.52
# total CPU system time (s): 0.546022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8385 second user time and 22.1751 second system time
The end