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 (14256 MiB free)
memory of node 1: 16384 MiB (13537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407884-1569514241/watcher-4407884-1569514241 -o /tmp/evaluation-result-4407884-1569514241/solver-4407884-1569514241 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569509601-16426 --watchdog 2560 xcsp_picat HOME/instance-4407884-1569514241.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
Current StackSize limit: 8192 KiB
solver pid=18168, runsolver pid=18165
[startup+0.100163 s]*
/proc/loadavg: 1.77 2.01 2.35 3/200 18169
/proc/meminfo: memFree=28442228/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2031716 memory=22188 CPUtime=0.1 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 1630 0 0 0 10 0 0 0 20 0 1 0 527692886 2080477184 5547 33554432000 4194304 5870510 140721875161280 140721875158424 139903302282240 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 507929 5547 836 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22188 KiB
[startup+0.209856 s]*
/proc/loadavg: 1.77 2.01 2.35 3/200 18169
/proc/meminfo: memFree=28434036/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2031716 memory=30380 CPUtime=0.21 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 1634 0 0 0 21 0 0 0 20 0 1 0 527692886 2080477184 7595 33554432000 4194304 5870510 140721875161280 140721875158424 139903302282240 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 507929 7595 836 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30380 KiB
[startup+0.309689 s]*
/proc/loadavg: 1.77 2.01 2.35 3/200 18169
/proc/meminfo: memFree=28425720/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2031716 memory=38572 CPUtime=0.31 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 1638 0 0 0 30 1 0 0 20 0 1 0 527692886 2080477184 9643 33554432000 4194304 5870510 140721875161280 140721875158424 139903302282240 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 507929 9643 836 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38572 KiB
[startup+0.700348 s]
/proc/loadavg: 1.77 2.01 2.35 3/200 18169
/proc/meminfo: memFree=28413432/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2031716 memory=65196 CPUtime=0.69 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 1651 0 0 0 68 1 0 0 20 0 1 0 527692886 2080477184 16299 33554432000 4194304 5870510 140721875161280 140721875160584 139903302282240 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 507929 16299 836 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 65196 KiB
[startup+1.50035 s]
/proc/loadavg: 1.77 2.01 2.35 3/202 18178
/proc/meminfo: memFree=28376352/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2031716 memory=124664 CPUtime=1.5 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 1681 0 0 0 147 3 0 0 20 0 1 0 527692886 2080477184 31166 33554432000 4194304 5870510 140721875161280 140721875160584 139903302282240 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 507929 31166 844 410 0 503402 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 124664 KiB
[startup+3.10946 s]
/proc/loadavg: 1.79 2.01 2.35 3/202 18178
/proc/meminfo: memFree=28231952/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2031716 memory=239352 CPUtime=3.1 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 1803 0 0 0 305 5 0 0 20 0 1 0 527692886 2080477184 59838 33554432000 4194304 5870510 140721875161280 140721875160584 139903302282240 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 507929 59838 844 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 239352 KiB
[startup+6.30042 s]
/proc/loadavg: 1.79 2.01 2.35 3/203 18180
/proc/meminfo: memFree=27734324/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2521260 memory=850064 CPUtime=6.29 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 3474 0 0 0 613 16 0 0 20 0 1 0 527692886 2581770240 212516 33554432000 4194304 5870510 140721875161280 140721875160584 5246343 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 630315 212516 895 410 0 625788 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2521260 KiB
Current children cumulated memory: 850064 KiB
[startup+12.7003 s]
/proc/loadavg: 1.82 2.01 2.34 3/202 18180
/proc/meminfo: memFree=27298908/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2660520 memory=1162508 CPUtime=12.69 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 20418 0 0 0 1246 23 0 0 20 0 1 0 527692886 2724372480 290627 33554432000 4194304 5870510 140721875161280 140721875160392 5478371 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 665130 290627 963 410 0 660603 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2660520 KiB
Current children cumulated memory: 1162508 KiB
[startup+25.5004 s]
/proc/loadavg: 1.85 2.01 2.34 3/202 18180
/proc/meminfo: memFree=27310852/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2651696 memory=1149948 CPUtime=25.49 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 38902 0 0 0 2522 27 0 0 20 0 1 0 527692886 2715336704 287487 33554432000 4194304 5870510 140721875161280 140721875160536 5272559 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 662924 287487 994 410 0 658397 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2651696 KiB
Current children cumulated memory: 1149948 KiB
[startup+51.1097 s]
/proc/loadavg: 1.82 2.00 2.33 3/202 18183
/proc/meminfo: memFree=27279292/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2703036 memory=1178704 CPUtime=51.09 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 60165 0 0 0 5079 30 0 0 20 0 1 0 527692886 2767908864 294676 33554432000 4194304 5870510 140721875161280 140721875159640 5308410 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675759 294676 994 410 0 671232 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2703036 KiB
Current children cumulated memory: 1178704 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 2.00 2.31 3/201 18314
/proc/meminfo: memFree=27542832/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2728476 memory=1209268 CPUtime=102.25 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 117175 0 0 0 10185 40 0 0 20 0 1 0 527692886 2793959424 302317 33554432000 4194304 5870510 140721875161280 140721875160232 5272427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 682119 302317 994 410 0 677592 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 2728476 KiB
Current children cumulated memory: 1209268 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 2.00 2.29 3/201 18378
/proc/meminfo: memFree=27564516/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2700220 memory=1181840 CPUtime=162.23 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 134541 0 0 0 16172 51 0 0 20 0 1 0 527692886 2765025280 295460 33554432000 4194304 5870510 140721875161280 140721875159640 139903301843941 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675055 295460 1001 410 0 670528 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 2700220 KiB
Current children cumulated memory: 1181840 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.27 3/201 18382
/proc/meminfo: memFree=27512572/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2723952 memory=1213212 CPUtime=222.23 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 181266 0 0 0 22164 59 0 0 20 0 1 0 527692886 2789326848 303303 33554432000 4194304 5870510 140721875161280 140721875160232 5258762 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 680988 303303 1001 410 0 676461 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2723952 KiB
Current children cumulated memory: 1213212 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/201 18388
/proc/meminfo: memFree=27520036/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2728100 memory=1218112 CPUtime=282.23 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 244435 0 0 0 28153 70 0 0 20 0 1 0 527692886 2793574400 304528 33554432000 4194304 5870510 140721875161280 140721875159704 5263528 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 682025 304528 1001 410 0 677498 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2728100 KiB
Current children cumulated memory: 1218112 KiB
[startup+342.3 s]
/proc/loadavg: 1.92 1.98 2.23 3/199 18392
/proc/meminfo: memFree=27549640/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2691828 memory=1169232 CPUtime=342.23 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 282602 0 0 0 34142 81 0 0 20 0 1 0 527692886 2756431872 292308 33554432000 4194304 5870510 140721875161280 140721875160232 5282280 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 672957 292308 1001 410 0 668430 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2691828 KiB
Current children cumulated memory: 1169232 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 1.99 2.22 3/199 18396
/proc/meminfo: memFree=27537852/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2713024 memory=1194628 CPUtime=402.23 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 315592 0 0 0 40134 89 0 0 20 0 1 0 527692886 2778136576 298657 33554432000 4194304 5870510 140721875161280 140721875159816 5282295 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 678256 298657 1001 410 0 673729 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2713024 KiB
Current children cumulated memory: 1194628 KiB
[startup+462.3 s]
/proc/loadavg: 1.46 1.85 2.16 2/192 18448
/proc/meminfo: memFree=27580712/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2724184 memory=1213196 CPUtime=462.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 401343 0 0 0 46124 98 0 0 20 0 1 0 527692886 2789564416 303299 33554432000 4194304 5870510 140721875161280 140721875160296 5282509 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 681046 303299 1001 410 0 676519 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2724184 KiB
Current children cumulated memory: 1213196 KiB
################
# More data... #
################
Current children cumulated memory: 1187184 KiB
[startup+1002.3 s]
/proc/loadavg: 1.00 1.14 1.65 2/192 18499
/proc/meminfo: memFree=27611068/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1181088 CPUtime=1002.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 637279 0 0 0 100030 192 0 0 20 0 1 0 527692886 2734940160 295272 33554432000 4194304 5870510 140721875161280 140721875160536 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 295272 1001 410 0 663183 0
Current children cumulated CPU time: 1002.22 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1181088 KiB
[startup+1062.3 s]
/proc/loadavg: 1.00 1.11 1.61 2/192 18503
/proc/meminfo: memFree=27616784/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1175112 CPUtime=1062.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 649640 0 0 0 106021 201 0 0 20 0 1 0 527692886 2734940160 293778 33554432000 4194304 5870510 140721875161280 140721875160232 5262779 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 293778 1001 410 0 663183 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1175112 KiB
[startup+1122.3 s]
/proc/loadavg: 1.00 1.09 1.57 2/192 18508
/proc/meminfo: memFree=27614200/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1176992 CPUtime=1122.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 663348 0 0 0 112007 215 0 0 20 0 1 0 527692886 2734940160 294248 33554432000 4194304 5870510 140721875161280 140721875160536 5289042 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 294248 1001 410 0 663183 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1176992 KiB
[startup+1182.3 s]
/proc/loadavg: 1.00 1.08 1.53 2/192 18514
/proc/meminfo: memFree=27620824/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1171016 CPUtime=1182.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 672325 0 0 0 117998 224 0 0 20 0 1 0 527692886 2734940160 292754 33554432000 4194304 5870510 140721875161280 140721875160232 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 292754 1001 410 0 663183 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1171016 KiB
[startup+1242.3 s]
/proc/loadavg: 1.00 1.06 1.50 2/194 18527
/proc/meminfo: memFree=27615480/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1174944 CPUtime=1242.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 685913 0 0 0 123983 239 0 0 20 0 1 0 527692886 2734940160 293736 33554432000 4194304 5870510 140721875161280 140721875160456 5282721 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 293736 1001 410 0 663183 0
Current children cumulated CPU time: 1242.22 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1174944 KiB
[startup+1302.3 s]
/proc/loadavg: 1.00 1.05 1.47 2/193 18531
/proc/meminfo: memFree=27608140/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1184888 CPUtime=1302.22 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 694566 0 0 0 129975 247 0 0 20 0 1 0 527692886 2766499840 296222 33554432000 4194304 5870510 140721875161280 140721875160232 5282632 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 296222 1001 410 0 670888 0
Current children cumulated CPU time: 1302.22 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1184888 KiB
[startup+1359.14 s]
# the end of solver process 18168 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1356.51 s, system=2.55594 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1331.2 s]
/proc/loadavg: 1.00 1.05 1.46 2/193 18534
/proc/meminfo: memFree=27610360/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1182968 CPUtime=1331.12 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 702433 0 0 0 132859 253 0 0 20 0 1 0 527692886 2734940160 295742 33554432000 4194304 5870510 140721875161280 140721875160536 5337306 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 295742 1001 410 0 663183 0
Current children cumulated CPU time: 1331.12 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1182968 KiB
[startup+1344 s]*
/proc/loadavg: 1.08 1.06 1.46 2/194 18535
/proc/meminfo: memFree=27604968/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2670840 memory=1183136 CPUtime=1343.93 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 702932 0 0 0 134139 254 0 0 20 0 1 0 527692886 2734940160 295784 33554432000 4194304 5870510 140721875161280 140721875160536 5274889 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 667710 295784 1001 410 0 663183 0
Current children cumulated CPU time: 1343.93 s
Current children cumulated vsize: 2670840 KiB
Current children cumulated memory: 1183136 KiB
[startup+1350.4 s]
/proc/loadavg: 1.08 1.06 1.45 2/194 18535
/proc/meminfo: memFree=27604472/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1184652 CPUtime=1350.32 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 703332 0 0 0 134778 254 0 0 20 0 1 0 527692886 2766499840 296163 33554432000 4194304 5870510 140721875161280 140721875160232 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 296163 1001 410 0 670888 0
Current children cumulated CPU time: 1350.32 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1184652 KiB
[startup+1353.6 s]
/proc/loadavg: 1.07 1.06 1.45 2/194 18535
/proc/meminfo: memFree=27601712/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1187228 CPUtime=1353.52 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 703448 0 0 0 135098 254 0 0 20 0 1 0 527692886 2766499840 296807 33554432000 4194304 5870510 140721875161280 140721875160232 5282617 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 296807 1001 410 0 670888 0
Current children cumulated CPU time: 1353.52 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1187228 KiB
[startup+1356.8 s]
/proc/loadavg: 1.07 1.06 1.45 2/195 18537
/proc/meminfo: memFree=27601004/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1187232 CPUtime=1356.72 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 706340 0 0 0 135418 254 0 0 20 0 1 0 527692886 2766499840 296808 33554432000 4194304 5870510 140721875161280 140721875160232 5262902 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 296808 1001 410 0 670888 0
Current children cumulated CPU time: 1356.72 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1187232 KiB
[startup+1358.4 s]
/proc/loadavg: 1.06 1.06 1.45 2/195 18537
/proc/meminfo: memFree=27598908/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1189280 CPUtime=1358.31 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 706379 0 0 0 135577 254 0 0 20 0 1 0 527692886 2766499840 297320 33554432000 4194304 5870510 140721875161280 140721875160232 5262639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 297320 1001 410 0 670888 0
Current children cumulated CPU time: 1358.31 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1189280 KiB
[startup+1358.8 s]
/proc/loadavg: 1.06 1.06 1.45 2/195 18537
/proc/meminfo: memFree=27598908/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1189280 CPUtime=1358.71 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 706382 0 0 0 135617 254 0 0 20 0 1 0 527692886 2766499840 297320 33554432000 4194304 5870510 140721875161280 140721875160232 5262902 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 297320 1001 410 0 670888 0
Current children cumulated CPU time: 1358.71 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1189280 KiB
[startup+1359 s]*
/proc/loadavg: 1.06 1.06 1.45 2/195 18537
/proc/meminfo: memFree=27598908/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1189280 CPUtime=1358.92 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 706387 0 0 0 135638 254 0 0 20 0 1 0 527692886 2766499840 297320 33554432000 4194304 5870510 140721875161280 140721875160232 139903307543451 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 297320 1001 410 0 670888 0
Current children cumulated CPU time: 1358.92 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1189280 KiB
[startup+1359.11 s]
/proc/loadavg: 1.06 1.06 1.45 2/195 18537
/proc/meminfo: memFree=27598908/32770624 swapFree=66960348/67108860
[pid=18168] ppid=18165 vsize=2701660 memory=1189280 CPUtime=1359.02 cores=1,3,5,7
/proc/18168/stat : 18168 (xcsp_picat) R 18165 18168 16394 0 -1 4202496 706387 0 0 0 135648 254 0 0 20 0 1 0 527692886 2766499840 297320 33554432000 4194304 5870510 140721875161280 140721875160232 5262800 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 37212160 140721875166239 140721875166317 140721875166317 140721875169226 0
/proc/18168/statm: 675415 297320 1001 410 0 670888 0
Current children cumulated CPU time: 1359.02 s
Current children cumulated vsize: 2701660 KiB
Current children cumulated memory: 1189280 KiB
Child status: 0
Real time (s): 1359.14
CPU time (s): 1359.07
CPU user time (s): 1356.51
CPU system time (s): 2.55594
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 2816676
Max. memory (cumulated for all children) (KiB): 1296356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1356.51
system time used= 2.55594
maximum resident set size= 1296356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706429
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= 52
involuntary context switches= 1668
# summary of solver processes directly reported to runsolver:
# pid: 18168
# total CPU time (s): 1359.07
# total CPU user time (s): 1356.51
# total CPU system time (s): 2.55594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.27377 second user time and 9.86882 second system time
The end