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 (13230 MiB free)
memory of node 1: 16384 MiB (15362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272763-1502705500/watcher-4272763-1502705500 -o /tmp/evaluation-result-4272763-1502705500/solver-4272763-1502705500 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 713854930 HOME/instance-4272763-1502705500.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=17602, runsolver pid=17599
[startup+0.100139 s]*
/proc/loadavg: 2.01 1.72 1.58 3/196 17603
/proc/meminfo: memFree=29273108/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.20938 s]*
/proc/loadavg: 2.01 1.72 1.58 5/211 17618
/proc/meminfo: memFree=29263132/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13974352 memory=23504 CPUtime=0.06 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 4790 0 0 0 6 0 0 0 20 0 15 0 72770695 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3493588 5876 2715 1 0 3482964 0
[pid=17604/tid=17605] ppid=17602 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 2949 0 0 0 5 0 0 0 20 0 15 0 72770695 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140228361554272 140228357342365 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13974352 memory=140048139709274 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72770697 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72770698 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72770698 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) S 17602 17602 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 72770700 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) S 17602 17602 897 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 72770700 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770706 14309736448 5876 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24884 KiB
[startup+0.310319 s]*
/proc/loadavg: 2.01 1.72 1.58 4/211 17618
/proc/meminfo: memFree=29245588/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13974352 memory=37260 CPUtime=0.25 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 8325 0 0 0 22 3 0 0 20 0 15 0 72770695 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3493588 9315 2977 1 0 3482964 0
[pid=17604/tid=17605] ppid=17602 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 5651 0 0 0 13 2 0 0 20 0 15 0 72770695 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140228361553360 140228349998453 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72770696 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72770697 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72770698 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72770698 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) S 17602 17602 897 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 72770700 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 72770700 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0.05 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) R 17602 17602 897 0 -1 4202560 697 0 0 0 5 0 0 0 20 0 15 0 72770700 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228336270253 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13974352 memory=140048139691648 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770706 14309736448 9315 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38640 KiB
[startup+0.70103 s]
/proc/loadavg: 2.01 1.72 1.58 5/211 17618
/proc/meminfo: memFree=29237044/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13980732 memory=67128 CPUtime=1.11 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 13059 0 0 0 105 6 0 0 20 0 15 0 72770695 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3495183 16782 3175 1 0 3483476 0
[pid=17604/tid=17605] ppid=17602 vsize=13980732 memory=1228 CPUtime=0.53 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 8451 0 0 0 49 4 0 0 20 0 15 0 72770695 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140228361558768 140228357332374 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72770697 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13980732 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13980732 memory=3906645216101231200 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13980732 memory=280096023858240 CPUtime=0.15 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) R 17602 17602 897 0 -1 4202560 1043 0 0 0 15 0 0 0 20 0 15 0 72770700 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228338843329 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13980732 memory=280096023858432 CPUtime=0.13 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 814 0 0 0 13 0 0 0 20 0 15 0 72770700 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13980732 memory=280096023858624 CPUtime=0.28 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) R 17602 17602 897 0 -1 1077944384 1444 0 0 0 28 0 0 0 20 0 15 0 72770700 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227828471744 140228357330645 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13980732 memory=280096023858816 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13980732 memory=280096023859008 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770706 14316269568 16782 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68508 KiB
[startup+1.50087 s]
/proc/loadavg: 2.01 1.72 1.58 5/211 17618
/proc/meminfo: memFree=29184076/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13980732 memory=151424 CPUtime=3.68 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 48261 0 0 0 356 12 0 0 20 0 15 0 72770695 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3495183 37856 3196 1 0 3483476 0
[pid=17604/tid=17605] ppid=17602 vsize=13980732 memory=15541816741092861 CPUtime=1.33 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 9553 0 0 0 128 5 0 0 20 0 15 0 72770695 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140228361558608 140227952576510 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13980732 memory=280096023793184 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13980732 memory=83604 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72770696 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 72770697 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13980732 memory=40352 CPUtime=0.93 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) R 17602 17602 897 0 -1 4202560 7232 0 0 0 92 1 0 0 20 0 15 0 72770700 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227830566088 140228342440916 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13980732 memory=1292 CPUtime=0.9 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) R 17602 17602 897 0 -1 4202560 26230 0 0 0 87 3 0 0 20 0 15 0 72770700 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227829509784 140228340820822 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13980732 memory=33 CPUtime=0.49 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) S 17602 17602 897 0 -1 1077944384 3926 0 0 0 48 1 0 0 20 0 15 0 72770700 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770706 14316269568 37856 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
################
# More data... #
################
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13980732 memory=333424 CPUtime=6.68 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) S 17602 17602 897 0 -1 1077944384 39568 0 0 0 664 4 0 0 20 0 15 0 72770700 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13980732 memory=1380 CPUtime=6.43 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 55938 0 0 0 637 6 0 0 20 0 15 0 72770700 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13980732 memory=1380 CPUtime=0.85 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) S 17602 17602 897 0 -1 1077944384 16682 0 0 0 83 2 0 0 20 0 15 0 72770700 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13980732 memory=1380 CPUtime=1.33 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1076 0 0 0 60 73 0 0 20 0 15 0 72770706 14316269568 83356 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 2390.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 334804 KiB
[startup+2382.3 s]
/proc/loadavg: 1.68 1.58 1.60 5/211 17860
/proc/meminfo: memFree=30097912/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13980732 memory=330140 CPUtime=2451.94 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 309959 0 0 0 244919 275 0 0 20 0 15 0 72770695 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3495183 82535 3262 1 0 3483476 0
[pid=17604/tid=17605] ppid=17602 vsize=13980732 memory=330976 CPUtime=2357.97 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 76198 0 0 0 235769 28 0 0 20 0 15 0 72770695 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140228361559712 140227952575491 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13980732 memory=-8774313645642428999 CPUtime=18.84 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 18215 0 0 0 1848 36 0 0 20 0 15 0 72770696 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13980732 memory=40456 CPUtime=18.85 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 17433 0 0 0 1850 35 0 0 20 0 15 0 72770696 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13980732 memory=4116 CPUtime=18.88 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 16411 0 0 0 1853 35 0 0 20 0 15 0 72770696 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13980732 memory=40456 CPUtime=18.89 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 13989 0 0 0 1853 36 0 0 20 0 15 0 72770696 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13980732 memory=1380 CPUtime=3.07 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 52975 0 0 0 267 40 0 0 20 0 15 0 72770697 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13980732 memory=333512 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13980732 memory=1380 CPUtime=6.68 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) S 17602 17602 897 0 -1 1077944384 39682 0 0 0 664 4 0 0 20 0 15 0 72770700 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13980732 memory=343244 CPUtime=6.43 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 55940 0 0 0 637 6 0 0 20 0 15 0 72770700 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13980732 memory=1380 CPUtime=0.85 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) S 17602 17602 897 0 -1 1077944384 16684 0 0 0 83 2 0 0 20 0 15 0 72770700 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13980732 memory=1380 CPUtime=1.37 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1091 0 0 0 61 76 0 0 20 0 15 0 72770706 14316269568 82535 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 2451.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 331520 KiB
[startup+2442.3 s]
/proc/loadavg: 1.80 1.64 1.62 3/211 17862
/proc/meminfo: memFree=29895892/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13980732 memory=340900 CPUtime=2513.42 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 315683 0 0 0 251061 281 0 0 20 0 15 0 72770695 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3495183 85225 3262 1 0 3483476 0
[pid=17604/tid=17605] ppid=17602 vsize=13980732 memory=323768 CPUtime=2417.32 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 79257 0 0 0 241703 29 0 0 20 0 15 0 72770695 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140228361559824 140227952576865 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13980732 memory=1380 CPUtime=19.36 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 18814 0 0 0 1899 37 0 0 20 0 15 0 72770696 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13980732 memory=342872 CPUtime=19.36 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 18115 0 0 0 1900 36 0 0 20 0 15 0 72770696 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13980732 memory=342440 CPUtime=19.38 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 17016 0 0 0 1902 36 0 0 20 0 15 0 72770696 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13980732 memory=341928 CPUtime=19.41 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 14504 0 0 0 1903 38 0 0 20 0 15 0 72770696 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13980732 memory=341928 CPUtime=3.15 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 53218 0 0 0 274 41 0 0 20 0 15 0 72770697 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13980732 memory=343148 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13980732 memory=1380 CPUtime=6.68 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) S 17602 17602 897 0 -1 1077944384 39684 0 0 0 664 4 0 0 20 0 15 0 72770700 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13980732 memory=1380 CPUtime=6.43 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 55942 0 0 0 637 6 0 0 20 0 15 0 72770700 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13980732 memory=331900 CPUtime=0.85 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) S 17602 17602 897 0 -1 1077944384 16686 0 0 0 83 2 0 0 20 0 15 0 72770700 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13980732 memory=343148 CPUtime=1.4 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1106 0 0 0 63 77 0 0 20 0 15 0 72770706 14316269568 85225 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 2513.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 342280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2448.8 s]
/proc/loadavg: 1.73 1.63 1.61 3/211 17862
/proc/meminfo: memFree=29901112/32770624 swapFree=67108860/67108860
[pid=17602] ppid=17599 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17602/stat : 17602 (xcsp3-exec) S 17599 17602 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 72770685 9740288 345 18446744073709551615 4194304 5098028 140721398308096 140721398306200 140022778040956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 16482304 140721398313337 140721398313541 140721398313541 140721398317035 0
/proc/17602/statm: 2378 345 289 221 0 87 0
[pid=17604] ppid=17602 vsize=13980732 memory=335772 CPUtime=2520.04 cores=1,3,5,7
/proc/17604/stat : 17604 (java) S 17602 17602 897 0 -1 1077944320 315708 0 0 0 251723 281 0 0 20 0 15 0 72770695 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140729495184352 140228357320439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
/proc/17604/statm: 3495183 83943 3262 1 0 3483476 0
[pid=17604/tid=17605] ppid=17602 vsize=13980732 memory=-8774313645642428999 CPUtime=2423.76 cores=1,3,5,7
/proc/17604/task/17605/stat : 17605 (java) R 17602 17602 897 0 -1 4202560 79268 0 0 0 242347 29 0 0 20 0 15 0 72770695 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140228361560128 140227954737884 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17606] ppid=17602 vsize=13980732 memory=2164 CPUtime=19.4 cores=1,3,5,7
/proc/17604/task/17606/stat : 17606 (java) S 17602 17602 897 0 -1 1077944384 18815 0 0 0 1903 37 0 0 20 0 15 0 72770696 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140228276734608 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17607] ppid=17602 vsize=13980732 memory=840 CPUtime=19.41 cores=1,3,5,7
/proc/17604/task/17607/stat : 17607 (java) S 17602 17602 897 0 -1 1077944384 18118 0 0 0 1905 36 0 0 20 0 15 0 72770696 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140228275681808 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17608] ppid=17602 vsize=13980732 memory=16436 CPUtime=19.42 cores=1,3,5,7
/proc/17604/task/17608/stat : 17608 (java) S 17602 17602 897 0 -1 1077944384 17018 0 0 0 1906 36 0 0 20 0 15 0 72770696 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140228274629008 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17609] ppid=17602 vsize=13980732 memory=2752 CPUtime=19.45 cores=1,3,5,7
/proc/17604/task/17609/stat : 17609 (java) S 17602 17602 897 0 -1 1077944384 14506 0 0 0 1907 38 0 0 20 0 15 0 72770696 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140228273576208 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17610] ppid=17602 vsize=13980732 memory=2764 CPUtime=3.15 cores=1,3,5,7
/proc/17604/task/17610/stat : 17610 (java) S 17602 17602 897 0 -1 1077944384 53222 0 0 0 274 41 0 0 20 0 15 0 72770697 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227834792816 140228357331586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17611] ppid=17602 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17611/stat : 17611 (java) S 17602 17602 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227833738784 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17612] ppid=17602 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17612/stat : 17612 (java) S 17602 17602 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72770698 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227832685936 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17613] ppid=17602 vsize=13980732 memory=15536310592997909 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17613/stat : 17613 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770700 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227831634256 140228357339035 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17614] ppid=17602 vsize=13980732 memory=4044 CPUtime=6.68 cores=1,3,5,7
/proc/17604/task/17614/stat : 17614 (java) S 17602 17602 897 0 -1 1077944384 39684 0 0 0 664 4 0 0 20 0 15 0 72770700 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227830581616 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17615] ppid=17602 vsize=13980732 memory=640 CPUtime=6.43 cores=1,3,5,7
/proc/17604/task/17615/stat : 17615 (java) S 17602 17602 897 0 -1 1077944384 55942 0 0 0 637 6 0 0 20 0 15 0 72770700 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227829528816 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17616] ppid=17602 vsize=13980732 memory=1792 CPUtime=0.85 cores=1,3,5,7
/proc/17604/task/17616/stat : 17616 (java) S 17602 17602 897 0 -1 1077944384 16686 0 0 0 83 2 0 0 20 0 15 0 72770700 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227828476016 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17617] ppid=17602 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/17604/task/17617/stat : 17617 (java) S 17602 17602 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72770701 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227827423456 140228357330645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
[pid=17604/tid=17618] ppid=17602 vsize=13980732 memory=-8774313645642428999 CPUtime=1.4 cores=1,3,5,7
/proc/17604/task/17618/stat : 17618 (java) S 17602 17602 897 0 -1 1077944384 1108 0 0 0 63 77 0 0 20 0 15 0 72770706 14316269568 83943 18446744073709551615 4194304 4196468 140729495201808 140227826371760 140228357331586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24956928 140729495204273 140729495204449 140729495204449 140729495207887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 337152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2448.81 s]
# the end of solver process 17602 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.00192 s
[startup+2448.81 s]
# the end of solver process 17604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.25 s, system=2.82417 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): 2448.81
CPU time (s): 2520.07
CPU user time (s): 2517.25
CPU system time (s): 2.82417
CPU usage (%): 102.91
Max. virtual memory (cumulated for all children) (KiB): 13994972
Max. memory (cumulated for all children) (KiB): 572244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.25
system time used= 2.82417
maximum resident set size= 576144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125594
involuntary context switches= 5252
# summary of solver processes directly reported to runsolver:
# pid: 17602,17604
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.25
# total CPU system time (s): 2.82417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5761 second user time and 23.6941 second system time
The end