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 (15137 MiB free)
memory of node 1: 16384 MiB (15694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395185-1568335967/watcher-4395185-1568335967 -o /tmp/evaluation-result-4395185-1568335967/solver-4395185-1568335967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18696 --watchdog 2580 xcsp_picat HOME/instance-4395185-1568335967.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22184, runsolver pid=22181
[startup+0.100155 s]*
/proc/loadavg: 2.22 2.14 2.09 3/200 22185
/proc/meminfo: memFree=31559020/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2036628 memory=17740 CPUtime=0.1 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 1543 0 0 0 10 0 0 0 20 0 1 0 409859340 2085507072 4435 33554432000 4194304 5870510 140722248145072 140722248142216 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 509157 4435 961 410 0 504630 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036628 KiB
Current children cumulated memory: 17740 KiB
[startup+0.209631 s]*
/proc/loadavg: 2.22 2.14 2.09 3/200 22185
/proc/meminfo: memFree=31558740/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2036628 memory=17740 CPUtime=0.21 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 1543 0 0 0 21 0 0 0 20 0 1 0 409859340 2085507072 4435 33554432000 4194304 5870510 140722248145072 140722248142216 5478360 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 509157 4435 961 410 0 504630 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036628 KiB
Current children cumulated memory: 17740 KiB
[startup+0.308812 s]*
/proc/loadavg: 2.22 2.14 2.09 3/200 22185
/proc/meminfo: memFree=31560600/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2032512 memory=15872 CPUtime=0.31 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 1630 0 0 0 31 0 0 0 20 0 1 0 409859340 2081292288 3968 33554432000 4194304 5870510 140722248145072 140722248144328 140269413936101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 508128 3968 971 410 0 503601 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2032512 KiB
Current children cumulated memory: 15872 KiB
[startup+0.700276 s]
/proc/loadavg: 2.22 2.14 2.09 3/200 22185
/proc/meminfo: memFree=31559484/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2035244 memory=18024 CPUtime=0.69 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 2196 0 0 0 69 0 0 0 20 0 1 0 409859340 2084089856 4506 33554432000 4194304 5870510 140722248145072 140722248144328 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 508811 4506 989 410 0 504284 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035244 KiB
Current children cumulated memory: 18024 KiB
[startup+1.50029 s]
/proc/loadavg: 2.22 2.14 2.09 3/200 22185
/proc/meminfo: memFree=31557548/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2042700 memory=23796 CPUtime=1.49 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 3568 0 0 0 149 0 0 0 20 0 1 0 409859340 2091724800 5949 33554432000 4194304 5870510 140722248145072 140722248143512 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 510675 5949 989 410 0 506148 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042700 KiB
Current children cumulated memory: 23796 KiB
[startup+3.10941 s]
/proc/loadavg: 2.36 2.17 2.10 3/200 22185
/proc/meminfo: memFree=31547700/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2045420 memory=28840 CPUtime=3.09 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 6440 0 0 0 309 0 0 0 20 0 1 0 409859340 2094510080 7210 33554432000 4194304 5870510 140722248145072 140722248143512 5282714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 511355 7210 989 410 0 506828 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2045420 KiB
Current children cumulated memory: 28840 KiB
[startup+6.30028 s]
/proc/loadavg: 2.36 2.17 2.10 3/200 22185
/proc/meminfo: memFree=31591524/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2045420 memory=28892 CPUtime=6.29 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 8562 0 0 0 628 1 0 0 20 0 1 0 409859340 2094510080 7223 33554432000 4194304 5870510 140722248145072 140722248144248 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 511355 7223 993 410 0 506828 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2045420 KiB
Current children cumulated memory: 28892 KiB
[startup+12.7003 s]
/proc/loadavg: 2.31 2.16 2.10 3/200 22185
/proc/meminfo: memFree=31570560/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2050532 memory=32704 CPUtime=12.69 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 14430 0 0 0 1267 2 0 0 20 0 1 0 409859340 2099744768 8176 33554432000 4194304 5870510 140722248145072 140722248143640 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 512633 8176 1000 410 0 508106 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2050532 KiB
Current children cumulated memory: 32704 KiB
[startup+25.5003 s]
/proc/loadavg: 2.26 2.16 2.10 3/200 22186
/proc/meminfo: memFree=31556348/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2047472 memory=30240 CPUtime=25.48 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 21716 0 0 0 2546 2 0 0 20 0 1 0 409859340 2096611328 7560 33554432000 4194304 5870510 140722248145072 140722248143512 5289467 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 511868 7560 1000 410 0 507341 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2047472 KiB
Current children cumulated memory: 30240 KiB
[startup+51.1094 s]
/proc/loadavg: 2.17 2.14 2.10 3/200 22188
/proc/meminfo: memFree=31567932/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2053968 memory=36440 CPUtime=51.1 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 27291 0 0 0 5107 3 0 0 20 0 1 0 409859340 2103263232 9110 33554432000 4194304 5870510 140722248145072 140722248143512 5282709 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 513492 9110 1000 410 0 508965 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2053968 KiB
Current children cumulated memory: 36440 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/199 22192
/proc/meminfo: memFree=31549052/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2039092 memory=19376 CPUtime=102.28 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 37576 0 0 0 10224 4 0 0 20 0 1 0 409859340 2088030208 4844 33554432000 4194304 5870510 140722248145072 140722248144248 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 509773 4844 1000 410 0 505246 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2039092 KiB
Current children cumulated memory: 19376 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/199 22196
/proc/meminfo: memFree=31510448/32770624 swapFree=66979964/67108860
[pid=22184] ppid=22181 vsize=2076864 memory=55712 CPUtime=162.28 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 43862 0 0 0 16222 6 0 0 20 0 1 0 409859340 2126708736 13928 33554432000 4194304 5870510 140722248145072 140722248143512 5272923 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 519216 13928 1000 410 0 514689 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 55712 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/200 22203
/proc/meminfo: memFree=31514060/32770624 swapFree=66979968/67108860
[pid=22184] ppid=22181 vsize=2071400 memory=52124 CPUtime=222.28 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 48230 0 0 0 22221 7 0 0 20 0 1 0 409859340 2121113600 13031 33554432000 4194304 5870510 140722248145072 140722248143512 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 517850 13031 1000 410 0 513323 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2071400 KiB
Current children cumulated memory: 52124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22207
/proc/meminfo: memFree=31518132/32770624 swapFree=66979968/67108860
[pid=22184] ppid=22181 vsize=2062660 memory=46060 CPUtime=282.28 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 53494 0 0 0 28220 8 0 0 20 0 1 0 409859340 2112163840 11515 33554432000 4194304 5870510 140722248145072 140722248143512 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 515665 11515 1000 410 0 511138 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 46060 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/199 22271
/proc/meminfo: memFree=31643096/32770624 swapFree=66979968/67108860
[pid=22184] ppid=22181 vsize=2059408 memory=46576 CPUtime=342.28 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 57392 0 0 0 34219 9 0 0 20 0 1 0 409859340 2108833792 11644 33554432000 4194304 5870510 140722248145072 140722248143640 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 514852 11644 1000 410 0 510325 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2059408 KiB
Current children cumulated memory: 46576 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/201 22279
/proc/meminfo: memFree=31611216/32770624 swapFree=66979972/67108860
[pid=22184] ppid=22181 vsize=2075068 memory=64164 CPUtime=402.27 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 62153 0 0 0 40218 9 0 0 20 0 1 0 409859340 2124869632 16041 33554432000 4194304 5870510 140722248145072 140722248143640 5272544 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 518767 16041 1000 410 0 514240 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2075068 KiB
Current children cumulated memory: 64164 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 22283
/proc/meminfo: memFree=31609848/32770624 swapFree=66979972/67108860
[pid=22184] ppid=22181 vsize=2073432 memory=61856 CPUtime=462.27 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 66861 0 0 0 46216 11 0 0 20 0 1 0 409859340 2123194368 15464 33554432000 4194304 5870510 140722248145072 140722248143512 5272392 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 518358 15464 1000 410 0 513831 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2073432 KiB
Current children cumulated memory: 61856 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 22356
/proc/meminfo: memFree=31622604/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2066780 memory=55688 CPUtime=522.26 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 72790 0 0 0 52214 12 0 0 20 0 1 0 409859340 2116382720 13922 33554432000 4194304 5870510 140722248145072 140722248143640 5282509 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 516695 13922 1000 410 0 512168 0
Current children cumulated CPU time: 522.26 s
Current children cumulated vsize: 2066780 KiB
Current children cumulated memory: 55688 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/203 22384
/proc/meminfo: memFree=31623852/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2060368 memory=48168 CPUtime=582.26 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 75871 0 0 0 58213 13 0 0 20 0 1 0 409859340 2109816832 12042 33554432000 4194304 5870510 140722248145072 140722248143512 5282515 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 515092 12042 1000 410 0 510565 0
Current children cumulated CPU time: 582.26 s
Current children cumulated vsize: 2060368 KiB
Current children cumulated memory: 48168 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 22389
/proc/meminfo: memFree=31623808/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2061812 memory=50764 CPUtime=642.25 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 83549 0 0 0 64211 14 0 0 20 0 1 0 409859340 2111295488 12691 33554432000 4194304 5870510 140722248145072 140722248143640 5282515 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 515453 12691 1000 410 0 510926 0
Current children cumulated CPU time: 642.25 s
Current children cumulated vsize: 2061812 KiB
Current children cumulated memory: 50764 KiB
[startup+698.621 s]
# the end of solver process 22184 was just reported to runsolver
# cumulated CPU time of all completed processes: user=698.43 s, system=0.156993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 22389
/proc/meminfo: memFree=31619560/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2067084 memory=55140 CPUtime=665.56 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 84350 0 0 0 66541 15 0 0 20 0 1 0 409859340 2116694016 13785 33554432000 4194304 5870510 140722248145072 140722248143512 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 516771 13785 1000 410 0 512244 0
Current children cumulated CPU time: 665.56 s
Current children cumulated vsize: 2067084 KiB
Current children cumulated memory: 55140 KiB
[startup+678.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 22391
/proc/meminfo: memFree=31605816/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2074156 memory=62536 CPUtime=678.36 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 84641 0 0 0 67821 15 0 0 20 0 1 0 409859340 2123935744 15634 33554432000 4194304 5870510 140722248145072 140722248143512 5275454 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 518539 15634 1000 410 0 514012 0
Current children cumulated CPU time: 678.36 s
Current children cumulated vsize: 2074156 KiB
Current children cumulated memory: 62536 KiB
[startup+691.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 22393
/proc/meminfo: memFree=31600600/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2074156 memory=62536 CPUtime=691.16 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 84671 0 0 0 69101 15 0 0 20 0 1 0 409859340 2123935744 15634 33554432000 4194304 5870510 140722248145072 140722248143512 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 518539 15634 1000 410 0 514012 0
Current children cumulated CPU time: 691.16 s
Current children cumulated vsize: 2074156 KiB
Current children cumulated memory: 62536 KiB
[startup+694.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 22393
/proc/meminfo: memFree=31616480/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2081332 memory=65348 CPUtime=694.36 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 84859 0 0 0 69421 15 0 0 20 0 1 0 409859340 2131283968 16337 33554432000 4194304 5870510 140722248145072 140722248143512 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 520333 16337 1000 410 0 515806 0
Current children cumulated CPU time: 694.36 s
Current children cumulated vsize: 2081332 KiB
Current children cumulated memory: 65348 KiB
[startup+696 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 22393
/proc/meminfo: memFree=31613564/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2081332 memory=65348 CPUtime=695.96 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 84859 0 0 0 69581 15 0 0 20 0 1 0 409859340 2131283968 16337 33554432000 4194304 5870510 140722248145072 140722248143512 5283116 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 520333 16337 1000 410 0 515806 0
Current children cumulated CPU time: 695.96 s
Current children cumulated vsize: 2081332 KiB
Current children cumulated memory: 65348 KiB
[startup+697.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 22393
/proc/meminfo: memFree=31613564/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2081332 memory=65348 CPUtime=697.56 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 84859 0 0 0 69741 15 0 0 20 0 1 0 409859340 2131283968 16337 33554432000 4194304 5870510 140722248145072 140722248143512 5282714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 520333 16337 1000 410 0 515806 0
Current children cumulated CPU time: 697.56 s
Current children cumulated vsize: 2081332 KiB
Current children cumulated memory: 65348 KiB
[startup+698.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 22393
/proc/meminfo: memFree=31620576/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2068232 memory=56644 CPUtime=698.36 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 85348 0 0 0 69821 15 0 0 20 0 1 0 409859340 2117869568 14161 33554432000 4194304 5870510 140722248145072 140722248143512 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 517058 14161 1000 410 0 512531 0
Current children cumulated CPU time: 698.36 s
Current children cumulated vsize: 2068232 KiB
Current children cumulated memory: 56644 KiB
[startup+698.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 22393
/proc/meminfo: memFree=31620576/32770624 swapFree=66979984/67108860
[pid=22184] ppid=22181 vsize=2068232 memory=56644 CPUtime=698.56 cores=1,3,5,7
/proc/22184/stat : 22184 (xcsp_picat) R 22181 22184 18664 0 -1 4202496 85348 0 0 0 69841 15 0 0 20 0 1 0 409859340 2117869568 14161 33554432000 4194304 5870510 140722248145072 140722248143512 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 24018944 140722248147999 140722248148077 140722248148077 140722248150986 0
/proc/22184/statm: 517058 14161 1000 410 0 512531 0
Current children cumulated CPU time: 698.56 s
Current children cumulated vsize: 2068232 KiB
Current children cumulated memory: 56644 KiB
Child status: 0
Real time (s): 698.621
CPU time (s): 698.587
CPU user time (s): 698.43
CPU system time (s): 0.156993
CPU usage (%): 99.9951
Max. virtual memory (cumulated for all children) (KiB): 2081332
Max. memory (cumulated for all children) (KiB): 66684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 698.43
system time used= 0.156993
maximum resident set size= 66684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85372
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= 10
involuntary context switches= 489
# summary of solver processes directly reported to runsolver:
# pid: 22184
# total CPU time (s): 698.587
# total CPU user time (s): 698.43
# total CPU system time (s): 0.156993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48748 second user time and 4.83778 second system time
The end