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 (12035 MiB free)
memory of node 1: 16384 MiB (13536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269398-1502814814/watcher-4269398-1502814814 -o /tmp/evaluation-result-4269398-1502814814/solver-4269398-1502814814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15706 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1746569216 HOME/instance-4269398-1502814814.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=22438, runsolver pid=22435
Current StackSize limit: 8192 KiB
[startup+0.100448 s]*
/proc/loadavg: 1.56 1.87 1.92 3/217 22454
/proc/meminfo: memFree=26169776/32770624 swapFree=67108860/67108860
[pid=22438] ppid=22435 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22438/stat : 22438 (xcsp3-exec) S 22435 22438 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552953 9740288 346 33554432000 4194304 5098028 140735928684368 140735928682472 139664061829756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18046976 140735928689774 140735928689979 140735928689979 140735928692715 0
/proc/22438/statm: 2378 346 289 221 0 87 0
[pid=22440] ppid=22438 vsize=13978596 memory=27036 CPUtime=0.12 cores=1,3,5,7
/proc/22440/stat : 22440 (java) S 22438 22438 15674 0 -1 1077944320 5167 0 0 0 11 1 0 0 20 0 15 0 114552953 14314082304 6759 33554432000 4194304 4196468 140736725748448 140736725730992 140241182559991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
/proc/22440/statm: 3494649 6759 2859 1 0 3482966 0
[pid=22440/tid=22441] ppid=22438 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/22440/task/22441/stat : 22441 (java) R 22438 22438 15674 0 -1 4202560 3133 0 0 0 8 1 0 0 20 0 15 0 114552954 14314082304 6825 33554432000 4194304 4196468 140736725748448 140241186792096 140241182571926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22442] ppid=22438 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22442/stat : 22442 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14314082304 6825 33554432000 4194304 4196468 140736725748448 140241152273552 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22443] ppid=22438 vsize=13978596 memory=139847119963776 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22443/stat : 22443 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240777780240 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22444] ppid=22438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22444/stat : 22444 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240776727440 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22445] ppid=22438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22445/stat : 22445 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240775674640 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22446] ppid=22438 vsize=13978596 memory=139847119963776 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22446/stat : 22446 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552956 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240656845168 140241182571138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22447] ppid=22438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22447/stat : 22447 (java) S 22438 22438 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552956 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240655791136 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22448] ppid=22438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22448/stat : 22448 (java) S 22438 22438 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552957 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240654738288 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22449] ppid=22438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22449/stat : 22449 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240653686608 140241182578587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22450] ppid=22438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22450/stat : 22450 (java) S 22438 22438 15674 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 114552959 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240652634992 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22451] ppid=22438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22451/stat : 22451 (java) S 22438 22438 15674 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 114552959 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240651582192 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22452] ppid=22438 vsize=13978596 memory=139847119963776 CPUtime=0.01 cores=1,3,5,7
/proc/22440/task/22452/stat : 22452 (java) R 22438 22438 15674 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 114552959 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240650529392 140241161512097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22453] ppid=22438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22453/stat : 22453 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240649476832 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22454] ppid=22438 vsize=13978596 memory=139847119963776 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22454/stat : 22454 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552959 14314082304 6825 33554432000 4194304 4196468 140736725748448 140240648424112 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28420 KiB
[startup+0.210675 s]*
/proc/loadavg: 1.56 1.87 1.92 3/217 22454
/proc/meminfo: memFree=26158256/32770624 swapFree=67108860/67108860
[pid=22438] ppid=22435 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22438/stat : 22438 (xcsp3-exec) S 22435 22438 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552953 9740288 346 33554432000 4194304 5098028 140735928684368 140735928682472 139664061829756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18046976 140735928689774 140735928689979 140735928689979 140735928692715 0
/proc/22438/statm: 2378 346 289 221 0 87 0
[pid=22440] ppid=22438 vsize=13982884 memory=39360 CPUtime=0.34 cores=1,3,5,7
/proc/22440/stat : 22440 (java) S 22438 22438 15674 0 -1 1077944320 7897 0 0 0 32 2 0 0 20 0 15 0 114552953 14318473216 9840 33554432000 4194304 4196468 140736725748448 140736725730992 140241182559991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
/proc/22440/statm: 3495713 9840 3053 1 0 3482966 0
[pid=22440/tid=22441] ppid=22438 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/22440/task/22441/stat : 22441 (java) R 22438 22438 15674 0 -1 4202560 4887 0 0 0 18 1 0 0 20 0 15 0 114552954 14318473216 9840 33554432000 4194304 4196468 140736725748448 140241186769616 140241175277095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22442] ppid=22438 vsize=13982852 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22442/stat : 22442 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14318440448 9840 33554432000 4194304 4196468 140736725748448 140241152273552 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22443] ppid=22438 vsize=13982852 memory=139847120468549 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22443/stat : 22443 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240777780240 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22444] ppid=22438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22444/stat : 22444 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240776727440 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22445] ppid=22438 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22445/stat : 22445 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240775674640 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22446] ppid=22438 vsize=13982884 memory=139847119963776 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22446/stat : 22446 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552956 14318473216 9840 33554432000 4194304 4196468 140736725748448 140240656845168 140241182571138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22447] ppid=22438 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22447/stat : 22447 (java) S 22438 22438 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552956 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240655791136 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22448] ppid=22438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22448/stat : 22448 (java) S 22438 22438 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552957 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240654738288 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22449] ppid=22438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22449/stat : 22449 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240653686608 140241182578587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22450] ppid=22438 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22440/task/22450/stat : 22450 (java) S 22438 22438 15674 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 114552959 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240652634992 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22451] ppid=22438 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22440/task/22451/stat : 22451 (java) S 22438 22438 15674 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 15 0 114552959 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240651582192 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22452] ppid=22438 vsize=13982852 memory=139847119963776 CPUtime=0.07 cores=1,3,5,7
/proc/22440/task/22452/stat : 22452 (java) S 22438 22438 15674 0 -1 1077944384 849 0 0 0 7 0 0 0 20 0 15 0 114552959 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240650529392 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22453] ppid=22438 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22453/stat : 22453 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240649476832 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22454] ppid=22438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22454/stat : 22454 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552959 14318440448 9840 33554432000 4194304 4196468 140736725748448 140240648424112 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 40744 KiB
[startup+0.310431 s]*
/proc/loadavg: 1.56 1.87 1.92 5/217 22454
/proc/meminfo: memFree=26151184/32770624 swapFree=67108860/67108860
[pid=22438] ppid=22435 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22438/stat : 22438 (xcsp3-exec) S 22435 22438 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552953 9740288 346 33554432000 4194304 5098028 140735928684368 140735928682472 139664061829756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18046976 140735928689774 140735928689979 140735928689979 140735928692715 0
/proc/22438/statm: 2378 346 289 221 0 87 0
[pid=22440] ppid=22438 vsize=13982852 memory=46780 CPUtime=0.51 cores=1,3,5,7
/proc/22440/stat : 22440 (java) S 22438 22438 15674 0 -1 1077944320 8854 0 0 0 48 3 0 0 20 0 15 0 114552953 14318440448 11695 33554432000 4194304 4196468 140736725748448 140736725730992 140241182559991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
/proc/22440/statm: 3495713 11695 3097 1 0 3482966 0
[pid=22440/tid=22441] ppid=22438 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22440/task/22441/stat : 22441 (java) R 22438 22438 15674 0 -1 4202560 5626 0 0 0 28 2 0 0 20 0 15 0 114552954 14318518272 11695 33554432000 4194304 4196468 140736725748448 140241186792352 140241182571926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22442] ppid=22438 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22442/stat : 22442 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 11695 33554432000 4194304 4196468 140736725748448 140241152273552 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22443] ppid=22438 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22443/stat : 22443 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240777780240 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22444] ppid=22438 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22444/stat : 22444 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240776727440 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22445] ppid=22438 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22445/stat : 22445 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240775674640 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22446] ppid=22438 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22446/stat : 22446 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552956 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240656845168 140241182571138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22447] ppid=22438 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22447/stat : 22447 (java) S 22438 22438 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552956 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240655791136 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22448] ppid=22438 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22448/stat : 22448 (java) S 22438 22438 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552957 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240654738288 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22449] ppid=22438 vsize=13982928 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22449/stat : 22449 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240653686608 140241182578587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22450] ppid=22438 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/22440/task/22450/stat : 22450 (java) S 22438 22438 15674 0 -1 1077944384 589 0 0 0 3 0 0 0 20 0 15 0 114552959 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240652634992 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22451] ppid=22438 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22440/task/22451/stat : 22451 (java) S 22438 22438 15674 0 -1 1077944384 331 0 0 0 4 0 0 0 20 0 15 0 114552959 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240651582192 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22452] ppid=22438 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22440/task/22452/stat : 22452 (java) R 22438 22438 15674 0 -1 4202560 1022 0 0 0 12 0 0 0 20 0 15 0 114552959 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240650529392 140241182581338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22453] ppid=22438 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22453/stat : 22453 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240649476832 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22454] ppid=22438 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22454/stat : 22454 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552959 14318518272 11695 33554432000 4194304 4196468 140736725748448 140240648424112 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48164 KiB
[startup+0.563731 s]
# the end of solver process 22438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.14392 s, system=0.047474 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.417274 s]*
/proc/loadavg: 1.56 1.87 1.92 4/217 22454
/proc/meminfo: memFree=26141508/32770624 swapFree=67108860/67108860
[pid=22438] ppid=22435 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22438/stat : 22438 (xcsp3-exec) S 22435 22438 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552953 9740288 346 33554432000 4194304 5098028 140735928684368 140735928682472 139664061829756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18046976 140735928689774 140735928689979 140735928689979 140735928692715 0
/proc/22438/statm: 2378 346 289 221 0 87 0
[pid=22440] ppid=22438 vsize=13982928 memory=56092 CPUtime=0.79 cores=1,3,5,7
/proc/22440/stat : 22440 (java) S 22438 22438 15674 0 -1 1077944320 10167 0 0 0 76 3 0 0 20 0 15 0 114552953 14318518272 14023 33554432000 4194304 4196468 140736725748448 140736725730992 140241182559991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
/proc/22440/statm: 3495732 14023 3171 1 0 3482966 0
[pid=22440/tid=22441] ppid=22438 vsize=13982928 memory=7883960649037381690 CPUtime=0.4 cores=1,3,5,7
/proc/22440/task/22441/stat : 22441 (java) R 22438 22438 15674 0 -1 4202560 5940 0 0 0 38 2 0 0 20 0 15 0 114552954 14318518272 14023 33554432000 4194304 4196468 140736725748448 140241186781040 140241175238005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22442] ppid=22438 vsize=13982928 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22442/stat : 22442 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 14023 33554432000 4194304 4196468 140736725748448 140241152273552 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22443] ppid=22438 vsize=13982928 memory=139847120468549 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22443/stat : 22443 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240777780240 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22444] ppid=22438 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22444/stat : 22444 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240776727440 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22445] ppid=22438 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22445/stat : 22445 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240775674640 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22446] ppid=22438 vsize=13982928 memory=139847119963776 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22446/stat : 22446 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552956 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240656845168 140241182571138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22447] ppid=22438 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22447/stat : 22447 (java) S 22438 22438 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552956 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240655791136 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22448] ppid=22438 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22448/stat : 22448 (java) S 22438 22438 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552957 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240654738288 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22449] ppid=22438 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22449/stat : 22449 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240653686608 140241182578587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22450] ppid=22438 vsize=13982928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22440/task/22450/stat : 22450 (java) R 22438 22438 15674 0 -1 4202560 975 0 0 0 9 0 0 0 20 0 15 0 114552959 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240652634992 140241175545033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22451] ppid=22438 vsize=13982928 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22440/task/22451/stat : 22451 (java) S 22438 22438 15674 0 -1 1077944384 553 0 0 0 9 0 0 0 20 0 15 0 114552959 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240651582192 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22452] ppid=22438 vsize=13982928 memory=139847119963776 CPUtime=0.19 cores=1,3,5,7
/proc/22440/task/22452/stat : 22452 (java) S 22438 22438 15674 0 -1 1077944384 1396 0 0 0 19 0 0 0 20 0 15 0 114552959 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240650529392 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22453] ppid=22438 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22453/stat : 22453 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240649476832 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22454] ppid=22438 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22454/stat : 22454 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552959 14318518272 14023 33554432000 4194304 4196468 140736725748448 140240648424112 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 57476 KiB
[startup+0.511413 s]*
/proc/loadavg: 1.56 1.87 1.92 6/217 22454
/proc/meminfo: memFree=26134312/32770624 swapFree=67108860/67108860
[pid=22438] ppid=22435 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22438/stat : 22438 (xcsp3-exec) S 22435 22438 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552953 9740288 346 33554432000 4194304 5098028 140735928684368 140735928682472 139664061829756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18046976 140735928689774 140735928689979 140735928689979 140735928692715 0
/proc/22438/statm: 2378 346 289 221 0 87 0
[pid=22440] ppid=22438 vsize=13984976 memory=63088 CPUtime=1.09 cores=1,3,5,7
/proc/22440/stat : 22440 (java) S 22438 22438 15674 0 -1 1077944320 11008 0 0 0 105 4 0 0 20 0 15 0 114552953 14320615424 15772 33554432000 4194304 4196468 140736725748448 140736725730992 140241182559991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
/proc/22440/statm: 3496244 15772 3200 1 0 3483478 0
[pid=22440/tid=22441] ppid=22438 vsize=13984976 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/22440/task/22441/stat : 22441 (java) R 22438 22438 15674 0 -1 4202560 6246 0 0 0 47 2 0 0 20 0 15 0 114552954 14320615424 15772 33554432000 4194304 4196468 140736725748448 140241186780960 140241182571926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22442] ppid=22438 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22442/stat : 22442 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14320615424 15772 33554432000 4194304 4196468 140736725748448 140241152273552 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22443] ppid=22438 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22443/stat : 22443 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240777780240 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22444] ppid=22438 vsize=13984976 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22444/stat : 22444 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552955 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240776727440 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22445] ppid=22438 vsize=13984976 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22445/stat : 22445 (java) S 22438 22438 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552955 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240775674640 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22446] ppid=22438 vsize=13984976 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22446/stat : 22446 (java) S 22438 22438 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114552956 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240656845168 140241182571138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22447] ppid=22438 vsize=13984976 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22447/stat : 22447 (java) S 22438 22438 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552956 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240655791136 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22448] ppid=22438 vsize=13984976 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22448/stat : 22448 (java) S 22438 22438 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552957 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240654738288 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22449] ppid=22438 vsize=13984976 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22449/stat : 22449 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240653686608 140241182578587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22450] ppid=22438 vsize=13984976 memory=4713750055892520310 CPUtime=0.16 cores=1,3,5,7
/proc/22440/task/22450/stat : 22450 (java) S 22438 22438 15674 0 -1 1077944384 1106 0 0 0 16 0 0 0 20 0 15 0 114552959 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240652634992 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22451] ppid=22438 vsize=13984976 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/22440/task/22451/stat : 22451 (java) S 22438 22438 15674 0 -1 1077944384 764 0 0 0 16 0 0 0 20 0 15 0 114552959 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240651582192 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22452] ppid=22438 vsize=13984976 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/22440/task/22452/stat : 22452 (java) R 22438 22438 15674 0 -1 4202560 1584 0 0 0 25 0 0 0 20 0 15 0 114552959 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240650526568 140241161478480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22453] ppid=22438 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22453/stat : 22453 (java) S 22438 22438 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552959 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240649476832 140241182570197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
[pid=22440/tid=22454] ppid=22438 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22440/task/22454/stat : 22454 (java) S 22438 22438 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552959 14320615424 15772 33554432000 4194304 4196468 140736725748448 140240648424112 140241182571138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9293824 140736725755031 140736725755207 140736725755207 140736725757903 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 64472 KiB
Child status: 0
Real time (s): 0.563778
CPU time (s): 1.1914
CPU user time (s): 1.14392
CPU system time (s): 0.047474
CPU usage (%): 211.323
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 64472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.14392
system time used= 0.047474
maximum resident set size= 64204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11627
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= 1294
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 22438
# total CPU time (s): 1.1914
# total CPU user time (s): 1.14392
# total CPU system time (s): 0.047474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025766 second user time and 0.048291 second system time
The end