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 (15306 MiB free)
memory of node 1: 16384 MiB (13096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395133-1568326909/watcher-4395133-1568326909 -o /tmp/evaluation-result-4395133-1568326909/solver-4395133-1568326909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4395133-1568326909.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
solver pid=28279, runsolver pid=28276
Current StackSize limit: 8192 KiB
[startup+0.100716 s]*
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=29048640/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2031716 memory=40616 CPUtime=0.1 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 1665 0 0 0 10 0 0 0 20 0 1 0 408947003 2080477184 10154 33554432000 4194304 5870510 140733372342832 140733372342136 4462683 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 507929 10154 852 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 40616 KiB
[startup+0.209681 s]*
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=29020112/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2031716 memory=69468 CPUtime=0.2 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 1679 0 0 0 20 0 0 0 20 0 1 0 408947003 2080477184 17367 33554432000 4194304 5870510 140733372342832 140733372342136 4632650 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 507929 17367 855 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 69468 KiB
[startup+0.309589 s]*
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=28993488/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2031716 memory=96092 CPUtime=0.31 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 1692 0 0 0 30 1 0 0 20 0 1 0 408947003 2080477184 24023 33554432000 4194304 5870510 140733372342832 140733372342136 4462896 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 507929 24023 855 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 96092 KiB
[startup+0.700315 s]
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=28942164/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2031716 memory=165792 CPUtime=0.69 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 1752 0 0 0 67 2 0 0 20 0 1 0 408947003 2080477184 41448 33554432000 4194304 5870510 140733372342832 140733372342200 4462249 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 507929 41448 857 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 165792 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=28877720/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2031716 memory=281324 CPUtime=1.48 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 2010 0 0 0 145 3 0 0 20 0 1 0 408947003 2080477184 70331 33554432000 4194304 5870510 140733372342832 140733372342200 4479492 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 507929 70331 866 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 281324 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=28520796/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2407872 memory=604724 CPUtime=3.09 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 4609 0 0 0 300 9 0 0 20 0 1 0 408947003 2465660928 151181 33554432000 4194304 5870510 140733372342832 140733372342200 5245088 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 601968 151181 887 410 0 597441 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2407872 KiB
Current children cumulated memory: 604724 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.08 3/198 28280
/proc/meminfo: memFree=28075976/32770624 swapFree=66920896/67108860
[pid=28279] ppid=28276 vsize=2557776 memory=1016752 CPUtime=6.29 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 8715 0 0 0 595 34 0 0 20 0 1 0 408947003 2619162624 254188 33554432000 4194304 5870510 140733372342832 140733372341736 139760837582727 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 639444 254188 933 410 0 634917 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2557776 KiB
Current children cumulated memory: 1016752 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.04 2.08 3/199 28290
/proc/meminfo: memFree=28060736/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2566016 memory=1025116 CPUtime=12.68 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 12401 0 0 0 1221 47 0 0 20 0 1 0 408947003 2627600384 256279 33554432000 4194304 5870510 140733372342832 140733372341928 5476950 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 641504 256279 954 410 0 636977 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2566016 KiB
Current children cumulated memory: 1025116 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.05 2.08 3/199 28290
/proc/meminfo: memFree=28053392/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2574368 memory=1033552 CPUtime=25.48 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 16542 0 0 0 2500 48 0 0 20 0 1 0 408947003 2636152832 258388 33554432000 4194304 5870510 140733372342832 140733372341928 5574992 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 643592 258388 954 410 0 639065 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2574368 KiB
Current children cumulated memory: 1033552 KiB
[startup+51.1092 s]
/proc/loadavg: 2.05 2.05 2.08 3/199 28290
/proc/meminfo: memFree=28044700/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2581344 memory=1040092 CPUtime=51.09 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 20668 0 0 0 5059 50 0 0 20 0 1 0 408947003 2643296256 260023 33554432000 4194304 5870510 140733372342832 140733372342072 139760837582727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 645336 260023 954 410 0 640809 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2581344 KiB
Current children cumulated memory: 1040092 KiB
[startup+102.3 s]
/proc/loadavg: 2.30 2.10 2.09 3/199 28296
/proc/meminfo: memFree=28027912/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2592836 memory=1050996 CPUtime=102.27 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 25402 0 0 0 10174 53 0 0 20 0 1 0 408947003 2655064064 262749 33554432000 4194304 5870510 140733372342832 140733372342072 5476932 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 648209 262749 954 410 0 643682 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2592836 KiB
Current children cumulated memory: 1050996 KiB
[startup+162.3 s]
/proc/loadavg: 2.39 2.19 2.12 3/200 28301
/proc/meminfo: memFree=28012748/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2604356 memory=1062216 CPUtime=162.25 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 32087 0 0 0 16169 56 0 0 20 0 1 0 408947003 2666860544 265554 33554432000 4194304 5870510 140733372342832 140733372341928 5562032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 651089 265554 954 410 0 646562 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2604356 KiB
Current children cumulated memory: 1062216 KiB
[startup+222.3 s]
/proc/loadavg: 2.14 2.15 2.12 3/200 28305
/proc/meminfo: memFree=27991652/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2623032 memory=1078336 CPUtime=222.24 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 36187 0 0 0 22164 60 0 0 20 0 1 0 408947003 2685984768 269584 33554432000 4194304 5870510 140733372342832 140733372341928 139760837582727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 655758 269584 954 410 0 651231 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2623032 KiB
Current children cumulated memory: 1078336 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.12 2.11 3/200 28311
/proc/meminfo: memFree=27981812/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2628796 memory=1085800 CPUtime=282.23 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 40855 0 0 0 28160 63 0 0 20 0 1 0 408947003 2691887104 271450 33554432000 4194304 5870510 140733372342832 140733372341928 139760837582727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 657199 271450 954 410 0 652672 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2628796 KiB
Current children cumulated memory: 1085800 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.10 2.11 3/199 28316
/proc/meminfo: memFree=27960212/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2641756 memory=1099636 CPUtime=342.22 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 46879 0 0 0 34156 66 0 0 20 0 1 0 408947003 2705158144 274909 33554432000 4194304 5870510 140733372342832 140733372341352 5406835 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 660439 274909 954 410 0 655912 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2641756 KiB
Current children cumulated memory: 1099636 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.10 3/199 28320
/proc/meminfo: memFree=27951068/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2653432 memory=1104196 CPUtime=402.2 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 50413 0 0 0 40152 68 0 0 20 0 1 0 408947003 2717114368 276049 33554432000 4194304 5870510 140733372342832 140733372342008 5478381 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 663358 276049 954 410 0 658831 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 2653432 KiB
Current children cumulated memory: 1104196 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/198 28326
/proc/meminfo: memFree=27946464/32770624 swapFree=66920900/67108860
[pid=28279] ppid=28276 vsize=2655580 memory=1108780 CPUtime=462.2 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 52935 0 0 0 46148 72 0 0 20 0 1 0 408947003 2719313920 277195 33554432000 4194304 5870510 140733372342832 140733372341928 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 663895 277195 954 410 0 659368 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2655580 KiB
Current children cumulated memory: 1108780 KiB
################
# More data... #
################
/proc/28279/statm: 725931 338342 954 410 0 721404 0
Current children cumulated CPU time: 1721.93 s
Current children cumulated vsize: 2903724 KiB
Current children cumulated memory: 1353368 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/198 28446
/proc/meminfo: memFree=27642868/32770624 swapFree=66920936/67108860
[pid=28279] ppid=28276 vsize=2957728 memory=1360300 CPUtime=1781.91 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 171156 0 0 0 178047 144 0 0 20 0 1 0 408947003 3028713472 340075 33554432000 4194304 5870510 140733372342832 140733372341832 139760837582727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 739432 340075 954 410 0 734905 0
Current children cumulated CPU time: 1781.91 s
Current children cumulated vsize: 2957728 KiB
Current children cumulated memory: 1360300 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 28458
/proc/meminfo: memFree=27633952/32770624 swapFree=66920940/67108860
[pid=28279] ppid=28276 vsize=2961736 memory=1367984 CPUtime=1841.9 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 175941 0 0 0 184043 147 0 0 20 0 1 0 408947003 3032817664 341996 33554432000 4194304 5870510 140733372342832 140733372342008 5478381 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 740434 341996 954 410 0 735907 0
Current children cumulated CPU time: 1841.9 s
Current children cumulated vsize: 2961736 KiB
Current children cumulated memory: 1367984 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/199 28464
/proc/meminfo: memFree=27623308/32770624 swapFree=66920940/67108860
[pid=28279] ppid=28276 vsize=2965524 memory=1378844 CPUtime=1901.89 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 180182 0 0 0 190039 150 0 0 20 0 1 0 408947003 3036696576 344711 33554432000 4194304 5870510 140733372342832 140733372341928 5477013 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 741381 344711 954 410 0 736854 0
Current children cumulated CPU time: 1901.89 s
Current children cumulated vsize: 2965524 KiB
Current children cumulated memory: 1378844 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/199 28468
/proc/meminfo: memFree=27571696/32770624 swapFree=66920940/67108860
[pid=28279] ppid=28276 vsize=3027484 memory=1431048 CPUtime=1961.88 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 196512 0 0 0 196033 155 0 0 20 0 1 0 408947003 3100143616 357762 33554432000 4194304 5870510 140733372342832 140733372342008 5562064 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 756871 357762 954 410 0 752344 0
Current children cumulated CPU time: 1961.88 s
Current children cumulated vsize: 3027484 KiB
Current children cumulated memory: 1431048 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 28485
/proc/meminfo: memFree=27567008/32770624 swapFree=66920952/67108860
[pid=28279] ppid=28276 vsize=3027484 memory=1435292 CPUtime=2021.87 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 200671 0 0 0 202029 158 0 0 20 0 1 0 408947003 3100143616 358823 33554432000 4194304 5870510 140733372342832 140733372341928 5478381 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 756871 358823 954 410 0 752344 0
Current children cumulated CPU time: 2021.87 s
Current children cumulated vsize: 3027484 KiB
Current children cumulated memory: 1435292 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28491
/proc/meminfo: memFree=27548180/32770624 swapFree=66920952/67108860
[pid=28279] ppid=28276 vsize=3045940 memory=1456256 CPUtime=2081.85 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 205434 0 0 0 208024 161 0 0 20 0 1 0 408947003 3119042560 364064 33554432000 4194304 5870510 140733372342832 140733372341928 5562032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 761485 364064 954 410 0 756958 0
Current children cumulated CPU time: 2081.85 s
Current children cumulated vsize: 3045940 KiB
Current children cumulated memory: 1456256 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 28496
/proc/meminfo: memFree=27541256/32770624 swapFree=66920952/67108860
[pid=28279] ppid=28276 vsize=3045940 memory=1460984 CPUtime=2141.84 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 208857 0 0 0 214019 165 0 0 20 0 1 0 408947003 3119042560 365246 33554432000 4194304 5870510 140733372342832 140733372341832 5479786 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 761485 365246 954 410 0 756958 0
Current children cumulated CPU time: 2141.84 s
Current children cumulated vsize: 3045940 KiB
Current children cumulated memory: 1460984 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 28500
/proc/meminfo: memFree=27538212/32770624 swapFree=66920952/67108860
[pid=28279] ppid=28276 vsize=3045940 memory=1464100 CPUtime=2201.83 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 212311 0 0 0 220014 169 0 0 20 0 1 0 408947003 3119042560 366025 33554432000 4194304 5870510 140733372342832 140733372341928 5476984 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 761485 366025 954 410 0 756958 0
Current children cumulated CPU time: 2201.83 s
Current children cumulated vsize: 3045940 KiB
Current children cumulated memory: 1464100 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28627
/proc/meminfo: memFree=29793852/32770624 swapFree=66920952/67108860
[pid=28279] ppid=28276 vsize=3067812 memory=1469072 CPUtime=2261.82 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 216655 0 0 0 226010 172 0 0 20 0 1 0 408947003 3141439488 367268 33554432000 4194304 5870510 140733372342832 140733372342008 5478371 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 766953 367268 954 410 0 762426 0
Current children cumulated CPU time: 2261.82 s
Current children cumulated vsize: 3067812 KiB
Current children cumulated memory: 1469072 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28632
/proc/meminfo: memFree=29496220/32770624 swapFree=66920960/67108860
[pid=28279] ppid=28276 vsize=3067812 memory=1476088 CPUtime=2321.81 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 219170 0 0 0 232006 175 0 0 20 0 1 0 408947003 3141439488 369022 33554432000 4194304 5870510 140733372342832 140733372342072 139760837582727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 766953 369022 954 410 0 762426 0
Current children cumulated CPU time: 2321.81 s
Current children cumulated vsize: 3067812 KiB
Current children cumulated memory: 1476088 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28636
/proc/meminfo: memFree=29415148/32770624 swapFree=66920960/67108860
[pid=28279] ppid=28276 vsize=3077048 memory=1492564 CPUtime=2381.79 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 222462 0 0 0 238000 179 0 0 20 0 1 0 408947003 3150897152 373141 33554432000 4194304 5870510 140733372342832 140733372342072 5477179 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 769262 373141 954 410 0 764735 0
Current children cumulated CPU time: 2381.79 s
Current children cumulated vsize: 3077048 KiB
Current children cumulated memory: 1492564 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28650
/proc/meminfo: memFree=29333088/32770624 swapFree=66920968/67108860
[pid=28279] ppid=28276 vsize=3080904 memory=1500528 CPUtime=2441.79 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 224376 0 0 0 243997 182 0 0 20 0 1 0 408947003 3154845696 375132 33554432000 4194304 5870510 140733372342832 140733372341928 5478371 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 770226 375132 954 410 0 765699 0
Current children cumulated CPU time: 2441.79 s
Current children cumulated vsize: 3080904 KiB
Current children cumulated memory: 1500528 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28680
/proc/meminfo: memFree=29349004/32770624 swapFree=66920980/67108860
[pid=28279] ppid=28276 vsize=3084872 memory=1508536 CPUtime=2501.78 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 226223 0 0 0 249994 184 0 0 20 0 1 0 408947003 3158908928 377134 33554432000 4194304 5870510 140733372342832 140733372341928 5558421 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 771218 377134 954 410 0 766691 0
Current children cumulated CPU time: 2501.78 s
Current children cumulated vsize: 3084872 KiB
Current children cumulated memory: 1508536 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 28680
/proc/meminfo: memFree=29308728/32770624 swapFree=66920980/67108860
[pid=28279] ppid=28276 vsize=3086000 memory=1515724 CPUtime=2519.48 cores=0,2,4,6
/proc/28279/stat : 28279 (xcsp_picat) R 28276 28279 27155 0 -1 4202496 227117 0 0 0 251764 184 0 0 20 0 1 0 408947003 3160064000 378931 33554432000 4194304 5870510 140733372342832 140733372341928 5562032 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 27963392 140733372347423 140733372347501 140733372347501 140733372350410 0
/proc/28279/statm: 771500 378931 954 410 0 766973 0
Current children cumulated CPU time: 2519.48 s
Current children cumulated vsize: 3086000 KiB
Current children cumulated memory: 1515724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.65 s, system=1.86162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.51
CPU user time (s): 2517.65
CPU system time (s): 1.86162
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 3086000
Max. memory (cumulated for all children) (KiB): 1515724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.65
system time used= 1.86162
maximum resident set size= 1515876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227117
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= 6
involuntary context switches= 4510
# summary of solver processes directly reported to runsolver:
# pid: 28279
# total CPU time (s): 2519.51
# total CPU user time (s): 2517.65
# total CPU system time (s): 1.86162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.04911 second user time and 16.583 second system time
The end