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 (5787 MiB free)
memory of node 1: 16384 MiB (3655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302999-1534011464/watcher-4302999-1534011464 -o /tmp/evaluation-result-4302999-1534011464/solver-4302999-1534011464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4302999-1534011464.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=8092, runsolver pid=8089
[startup+0.100636 s]*
/proc/loadavg: 1.95 1.99 2.03 3/187 8093
/proc/meminfo: memFree=9655232/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2025744 memory=17480 CPUtime=0.09 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 1461 0 0 0 9 0 0 0 20 0 1 0 218709576 2074361856 4370 33554432000 4194304 5849708 140726037636880 140726037636184 140152683027456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 506436 4370 592 405 0 503381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 17480 KiB
[startup+0.209594 s]*
/proc/loadavg: 1.95 1.99 2.03 3/187 8093
/proc/meminfo: memFree=9649104/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2025744 memory=23624 CPUtime=0.2 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 1464 0 0 0 20 0 0 0 20 0 1 0 218709576 2074361856 5906 33554432000 4194304 5849708 140726037636880 140726037636184 140152683027456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 506436 5906 592 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23624 KiB
[startup+0.309453 s]*
/proc/loadavg: 1.95 1.99 2.03 3/187 8093
/proc/meminfo: memFree=9642960/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2025744 memory=29768 CPUtime=0.3 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 1467 0 0 0 30 0 0 0 20 0 1 0 218709576 2074361856 7442 33554432000 4194304 5849708 140726037636880 140726037636184 140152683027456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 506436 7442 592 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29768 KiB
[startup+0.700319 s]
/proc/loadavg: 1.95 1.99 2.03 3/187 8093
/proc/meminfo: memFree=9611620/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2025744 memory=95208 CPUtime=0.69 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 1992 0 0 0 68 1 0 0 20 0 1 0 218709576 2074361856 23802 33554432000 4194304 5849708 140726037636880 140726037636184 4845081 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 506436 23802 609 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 95208 KiB
[startup+1.50034 s]
/proc/loadavg: 1.95 1.99 2.03 4/187 8093
/proc/meminfo: memFree=9524156/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2025744 memory=240744 CPUtime=1.49 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 2078 0 0 0 146 3 0 0 20 0 1 0 218709576 2074361856 60186 33554432000 4194304 5849708 140726037636880 140726037636184 4563494 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 506436 60186 609 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 240744 KiB
[startup+3.11002 s]
/proc/loadavg: 1.96 1.99 2.03 4/187 8093
/proc/meminfo: memFree=9165012/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2025744 memory=529512 CPUtime=3.09 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 2297 0 0 0 302 7 0 0 20 0 1 0 218709576 2074361856 132378 33554432000 4194304 5849708 140726037636880 140726037636184 4488923 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 506436 132378 609 405 0 503381 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 529512 KiB
[startup+6.30032 s]
/proc/loadavg: 1.96 1.99 2.03 4/187 8093
/proc/meminfo: memFree=8627496/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2056996 memory=1091312 CPUtime=6.28 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 3630 0 0 0 612 16 0 0 20 0 1 0 218709576 2106363904 272828 33554432000 4194304 5849708 140726037636880 140726037636168 4488823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 514249 272828 618 405 0 511194 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 1091312 KiB
[startup+12.7003 s]
/proc/loadavg: 1.96 1.99 2.03 4/187 8093
/proc/meminfo: memFree=7774724/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=2119496 memory=1929928 CPUtime=12.69 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 5015 0 0 0 1240 29 0 0 20 0 1 0 218709576 2170363904 482482 33554432000 4194304 5849708 140726037636880 140726037635976 4845341 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 529874 482482 618 405 0 526819 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2119496 KiB
Current children cumulated memory: 1929928 KiB
[startup+25.5004 s]
/proc/loadavg: 1.97 1.99 2.03 4/187 8093
/proc/meminfo: memFree=6182688/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=4331408 memory=3570576 CPUtime=25.49 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 8105 0 0 0 2468 81 0 0 20 0 1 0 218709576 4435361792 892644 33554432000 4194304 5849708 140726037636880 140726037636168 4485140 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 1082852 892644 623 405 0 1079797 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4331408 KiB
Current children cumulated memory: 3570576 KiB
[startup+51.1098 s]
/proc/loadavg: 1.98 1.99 2.03 4/187 8093
/proc/meminfo: memFree=3436908/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=8289640 memory=6220928 CPUtime=51.1 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 11611 0 0 0 4987 123 0 0 20 0 1 0 218709576 8488591360 1555232 33554432000 4194304 5849708 140726037636880 140726037636184 4505511 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 2072410 1555232 623 405 0 2069355 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 8289640 KiB
Current children cumulated memory: 6220928 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 4/187 8094
/proc/meminfo: memFree=2416424/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=12464960 memory=10698608 CPUtime=102.29 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 824581 0 0 0 9733 496 0 0 20 0 1 0 218709576 12764119040 2674652 33554432000 4194304 5849708 140726037636880 140726037635880 5269201 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3116240 2674652 624 405 0 3113185 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 12464960 KiB
Current children cumulated memory: 10698608 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.98 2.03 3/188 8103
/proc/meminfo: memFree=343016/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=12564572 memory=12033300 CPUtime=162.29 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 1385346 0 0 0 15079 1150 0 0 20 0 1 0 218709576 12866121728 3008325 33554432000 4194304 5849708 140726037636880 140726037635880 5269593 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3141143 3008325 624 405 0 3138088 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 12564572 KiB
Current children cumulated memory: 12033300 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 1.99 2.03 4/188 8104
/proc/meminfo: memFree=278068/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=12680784 memory=12149388 CPUtime=222.29 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 2029438 0 0 0 20495 1734 0 0 20 0 1 0 218709576 12985122816 3037347 33554432000 4194304 5849708 140726037636880 140726037635880 5260870 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3170196 3037347 624 405 0 3167141 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 12680784 KiB
Current children cumulated memory: 12149388 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/188 8105
/proc/meminfo: memFree=221956/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=12796996 memory=12265616 CPUtime=282.29 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 2798407 0 0 0 25887 2342 0 0 20 0 1 0 218709576 13104123904 3066404 33554432000 4194304 5849708 140726037636880 140726037635880 5260529 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3199249 3066404 624 405 0 3196194 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 12796996 KiB
Current children cumulated memory: 12265616 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 4/188 8106
/proc/meminfo: memFree=756836/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=12913208 memory=12092240 CPUtime=342.3 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 3488360 0 0 0 31271 2959 0 0 20 0 1 0 218709576 13223124992 3022994 33554432000 4194304 5849708 140726037636880 140726037635880 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3228302 3022994 624 405 0 3225247 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 12913208 KiB
Current children cumulated memory: 12092240 KiB
[startup+402.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/188 8169
/proc/meminfo: memFree=2511248/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=13012808 memory=12481636 CPUtime=402.29 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 4313072 0 0 0 36696 3533 0 0 20 0 1 0 218709576 13325115392 3120409 33554432000 4194304 5849708 140726037636880 140726037635880 5260792 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3253202 3120409 624 405 0 3250147 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 13012808 KiB
Current children cumulated memory: 12481636 KiB
[startup+462.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/187 8171
/proc/meminfo: memFree=6342352/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=13129020 memory=9025264 CPUtime=462.28 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 4651924 0 0 0 41971 4257 0 0 20 0 1 0 218709576 13444116480 2256316 33554432000 4194304 5849708 140726037636880 140726037636168 5269201 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3282255 2256316 624 405 0 3279200 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 13129020 KiB
Current children cumulated memory: 9025264 KiB
################
# More data... #
################
/proc/8092/statm: 3519810 3384198 624 405 0 3516755 0
Current children cumulated CPU time: 822.27 s
Current children cumulated vsize: 14079240 KiB
Current children cumulated memory: 13536792 KiB
[startup+882.3 s]
/proc/loadavg: 1.98 1.97 2.01 3/188 8187
/proc/meminfo: memFree=451396/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=14178844 memory=13636164 CPUtime=882.27 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 8625053 0 0 0 79365 8862 0 0 20 0 1 0 218709576 14519136256 3409041 33554432000 4194304 5849708 140726037636880 140726037635880 5260297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3544711 3409041 624 405 0 3541656 0
Current children cumulated CPU time: 882.27 s
Current children cumulated vsize: 14178844 KiB
Current children cumulated memory: 13636164 KiB
[startup+942.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/188 8188
/proc/meminfo: memFree=397632/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=14278456 memory=13735552 CPUtime=942.27 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 9541238 0 0 0 84479 9748 0 0 20 0 1 0 218709576 14621138944 3433888 33554432000 4194304 5849708 140726037636880 140726037635880 5257258 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3569614 3433888 624 405 0 3566559 0
Current children cumulated CPU time: 942.27 s
Current children cumulated vsize: 14278456 KiB
Current children cumulated memory: 13735552 KiB
[startup+1002.3 s]
/proc/loadavg: 1.95 1.97 2.01 3/188 8189
/proc/meminfo: memFree=208764/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=14699680 memory=14158688 CPUtime=1002.23 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 10252547 0 0 0 89763 10460 0 0 20 0 1 0 218709576 15052472320 3539672 33554432000 4194304 5849708 140726037636880 140726037635880 5260297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3674920 3539672 624 405 0 3671865 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 14699680 KiB
Current children cumulated memory: 14158688 KiB
[startup+1062.3 s]
/proc/loadavg: 1.87 1.94 2.00 3/187 8190
/proc/meminfo: memFree=279180/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=14782680 memory=14238824 CPUtime=1062.06 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 10984712 0 0 0 94697 11509 0 0 20 0 1 0 218709576 15137464320 3559706 33554432000 4194304 5849708 140726037636880 140726037635880 5269563 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3695670 3559706 624 405 0 3692615 0
Current children cumulated CPU time: 1062.06 s
Current children cumulated vsize: 14782680 KiB
Current children cumulated memory: 14238824 KiB
[startup+1122.3 s]
/proc/loadavg: 1.95 1.95 2.00 3/187 8191
/proc/meminfo: memFree=262600/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=14882292 memory=14338204 CPUtime=1122.06 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 12005678 0 0 0 99657 12549 0 0 20 0 1 0 218709576 15239467008 3584551 33554432000 4194304 5849708 140726037636880 140726037635880 5261056 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3720573 3584551 624 405 0 3717518 0
Current children cumulated CPU time: 1122.06 s
Current children cumulated vsize: 14882292 KiB
Current children cumulated memory: 14338204 KiB
[startup+1182.3 s]
/proc/loadavg: 1.99 1.96 2.00 3/187 8192
/proc/meminfo: memFree=218248/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=14965304 memory=14422440 CPUtime=1182.04 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 13105078 0 0 0 104775 13429 0 0 20 0 1 0 218709576 15324471296 3605610 33554432000 4194304 5849708 140726037636880 140726037635880 5260297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3741326 3605610 624 405 0 3738271 0
Current children cumulated CPU time: 1182.04 s
Current children cumulated vsize: 14965304 KiB
Current children cumulated memory: 14422440 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/187 8193
/proc/meminfo: memFree=206976/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15048304 memory=14506212 CPUtime=1242.05 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 13979799 0 0 0 109967 14238 0 0 20 0 1 0 218709576 15409463296 3626553 33554432000 4194304 5849708 140726037636880 140726037635880 5269563 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3762076 3626553 624 405 0 3759021 0
Current children cumulated CPU time: 1242.05 s
Current children cumulated vsize: 15048304 KiB
Current children cumulated memory: 14506212 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/187 8194
/proc/meminfo: memFree=251928/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15147916 memory=14605364 CPUtime=1301.98 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 15265595 0 0 0 114922 15276 0 0 20 0 1 0 218709576 15511465984 3651341 33554432000 4194304 5849708 140726037636880 140726037635880 5260297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3786979 3651341 624 405 0 3783924 0
Current children cumulated CPU time: 1301.98 s
Current children cumulated vsize: 15147916 KiB
Current children cumulated memory: 14605364 KiB
[startup+1362.3 s]
/proc/loadavg: 1.97 1.96 1.99 3/188 8203
/proc/meminfo: memFree=191872/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15230928 memory=14687040 CPUtime=1361.98 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 16335801 0 0 0 120016 16182 0 0 20 0 1 0 218709576 15596470272 3671760 33554432000 4194304 5849708 140726037636880 140726037635880 5260792 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3807732 3671760 624 405 0 3804677 0
Current children cumulated CPU time: 1361.98 s
Current children cumulated vsize: 15230928 KiB
Current children cumulated memory: 14687040 KiB
[startup+1422.3 s]
/proc/loadavg: 1.92 1.95 1.99 3/188 8204
/proc/meminfo: memFree=237948/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15313932 memory=14770988 CPUtime=1421.92 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 17392466 0 0 0 124775 17417 0 0 20 0 1 0 218709576 15681466368 3692747 33554432000 4194304 5849708 140726037636880 140726037635880 5260865 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3828483 3692747 624 405 0 3825428 0
Current children cumulated CPU time: 1421.92 s
Current children cumulated vsize: 15313932 KiB
Current children cumulated memory: 14770988 KiB
[startup+1482.3 s]
/proc/loadavg: 1.97 1.96 1.99 3/188 8205
/proc/meminfo: memFree=218164/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15396940 memory=14853252 CPUtime=1481.9 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 18431181 0 0 0 129898 18292 0 0 20 0 1 0 218709576 15766466560 3713313 33554432000 4194304 5849708 140726037636880 140726037635880 5260297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3849235 3713313 624 405 0 3846180 0
Current children cumulated CPU time: 1481.9 s
Current children cumulated vsize: 15396940 KiB
Current children cumulated memory: 14853252 KiB
[startup+1542.3 s]
/proc/loadavg: 1.91 1.95 1.98 3/188 8206
/proc/meminfo: memFree=205224/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15822720 memory=15278348 CPUtime=1541.84 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 19372777 0 0 0 135030 19154 0 0 20 0 1 0 218709576 16202465280 3819587 33554432000 4194304 5849708 140726037636880 140726037635880 5260297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3955680 3819587 624 405 0 3952625 0
Current children cumulated CPU time: 1541.84 s
Current children cumulated vsize: 15822720 KiB
Current children cumulated memory: 15278348 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1574.7 s]
/proc/loadavg: 1.95 1.96 1.98 3/188 8207
/proc/meminfo: memFree=252112/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15872528 memory=10574064 CPUtime=1574.25 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 19843544 0 0 0 137765 19660 0 0 20 0 1 0 218709576 16253468672 2643516 33554432000 4194304 5849708 140726037636880 140726037635880 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3968132 2643516 624 405 0 3965077 0
Current children cumulated CPU time: 1574.25 s
Current children cumulated vsize: 15872528 KiB
Current children cumulated memory: 10574064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1574.79 s]
# the end of solver process 8092 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1377.65 s, system=196.691 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1574.7 s]
/proc/loadavg: 1.95 1.96 1.98 3/188 8207
/proc/meminfo: memFree=252112/32770624 swapFree=67108860/67108860
[pid=8092] ppid=8089 vsize=15872528 memory=10574064 CPUtime=1574.25 cores=0,2,4,6
/proc/8092/stat : 8092 (xcsp_picat) R 8089 8092 5709 0 -1 4202496 19843544 0 0 0 137765 19660 0 0 20 0 1 0 218709576 16253468672 2643516 33554432000 4194304 5849708 140726037636880 140726037635880 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 47108096 140726037640374 140726037640452 140726037640452 140726037643210 0
/proc/8092/statm: 3968132 2643516 624 405 0 3965077 0
Current children cumulated CPU time: 1574.25 s
Current children cumulated vsize: 15872528 KiB
Current children cumulated memory: 10574064 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1574.79
CPU time (s): 1574.34
CPU user time (s): 1377.65
CPU system time (s): 196.691
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 15872528
Max. memory (cumulated for all children) (KiB): 15310308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1377.65
system time used= 196.691
maximum resident set size= 15310308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19843545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2408
# summary of solver processes directly reported to runsolver:
# pid: 8092
# total CPU time (s): 1574.34
# total CPU user time (s): 1377.65
# total CPU system time (s): 196.691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.0892 second user time and 10.2272 second system time
The end