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 (14369 MiB free)
memory of node 1: 16384 MiB (15510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282187-1503137021/watcher-4282187-1503137021 -o /tmp/evaluation-result-4282187-1503137021/solver-4282187-1503137021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1720980483 HOME/instance-4282187-1503137021.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
solver pid=21973, runsolver pid=21970
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 2.22 1.96 1.87 3/203 21980
/proc/meminfo: memFree=30592516/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13441356 memory=14056 CPUtime=0.01 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 3801 0 0 0 1 0 0 0 20 0 7 0 102042689 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3360339 3514 2022 1 0 3349836 0
[pid=21975/tid=21976] ppid=21973 vsize=13441356 memory=4206989191851631162 CPUtime=0.01 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 2570 0 0 0 1 0 0 0 20 0 7 0 102042689 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 139817123945232 139817103783262 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13441356 memory=3461491255736137353 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 102042690 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13441356 memory=140651106453120 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 102042690 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 102042690 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 102042690 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 102042691 13763948544 3514 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 15436 KiB
[startup+0.212494 s]*
/proc/loadavg: 2.22 1.96 1.87 4/212 21989
/proc/meminfo: memFree=30580032/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13974352 memory=28124 CPUtime=0.09 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 5449 0 0 0 8 1 0 0 20 0 15 0 102042689 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3493588 7031 2752 1 0 3482964 0
[pid=21975/tid=21976] ppid=21973 vsize=13974352 memory=-6224374273825411428 CPUtime=0.07 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 3580 0 0 0 6 1 0 0 20 0 15 0 102042689 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139817123926264 139817119724701 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13974352 memory=3461491255736137353 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13974352 memory=140651106453120 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13974352 memory=140651106453120 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102042691 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) S 21973 21973 13977 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 102042694 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816032323568 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042694 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816031271024 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13974352 memory=140651106453120 CPUtime=0.01 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) S 21973 21973 13977 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 102042694 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13974352 memory=140651106453120 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042699 14309736448 7031 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29504 KiB
[startup+0.311243 s]*
/proc/loadavg: 2.22 1.96 1.87 4/212 21989
/proc/meminfo: memFree=30569224/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13974352 memory=37496 CPUtime=0.28 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 8981 0 0 0 26 2 0 0 20 0 15 0 102042689 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3493588 9374 2978 1 0 3482964 0
[pid=21975/tid=21976] ppid=21973 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 6188 0 0 0 15 2 0 0 20 0 15 0 102042689 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139817123935824 139817103783262 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102042690 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102042691 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) S 21973 21973 13977 0 -1 1077944384 704 0 0 0 2 0 0 0 20 0 15 0 102042694 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816032323568 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) S 21973 21973 13977 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 15 0 102042694 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816031271024 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) R 21973 21973 13977 0 -1 4202560 702 0 0 0 6 0 0 0 20 0 15 0 102042694 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119714710 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042699 14309736448 9374 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38876 KiB
[startup+0.701521 s]
/proc/loadavg: 2.22 1.96 1.87 5/212 21989
/proc/meminfo: memFree=30550072/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13978684 memory=85316 CPUtime=1.36 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 12944 0 0 0 132 4 0 0 20 0 15 0 102042689 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3494671 21329 3156 1 0 3482964 0
[pid=21975/tid=21976] ppid=21973 vsize=13978684 memory=7306365140123865681 CPUtime=0.55 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 7904 0 0 0 52 3 0 0 20 0 15 0 102042689 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139817123937240 139816763990998 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13978684 memory=7665503016770949984 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13978684 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 102042690 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 102042691 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13978684 memory=140650985038448 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) R 21973 21973 13977 0 -1 4202560 1435 0 0 0 27 0 0 0 20 0 15 0 102042694 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816032315024 139817104095465 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13978684 memory=7809523229951467576 CPUtime=0.25 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) R 21973 21973 13977 0 -1 4202560 1017 0 0 0 25 0 0 0 20 0 15 0 102042694 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816031260752 139817097869100 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) S 21973 21973 13977 0 -1 1077944384 1282 0 0 0 27 0 0 0 20 0 15 0 102042694 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13978684 memory=-6441694832944881449 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13978684 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042699 14314172416 21329 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86696 KiB
[startup+1.50466 s]
/proc/loadavg: 2.22 1.96 1.87 6/212 21989
/proc/meminfo: memFree=30416400/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13980732 memory=197640 CPUtime=4.01 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 15600 0 0 0 393 8 0 0 20 0 15 0 102042689 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3495183 49410 3215 1 0 3483476 0
[pid=21975/tid=21976] ppid=21973 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 8734 0 0 0 128 5 0 0 20 0 15 0 102042689 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139817123939792 139817119714710 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13980732 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) R 21973 21973 13977 0 -1 4202560 2224 0 0 0 106 0 0 0 20 0 15 0 102042694 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816032315792 139817111992224 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13980732 memory=-1624781813439352349 CPUtime=1.03 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) R 21973 21973 13977 0 -1 1077944384 1375 0 0 0 103 0 0 0 20 0 15 0 102042694 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816031271152 139817119712981 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13980732 memory=-7880843606118635149 CPUtime=0.51 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) S 21973 21973 13977 0 -1 1077944384 1831 0 0 0 51 0 0 0 20 0 15 0 102042694 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13980732 memory=8976414709404591081 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13980732 memory=7813855667213069675 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042699 14316269568 49410 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199020 KiB
[startup+2.41984 s]
# the end of solver process 21973 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.3648 s, system=0.107782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60152 s]
/proc/loadavg: 2.22 1.96 1.87 6/212 21989
/proc/meminfo: memFree=30416400/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13980732 memory=198324 CPUtime=4.32 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 15719 0 0 0 424 8 0 0 20 0 15 0 102042689 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3495183 49581 3215 1 0 3483476 0
[pid=21975/tid=21976] ppid=21973 vsize=13980732 memory=2372 CPUtime=1.43 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 8735 0 0 0 138 5 0 0 20 0 15 0 102042689 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139817123937776 139817103827488 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13980732 memory=6420976108721 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13980732 memory=1605 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13980732 memory=22294 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13980732 memory=3858 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13980732 memory=281301970249568 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13980732 memory=-6876588628788210059 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13980732 memory=6655300316396806240 CPUtime=1.15 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) R 21973 21973 13977 0 -1 4202560 2288 0 0 0 115 0 0 0 20 0 15 0 102042694 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816032323696 139817100338659 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13980732 memory=7680491646476186387 CPUtime=1.13 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) R 21973 21973 13977 0 -1 4202560 1394 0 0 0 113 0 0 0 20 0 15 0 102042694 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816031256992 139817104810530 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13980732 memory=1399096207214678387 CPUtime=0.54 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) S 21973 21973 13977 0 -1 1077944384 1866 0 0 0 54 0 0 0 20 0 15 0 102042694 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13980732 memory=-7595754389018297760 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13980732 memory=-6876588628788210059 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042699 14316269568 49581 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 199704 KiB
[startup+2.00083 s]*
/proc/loadavg: 2.22 1.96 1.87 5/212 21989
/proc/meminfo: memFree=30394204/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13980732 memory=215424 CPUtime=5.6 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 20068 0 0 0 551 9 0 0 20 0 15 0 102042689 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3495183 53856 3215 1 0 3483476 0
[pid=21975/tid=21976] ppid=21973 vsize=13980732 memory=576460756329955509 CPUtime=1.84 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 8746 0 0 0 179 5 0 0 20 0 15 0 102042689 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139817123939992 139816767061697 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13980732 memory=16470 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13980732 memory=144997009378689 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13980732 memory=65175551 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13980732 memory=5936396664249341794 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13980732 memory=7595444343832598126 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13980732 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) R 21973 21973 13977 0 -1 4202560 3943 0 0 0 156 0 0 0 20 0 15 0 102042694 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816032309592 139817119724122 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13980732 memory=3472328296227680303 CPUtime=1.54 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) R 21973 21973 13977 0 -1 4202560 3730 0 0 0 153 1 0 0 20 0 15 0 102042694 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816031252040 139817098949528 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13980732 memory=3472468947334133424 CPUtime=0.58 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) R 21973 21973 13977 0 -1 1077944384 2213 0 0 0 58 0 0 0 20 0 15 0 102042694 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119713922 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13980732 memory=7378697400941031471 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13980732 memory=3471343047427290800 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042699 14316269568 53856 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 216804 KiB
[startup+2.40077 s]
/proc/loadavg: 2.22 1.96 1.87 5/212 21989
/proc/meminfo: memFree=30394204/32770624 swapFree=67108860/67108860
[pid=21973] ppid=21970 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (xcsp3-exec) S 21970 21973 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 102042680 9740288 345 18446744073709551615 4194304 5098028 140730302855280 140730302853384 140412188127868 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 16822272 140730302857592 140730302857797 140730302857797 140730302861291 0
/proc/21973/statm: 2378 345 289 221 0 87 0
[pid=21975] ppid=21973 vsize=13980732 memory=216376 CPUtime=6.41 cores=1,3,5,7
/proc/21975/stat : 21975 (java) S 21973 21973 13977 0 -1 1077944320 22051 0 0 0 632 9 0 0 20 0 15 0 102042689 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 140729293510176 139817119702775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
/proc/21975/statm: 3495183 54094 3215 1 0 3483476 0
[pid=21975/tid=21976] ppid=21973 vsize=13980732 memory=1399096207214678387 CPUtime=2.23 cores=1,3,5,7
/proc/21975/task/21976/stat : 21976 (java) R 21973 21973 13977 0 -1 4202560 8939 0 0 0 218 5 0 0 20 0 15 0 102042689 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139817123939808 139817119714710 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21977] ppid=21973 vsize=13980732 memory=-7595754389018297760 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21977/stat : 21977 (java) S 21973 21973 13977 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139817091545360 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21978] ppid=21973 vsize=13980732 memory=-6876588628788210059 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21978/stat : 21978 (java) S 21973 21973 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816719083920 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21979] ppid=21973 vsize=13980732 memory=6441111070674479460 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21979/stat : 21979 (java) S 21973 21973 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816718031376 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21980] ppid=21973 vsize=13980732 memory=5864090671281497441 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21980/stat : 21980 (java) S 21973 21973 13977 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 102042690 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816716978832 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21981] ppid=21973 vsize=13980732 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21981/stat : 21981 (java) S 21973 21973 13977 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816036534768 139817119713922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21982] ppid=21973 vsize=13980732 memory=194656 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21982/stat : 21982 (java) S 21973 21973 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 102042691 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816035480992 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21983] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21983/stat : 21983 (java) S 21973 21973 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 102042692 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816034428400 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21984] ppid=21973 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21984/stat : 21984 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816033376976 139817119721371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21985] ppid=21973 vsize=13980732 memory=0 CPUtime=1.74 cores=1,3,5,7
/proc/21975/task/21985/stat : 21985 (java) R 21973 21973 13977 0 -1 4202560 4530 0 0 0 174 0 0 0 20 0 15 0 102042694 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816032323568 139817097966433 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21986] ppid=21973 vsize=13980732 memory=0 CPUtime=1.76 cores=1,3,5,7
/proc/21975/task/21986/stat : 21986 (java) R 21973 21973 13977 0 -1 4202560 4753 0 0 0 175 1 0 0 20 0 15 0 102042694 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816031271024 139817104601128 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21987] ppid=21973 vsize=13980732 memory=46 CPUtime=0.63 cores=1,3,5,7
/proc/21975/task/21987/stat : 21987 (java) R 21973 21973 13977 0 -1 1077944384 2391 0 0 0 62 1 0 0 20 0 15 0 102042694 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816030218480 139817119713922 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21988] ppid=21973 vsize=13980732 memory=44 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21988/stat : 21988 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042694 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816029166176 139817119712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
[pid=21975/tid=21989] ppid=21973 vsize=13980732 memory=28 CPUtime=0 cores=1,3,5,7
/proc/21975/task/21989/stat : 21989 (java) S 21973 21973 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 102042699 14316269568 54094 18446744073709551615 4194304 4196468 140729293527632 139816028113712 139817119713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140729293533617 140729293533793 140729293533793 140729293537231 0
Current children cumulated CPU time: 6.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217756 KiB
Child status: 0
Real time (s): 2.41988
CPU time (s): 6.47258
CPU user time (s): 6.3648
CPU system time (s): 0.107782
CPU usage (%): 267.476
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 217756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.3648
system time used= 0.107782
maximum resident set size= 223480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1982
involuntary context switches= 33
# summary of solver processes directly reported to runsolver:
# pid: 21973
# total CPU time (s): 6.47258
# total CPU user time (s): 6.3648
# total CPU system time (s): 0.107782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042026 second user time and 0.063179 second system time
The end