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 (7648 MiB free)
memory of node 1: 16384 MiB (9585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394202-1568330727/watcher-4394202-1568330727 -o /tmp/evaluation-result-4394202-1568330727/solver-4394202-1568330727 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 640447230 HOME/instance-4394202-1568330727.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22810, runsolver pid=22807
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 8.73 8.44 6.64 5/221 22813
/proc/meminfo: memFree=17634652/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=109408 memory=5284 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 1552 0 0 0 0 0 0 0 20 0 2 0 409012916 112033792 1321 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 27352 1321 991 1 0 16810 0
[pid=22812/tid=22813] ppid=22810 vsize=109408 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) D 22810 22810 18186 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 2 0 409012916 112033792 1321 33554432000 4194304 4196468 140735195900576 140521198459184 140521186708373 0 0 0 16784584 18446744072100461701 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 6736 KiB
[startup+0.210009 s]*
/proc/loadavg: 8.73 8.44 6.64 5/221 22813
/proc/meminfo: memFree=17639132/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=109408 memory=5284 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 1552 0 0 0 0 0 0 0 20 0 2 0 409012916 112033792 1321 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 27352 1321 991 1 0 16810 0
[pid=22812/tid=22813] ppid=22810 vsize=109408 memory=7883960649037381690 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) D 22810 22810 18186 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 2 0 409012916 112033792 1321 33554432000 4194304 4196468 140735195900576 140521198459184 140521186708373 0 0 0 16784584 18446744072100461701 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 6736 KiB
[startup+0.436318 s]*
/proc/loadavg: 8.73 8.44 6.64 7/234 22826
/proc/meminfo: memFree=17629716/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=15144768 memory=28992 CPUtime=0.13 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 5646 0 0 0 12 1 0 0 20 0 15 0 409012916 15508242432 7248 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 3786192 7248 3136 1 0 3748377 0
[pid=22812/tid=22813] ppid=22810 vsize=15144768 memory=7883960649037381690 CPUtime=0.09 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) R 22810 22810 18186 0 -1 4202560 3567 0 0 0 8 1 0 0 20 0 15 0 409012916 15508242432 7248 33554432000 4194304 4196468 140735195900576 140521198450000 140520810643520 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22814] ppid=22810 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22814/stat : 22814 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012950 15508242432 7248 33554432000 4194304 4196468 140735195900576 140521130453648 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22815] ppid=22810 vsize=15144768 memory=3688924644596500128 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22815/stat : 22815 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409012950 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520786024976 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22816] ppid=22810 vsize=15144768 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22816/stat : 22816 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012950 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520784972176 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22817] ppid=22810 vsize=15144768 memory=6873730494919109728 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22817/stat : 22817 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409012950 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520783919376 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22818] ppid=22810 vsize=15144768 memory=139857881450112 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22818/stat : 22818 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409012952 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520730053488 140521194228354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22819] ppid=22810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22819/stat : 22819 (java) S 22810 22810 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409012952 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520728999456 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22820] ppid=22810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22820/stat : 22820 (java) S 22810 22810 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409012952 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520727946608 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22821] ppid=22810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22821/stat : 22821 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409012955 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520659609936 140521194235803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22822] ppid=22810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22822/stat : 22822 (java) S 22810 22810 18186 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 409012955 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520658557296 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22823] ppid=22810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22823/stat : 22823 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012955 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520657504496 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22824] ppid=22810 vsize=15144768 memory=139857881450112 CPUtime=0.02 cores=1,3,5,7
/proc/22812/task/22824/stat : 22824 (java) R 22810 22810 18186 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 409012955 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520656451696 140521178297694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22825] ppid=22810 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22825/stat : 22825 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409012955 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520655399136 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22826] ppid=22810 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22826/stat : 22826 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012955 15508242432 7248 33554432000 4194304 4196468 140735195900576 140520654347440 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30444 KiB
[startup+0.710554 s]
/proc/loadavg: 8.73 8.44 6.64 9/234 22826
/proc/meminfo: memFree=17612960/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=15149100 memory=52224 CPUtime=0.62 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 11379 0 0 0 58 4 0 0 20 0 15 0 409012916 15512678400 13056 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 3787275 13056 3401 1 0 3748377 0
[pid=22812/tid=22813] ppid=22810 vsize=15149100 memory=15818902244428187 CPUtime=0.35 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) R 22810 22810 18186 0 -1 4202560 8125 0 0 0 32 3 0 0 20 0 15 0 409012916 15512678400 13056 33554432000 4194304 4196468 140735195900576 140521198447904 140521178260837 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22814] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22814/stat : 22814 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012950 15512678400 13056 33554432000 4194304 4196468 140735195900576 140521130453648 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22815] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22815/stat : 22815 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409012950 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520786024976 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22816] ppid=22810 vsize=15149100 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22816/stat : 22816 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012950 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520784972176 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22817] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22817/stat : 22817 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409012950 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520783919376 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22818] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22818/stat : 22818 (java) S 22810 22810 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409012952 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520730053488 140521194228354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22819] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22819/stat : 22819 (java) S 22810 22810 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409012952 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520728999456 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22820] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22820/stat : 22820 (java) S 22810 22810 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409012952 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520727946608 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22821] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22821/stat : 22821 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409012955 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520659609936 140521194235803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22822] ppid=22810 vsize=15149100 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22812/task/22822/stat : 22822 (java) S 22810 22810 18186 0 -1 1077944384 599 0 0 0 5 0 0 0 20 0 15 0 409012955 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520658557296 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22823] ppid=22810 vsize=15149100 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22812/task/22823/stat : 22823 (java) R 22810 22810 18186 0 -1 4202560 376 0 0 0 5 0 0 0 20 0 15 0 409012955 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520657504496 140521187202249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22824] ppid=22810 vsize=15149100 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22812/task/22824/stat : 22824 (java) S 22810 22810 18186 0 -1 1077944384 972 0 0 0 14 0 0 0 20 0 15 0 409012955 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520656451696 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22825] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22825/stat : 22825 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409012955 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520655399136 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22826] ppid=22810 vsize=15149100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22826/stat : 22826 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409012955 15512678400 13056 33554432000 4194304 4196468 140735195900576 140520654347440 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 53676 KiB
[startup+1.50623 s]
/proc/loadavg: 8.73 8.44 6.64 8/234 22826
/proc/meminfo: memFree=17568168/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=15419452 memory=168992 CPUtime=3.3 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 22085 0 0 0 323 7 0 0 20 0 19 0 409012916 15789518848 42248 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 3854863 42248 3458 1 0 3815965 0
[pid=22812/tid=22813] ppid=22810 vsize=15419452 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) S 22810 22810 18186 0 -1 1077944384 11470 0 0 0 101 5 0 0 20 0 19 0 409012916 15789518848 42248 33554432000 4194304 4196468 140735195900576 140521198457984 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22814] ppid=22810 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22814/stat : 22814 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409012950 15789518848 42248 33554432000 4194304 4196468 140735195900576 140521130453648 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22815] ppid=22810 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22815/stat : 22815 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409012950 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520786024976 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22816] ppid=22810 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22816/stat : 22816 (java) S 22810 22810 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409012950 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520784972176 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22817] ppid=22810 vsize=15419452 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22817/stat : 22817 (java) S 22810 22810 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409012950 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520783919376 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22818] ppid=22810 vsize=15419452 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22818/stat : 22818 (java) S 22810 22810 18186 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409012952 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520730053488 140521194228354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22819] ppid=22810 vsize=15419452 memory=-2025810976467231676 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22819/stat : 22819 (java) S 22810 22810 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409012952 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520728999456 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22820] ppid=22810 vsize=15419452 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22820/stat : 22820 (java) S 22810 22810 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409012952 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520727946608 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22821] ppid=22810 vsize=15419452 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22821/stat : 22821 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409012955 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520659609936 140521194235803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22822] ppid=22810 vsize=15419452 memory=6944656592455360608 CPUtime=0.74 cores=1,3,5,7
/proc/22812/task/22822/stat : 22822 (java) R 22810 22810 18186 0 -1 4202560 2709 0 0 0 74 0 0 0 20 0 19 0 409012955 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520658557592 140521173934343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22823] ppid=22810 vsize=15419452 memory=1399103955520229747 CPUtime=0.72 cores=1,3,5,7
/proc/22812/task/22823/stat : 22823 (java) R 22810 22810 18186 0 -1 4202560 2850 0 0 0 72 0 0 0 20 0 19 0 409012955 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520657485888 140521178609432 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22824] ppid=22810 vsize=15419452 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/22812/task/22824/stat : 22824 (java) R 22810 22810 18186 0 -1 1077944384 3286 0 0 0 60 1 0 0 20 0 19 0 409012955 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520656451696 140521194228354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22825] ppid=22810 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22825/stat : 22825 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409012955 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520655399136 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22826] ppid=22810 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22826/stat : 22826 (java) S 22810 22810 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409012955 15789518848 42248 33554432000 4194304 4196468 140735195900576 140520654347440 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 170444 KiB
[startup+2.00231 s]
# the end of solver process 22810 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.82095 s, system=0.18139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.70123 s]
/proc/loadavg: 8.73 8.44 6.64 8/234 22826
/proc/meminfo: memFree=17568168/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=15552580 memory=225904 CPUtime=3.95 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 25450 0 0 0 382 13 0 0 20 0 19 0 409012916 15925841920 56476 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 3888145 56476 3494 1 0 3849247 0
[pid=22812/tid=22813] ppid=22810 vsize=15552580 memory=288230621803970871 CPUtime=1.07 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) S 22810 22810 18186 0 -1 1077944384 11471 0 0 0 102 5 0 0 20 0 18 0 409012916 15925841920 56459 33554432000 4194304 4196468 140735195900576 140521198457984 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22814] ppid=22810 vsize=15552580 memory=15818902244428187 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22814/stat : 22814 (java) S 22810 22810 18186 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 17 0 409012950 15925841920 56459 33554432000 4194304 4196468 140735195900576 140521130453648 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22815] ppid=22810 vsize=15552580 memory=6944656592385698452 CPUtime=0.02 cores=1,3,5,7
/proc/22812/task/22815/stat : 22815 (java) S 22810 22810 18186 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 17 0 409012950 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520786024976 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22816] ppid=22810 vsize=15552580 memory=6655300316396806240 CPUtime=0.02 cores=1,3,5,7
/proc/22812/task/22816/stat : 22816 (java) S 22810 22810 18186 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 17 0 409012950 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520784972176 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22817] ppid=22810 vsize=15552580 memory=4137282578176515228 CPUtime=0.02 cores=1,3,5,7
/proc/22812/task/22817/stat : 22817 (java) S 22810 22810 18186 0 -1 1077944384 335 0 0 0 1 1 0 0 20 0 17 0 409012950 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520783919376 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22818] ppid=22810 vsize=15552580 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22818/stat : 22818 (java) S 22810 22810 18186 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 18 0 409012952 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520730053488 140521194228354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22819] ppid=22810 vsize=15552580 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22819/stat : 22819 (java) S 22810 22810 18186 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 18 0 409012952 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520728999520 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22820] ppid=22810 vsize=15552580 memory=8761640388318109335 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22820/stat : 22820 (java) S 22810 22810 18186 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 409012952 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520727946624 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22821] ppid=22810 vsize=15552580 memory=-4266093328290063036 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22821/stat : 22821 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409012955 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520659609936 140521194235803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22822] ppid=22810 vsize=15552580 memory=-7028383565733675155 CPUtime=0.88 cores=1,3,5,7
/proc/22812/task/22822/stat : 22822 (java) R 22810 22810 18186 0 -1 4202560 2765 0 0 0 88 0 0 0 20 0 19 0 409012955 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520658545136 140521179134560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22823] ppid=22810 vsize=15552580 memory=-8181453203898211701 CPUtime=0.87 cores=1,3,5,7
/proc/22812/task/22823/stat : 22823 (java) R 22810 22810 18186 0 -1 4202560 2893 0 0 0 87 0 0 0 20 0 19 0 409012955 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520657489456 140521175737193 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22824] ppid=22810 vsize=15552580 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22812/task/22824/stat : 22824 (java) R 22810 22810 18186 0 -1 1077944384 3676 0 0 0 65 1 0 0 20 0 19 0 409012955 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520656451696 140521194228354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22825] ppid=22810 vsize=15552580 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22825/stat : 22825 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409012955 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520655399136 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22826] ppid=22810 vsize=15552580 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22826/stat : 22826 (java) S 22810 22810 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409012955 15925841920 56442 33554432000 4194304 4196468 140735195900576 140520654347440 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 227356 KiB
[startup+1.90924 s]
/proc/loadavg: 8.73 8.44 6.64 8/234 22826
/proc/meminfo: memFree=17568168/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
[pid=22812] ppid=22810 vsize=15619144 memory=329132 CPUtime=4.68 cores=1,3,5,7
/proc/22812/stat : 22812 (java) S 22810 22810 18186 0 -1 1077944320 27889 0 0 0 451 17 0 0 20 0 19 0 409012916 15994003456 82283 33554432000 4194304 4196468 140735195900576 140735195883120 140521194217207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
/proc/22812/statm: 3904786 82283 3497 1 0 3865888 0
[pid=22812/tid=22813] ppid=22810 vsize=15619144 memory=7162523692091337574 CPUtime=1.08 cores=1,3,5,7
/proc/22812/task/22813/stat : 22813 (java) S 22810 22810 18186 0 -1 1077944384 11471 0 0 0 103 5 0 0 20 0 19 0 409012916 15994003456 82283 33554432000 4194304 4196468 140735195900576 140521198457984 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22814] ppid=22810 vsize=15619144 memory=4641030237187430497 CPUtime=0.02 cores=1,3,5,7
/proc/22812/task/22814/stat : 22814 (java) S 22810 22810 18186 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 19 0 409012950 15994003456 82283 33554432000 4194304 4196468 140735195900576 140521130453648 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22815] ppid=22810 vsize=15619144 memory=5866323620314769264 CPUtime=0.03 cores=1,3,5,7
/proc/22812/task/22815/stat : 22815 (java) S 22810 22810 18186 0 -1 1077944384 118 0 0 0 2 1 0 0 20 0 19 0 409012950 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520786024976 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22816] ppid=22810 vsize=15619144 memory=8226000002866244869 CPUtime=0.02 cores=1,3,5,7
/proc/22812/task/22816/stat : 22816 (java) S 22810 22810 18186 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 19 0 409012950 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520784972176 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22817] ppid=22810 vsize=15619144 memory=4104 CPUtime=0.03 cores=1,3,5,7
/proc/22812/task/22817/stat : 22817 (java) S 22810 22810 18186 0 -1 1077944384 342 0 0 0 2 1 0 0 20 0 19 0 409012950 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520783919376 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22818] ppid=22810 vsize=15619144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22818/stat : 22818 (java) S 22810 22810 18186 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 19 0 409012952 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520730053488 140521194228354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22819] ppid=22810 vsize=15619144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22819/stat : 22819 (java) S 22810 22810 18186 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 409012952 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520728999520 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22820] ppid=22810 vsize=15619144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22820/stat : 22820 (java) S 22810 22810 18186 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 409012952 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520727946624 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22821] ppid=22810 vsize=15619144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22821/stat : 22821 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409012955 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520659609936 140521194235803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22822] ppid=22810 vsize=15619144 memory=27556 CPUtime=1.02 cores=1,3,5,7
/proc/22812/task/22822/stat : 22822 (java) R 22810 22810 18186 0 -1 4202560 2814 0 0 0 102 0 0 0 20 0 19 0 409012955 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520658545984 140521174060815 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22823] ppid=22810 vsize=15619144 memory=2244 CPUtime=1.05 cores=1,3,5,7
/proc/22812/task/22823/stat : 22823 (java) R 22810 22810 18186 0 -1 4202560 2963 0 0 0 104 1 0 0 20 0 19 0 409012955 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520657493856 140521173474011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22824] ppid=22810 vsize=15619144 memory=3471342254079301504 CPUtime=0.72 cores=1,3,5,7
/proc/22812/task/22824/stat : 22824 (java) R 22810 22810 18186 0 -1 1077944384 3785 0 0 0 71 1 0 0 20 0 19 0 409012955 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520656451696 140521194228354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22825] ppid=22810 vsize=15619144 memory=3472468153986148700 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22825/stat : 22825 (java) S 22810 22810 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409012955 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520655399136 140521194227413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
[pid=22812/tid=22826] ppid=22810 vsize=15619144 memory=279715516787744 CPUtime=0 cores=1,3,5,7
/proc/22812/task/22826/stat : 22826 (java) S 22810 22810 18186 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 409012955 15994003456 82283 33554432000 4194304 4196468 140735195900576 140520654347440 140521194228354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19578880 140735195902959 140735195903130 140735195903130 140735195905999 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 330584 KiB
[startup+2.00078 s]
/proc/loadavg: 8.73 8.44 6.64 8/234 22826
/proc/meminfo: memFree=17568168/32770624 swapFree=66959212/67108860
[pid=22810] ppid=22807 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22810/stat : 22810 (xcsp3-exec) S 22807 22810 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409012915 115843072 363 33554432000 4194304 5098028 140729849009504 140729849007608 140293322367612 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20582400 140729849013115 140729849013357 140729849013357 140729849016266 0
/proc/22810/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 2.00235
CPU time (s): 5.00234
CPU user time (s): 4.82095
CPU system time (s): 0.18139
CPU usage (%): 249.824
Max. virtual memory (cumulated for all children) (KiB): 15732272
Max. memory (cumulated for all children) (KiB): 330584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.82095
system time used= 0.18139
maximum resident set size= 330368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28576
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= 3390
involuntary context switches= 71
# summary of solver processes directly reported to runsolver:
# pid: 22810
# total CPU time (s): 5.00234
# total CPU user time (s): 4.82095
# total CPU system time (s): 0.18139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031431 second user time and 0.063947 second system time
The end