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 (15335 MiB free)
memory of node 1: 16384 MiB (13770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394902-1568329348/watcher-4394902-1568329348 -o /tmp/evaluation-result-4394902-1568329348/solver-4394902-1568329348 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4394902-1568329348.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17944, runsolver pid=17941
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 17945
/proc/meminfo: memFree=29791528/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=18884 CPUtime=0.1 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 1829 0 0 0 10 0 0 0 20 0 1 0 409186315 2080477184 4721 33554432000 4194304 5870510 140725947451280 140725947448424 140429209893888 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 4721 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18884 KiB
[startup+0.209664 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 17945
/proc/meminfo: memFree=29785384/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=25028 CPUtime=0.21 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 1836 0 0 0 21 0 0 0 20 0 1 0 409186315 2080477184 6257 33554432000 4194304 5870510 140725947451280 140725947448424 4440757 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 6257 834 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 25028 KiB
[startup+0.309527 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 17945
/proc/meminfo: memFree=29778980/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=29124 CPUtime=0.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 1839 0 0 0 30 0 0 0 20 0 1 0 409186315 2080477184 7281 33554432000 4194304 5870510 140725947451280 140725947448424 4461503 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 7281 834 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29124 KiB
[startup+0.700314 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 17945
/proc/meminfo: memFree=29768740/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=49604 CPUtime=0.69 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 1849 0 0 0 68 1 0 0 20 0 1 0 409186315 2080477184 12401 33554432000 4194304 5870510 140725947451280 140725947450584 4477335 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 12401 834 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 49604 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 17945
/proc/meminfo: memFree=29742116/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=94768 CPUtime=1.48 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 1871 0 0 0 147 1 0 0 20 0 1 0 409186315 2080477184 23692 33554432000 4194304 5870510 140725947451280 140725947450584 4515406 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 23692 839 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 94768 KiB
[startup+3.10949 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 17945
/proc/meminfo: memFree=29630268/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=183556 CPUtime=3.1 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 1939 0 0 0 307 3 0 0 20 0 1 0 409186315 2080477184 45889 33554432000 4194304 5870510 140725947451280 140725947450584 4520559 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 45889 839 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 183556 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.05 4/215 17974
/proc/meminfo: memFree=31343960/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=355588 CPUtime=6.28 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 2039 0 0 0 621 7 0 0 20 0 1 0 409186315 2080477184 88897 33554432000 4194304 5870510 140725947451280 140725947450584 4770092 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 88897 839 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 355588 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18007
/proc/meminfo: memFree=30398020/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2031716 memory=1058116 CPUtime=12.69 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 3435 0 0 0 1251 18 0 0 20 0 1 0 409186315 2080477184 264529 33554432000 4194304 5870510 140725947451280 140725947450648 4475153 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 507929 264529 856 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1058116 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18007
/proc/meminfo: memFree=28574284/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2755788 memory=1557284 CPUtime=25.48 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 20094 0 0 0 2522 26 0 0 20 0 1 0 409186315 2821926912 389321 33554432000 4194304 5870510 140725947451280 140725947449832 5337529 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 688947 389321 871 410 0 684420 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2755788 KiB
Current children cumulated memory: 1557284 KiB
[startup+51.1094 s]
/proc/loadavg: 1.93 2.00 2.04 3/202 18009
/proc/meminfo: memFree=28573452/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2755788 memory=1557912 CPUtime=51.09 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 24474 0 0 0 5083 26 0 0 20 0 1 0 409186315 2821926912 389478 33554432000 4194304 5870510 140725947451280 140725947449832 5337529 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 688947 389478 876 410 0 684420 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2755788 KiB
Current children cumulated memory: 1557912 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/202 18013
/proc/meminfo: memFree=28573496/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2755788 memory=1557912 CPUtime=102.28 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 32819 0 0 0 10202 26 0 0 20 0 1 0 409186315 2821926912 389478 33554432000 4194304 5870510 140725947451280 140725947449832 5337354 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 688947 389478 876 410 0 684420 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2755788 KiB
Current children cumulated memory: 1557912 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/202 18017
/proc/meminfo: memFree=28573328/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2755788 memory=1557912 CPUtime=162.29 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 48171 0 0 0 16202 27 0 0 20 0 1 0 409186315 2821926912 389478 33554432000 4194304 5870510 140725947451280 140725947449832 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 688947 389478 876 410 0 684420 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2755788 KiB
Current children cumulated memory: 1557912 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18023
/proc/meminfo: memFree=28573248/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2755788 memory=1557912 CPUtime=222.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 62219 0 0 0 22202 28 0 0 20 0 1 0 409186315 2821926912 389478 33554432000 4194304 5870510 140725947451280 140725947449832 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 688947 389478 876 410 0 684420 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2755788 KiB
Current children cumulated memory: 1557912 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18027
/proc/meminfo: memFree=28538020/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2802000 memory=1578760 CPUtime=282.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 94596 0 0 0 28201 29 0 0 20 0 1 0 409186315 2869248000 394690 33554432000 4194304 5870510 140725947451280 140725947449960 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 700500 394690 880 410 0 695973 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2802000 KiB
Current children cumulated memory: 1578760 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18031
/proc/meminfo: memFree=28502092/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2813800 memory=1596804 CPUtime=342.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 153092 0 0 0 34198 32 0 0 20 0 1 0 409186315 2881331200 399201 33554432000 4194304 5870510 140725947451280 140725947449608 5337288 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 703450 399201 880 410 0 698923 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2813800 KiB
Current children cumulated memory: 1596804 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18037
/proc/meminfo: memFree=28479956/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2819560 memory=1608016 CPUtime=402.31 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 226526 0 0 0 40195 36 0 0 20 0 1 0 409186315 2887229440 402004 33554432000 4194304 5870510 140725947451280 140725947449608 5337543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 704890 402004 880 410 0 700363 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2819560 KiB
Current children cumulated memory: 1608016 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18041
/proc/meminfo: memFree=28458888/32770624 swapFree=66993752/67108860
[pid=17944] ppid=17941 vsize=2820200 memory=1616200 CPUtime=462.31 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 279791 0 0 0 46193 38 0 0 20 0 1 0 409186315 2887884800 404050 33554432000 4194304 5870510 140725947451280 140725947449432 5337379 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 705050 404050 880 410 0 700523 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2820200 KiB
Current children cumulated memory: 1616200 KiB
################
# More data... #
################
Current children cumulated memory: 1619384 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18067
/proc/meminfo: memFree=28432408/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2820680 memory=1619388 CPUtime=702.34 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 486828 0 0 0 70186 48 0 0 20 0 1 0 409186315 2888376320 404847 33554432000 4194304 5870510 140725947451280 140725947449608 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 705170 404847 880 410 0 700643 0
Current children cumulated CPU time: 702.34 s
Current children cumulated vsize: 2820680 KiB
Current children cumulated memory: 1619388 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18073
/proc/meminfo: memFree=28432444/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2820680 memory=1619388 CPUtime=762.34 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 545853 0 0 0 76183 51 0 0 20 0 1 0 409186315 2888376320 404847 33554432000 4194304 5870510 140725947451280 140725947449608 5337306 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 705170 404847 880 410 0 700643 0
Current children cumulated CPU time: 762.34 s
Current children cumulated vsize: 2820680 KiB
Current children cumulated memory: 1619388 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18077
/proc/meminfo: memFree=28432372/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2820680 memory=1619396 CPUtime=822.35 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 589836 0 0 0 82181 54 0 0 20 0 1 0 409186315 2888376320 404849 33554432000 4194304 5870510 140725947451280 140725947449608 5337327 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 705170 404849 880 410 0 700643 0
Current children cumulated CPU time: 822.35 s
Current children cumulated vsize: 2820680 KiB
Current children cumulated memory: 1619396 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18081
/proc/meminfo: memFree=28431536/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2820680 memory=1619396 CPUtime=882.36 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 639321 0 0 0 88180 56 0 0 20 0 1 0 409186315 2888376320 404849 33554432000 4194304 5870510 140725947451280 140725947449608 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 705170 404849 880 410 0 700643 0
Current children cumulated CPU time: 882.36 s
Current children cumulated vsize: 2820680 KiB
Current children cumulated memory: 1619396 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18087
/proc/meminfo: memFree=28431688/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2820680 memory=1619396 CPUtime=942.36 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 675860 0 0 0 94178 58 0 0 20 0 1 0 409186315 2888376320 404849 33554432000 4194304 5870510 140725947451280 140725947449608 5337504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 705170 404849 880 410 0 700643 0
Current children cumulated CPU time: 942.36 s
Current children cumulated vsize: 2820680 KiB
Current children cumulated memory: 1619396 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18091
/proc/meminfo: memFree=28481924/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2770892 memory=1568480 CPUtime=1002.36 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 723712 0 0 0 100176 60 0 0 20 0 1 0 409186315 2837393408 392120 33554432000 4194304 5870510 140725947451280 140725947450440 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 692723 392120 881 410 0 688196 0
Current children cumulated CPU time: 1002.36 s
Current children cumulated vsize: 2770892 KiB
Current children cumulated memory: 1568480 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18095
/proc/meminfo: memFree=28508840/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2770892 memory=1570848 CPUtime=1062.37 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 735875 0 0 0 106176 61 0 0 20 0 1 0 409186315 2837393408 392712 33554432000 4194304 5870510 140725947451280 140725947450232 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 692723 392712 900 410 0 688196 0
Current children cumulated CPU time: 1062.37 s
Current children cumulated vsize: 2770892 KiB
Current children cumulated memory: 1570848 KiB
[startup+1119.88 s]
# the end of solver process 17944 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1119.31 s, system=0.650048 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18097
/proc/meminfo: memFree=28504940/32770624 swapFree=66993768/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1571512 CPUtime=1075.27 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 737263 0 0 0 107465 62 0 0 20 0 1 0 409186315 2856022016 392878 33554432000 4194304 5870510 140725947451280 140725947449720 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 392878 900 410 0 692744 0
Current children cumulated CPU time: 1075.27 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1571512 KiB
[startup+1100.8 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18107
/proc/meminfo: memFree=28486900/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1589508 CPUtime=1100.87 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 742826 0 0 0 110024 63 0 0 20 0 1 0 409186315 2856022016 397377 33554432000 4194304 5870510 140725947451280 140725947449720 5272427 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397377 900 410 0 692744 0
Current children cumulated CPU time: 1100.87 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1589508 KiB
[startup+1113.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18109
/proc/meminfo: memFree=28485124/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1591556 CPUtime=1113.67 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 747968 0 0 0 111304 63 0 0 20 0 1 0 409186315 2856022016 397889 33554432000 4194304 5870510 140725947451280 140725947449720 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397889 900 410 0 692744 0
Current children cumulated CPU time: 1113.67 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1591556 KiB
[startup+1116.8 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18109
/proc/meminfo: memFree=28485112/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1591556 CPUtime=1116.87 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 748382 0 0 0 111624 63 0 0 20 0 1 0 409186315 2856022016 397889 33554432000 4194304 5870510 140725947451280 140725947449720 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397889 900 410 0 692744 0
Current children cumulated CPU time: 1116.87 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1591556 KiB
[startup+1118.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18109
/proc/meminfo: memFree=28485112/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1591556 CPUtime=1118.47 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 748617 0 0 0 111784 63 0 0 20 0 1 0 409186315 2856022016 397889 33554432000 4194304 5870510 140725947451280 140725947449720 5283126 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397889 900 410 0 692744 0
Current children cumulated CPU time: 1118.47 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1591556 KiB
[startup+1119.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18109
/proc/meminfo: memFree=28485112/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1591556 CPUtime=1119.27 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 748789 0 0 0 111864 63 0 0 20 0 1 0 409186315 2856022016 397889 33554432000 4194304 5870510 140725947451280 140725947449720 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397889 900 410 0 692744 0
Current children cumulated CPU time: 1119.27 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1591556 KiB
[startup+1119.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18109
/proc/meminfo: memFree=28485112/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1591556 CPUtime=1119.67 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 748800 0 0 0 111904 63 0 0 20 0 1 0 409186315 2856022016 397889 33554432000 4194304 5870510 140725947451280 140725947449720 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397889 900 410 0 692744 0
Current children cumulated CPU time: 1119.67 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1591556 KiB
[startup+1119.8 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18109
/proc/meminfo: memFree=28485112/32770624 swapFree=66993776/67108860
[pid=17944] ppid=17941 vsize=2789084 memory=1591556 CPUtime=1119.87 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 15976 0 -1 4202496 748812 0 0 0 111924 63 0 0 20 0 1 0 409186315 2856022016 397889 33554432000 4194304 5870510 140725947451280 140725947449720 5282709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23871488 140725947454495 140725947454573 140725947454573 140725947457482 0
/proc/17944/statm: 697271 397889 900 410 0 692744 0
Current children cumulated CPU time: 1119.87 s
Current children cumulated vsize: 2789084 KiB
Current children cumulated memory: 1591556 KiB
Child status: 0
Real time (s): 1119.88
CPU time (s): 1119.96
CPU user time (s): 1119.31
CPU system time (s): 0.650048
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 2851032
Max. memory (cumulated for all children) (KiB): 1639076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1119.31
system time used= 0.650048
maximum resident set size= 1639076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1459
# summary of solver processes directly reported to runsolver:
# pid: 17944
# total CPU time (s): 1119.96
# total CPU user time (s): 1119.31
# total CPU system time (s): 0.650048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47909 second user time and 8.17397 second system time
The end