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 (14604 MiB free)
memory of node 1: 16384 MiB (13829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303348-1534015429/watcher-4303348-1534015429 -o /tmp/evaluation-result-4303348-1534015429/solver-4303348-1534015429 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580 xcsp_picat HOME/instance-4303348-1534015429.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
solver pid=13638, runsolver pid=13635
Current StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=29086672/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2025744 memory=26916 CPUtime=0.1 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 1254 0 0 0 10 0 0 0 20 0 1 0 219106038 2074361856 6729 33554432000 4194304 5849708 140720550774352 140720550774352 4795074 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 506436 6729 607 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26916 KiB
[startup+0.209755 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=29072336/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2025744 memory=39204 CPUtime=0.21 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 1260 0 0 0 21 0 0 0 20 0 1 0 219106038 2074361856 9801 33554432000 4194304 5849708 140720550774352 140720550774352 4485275 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 506436 9801 607 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 39204 KiB
[startup+0.309684 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=29060048/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2025744 memory=53540 CPUtime=0.31 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 1267 0 0 0 30 1 0 0 20 0 1 0 219106038 2074361856 13385 33554432000 4194304 5849708 140720550774352 140720550774352 4552998 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 506436 13385 607 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 53540 KiB
[startup+0.700374 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=29035472/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2025744 memory=100644 CPUtime=0.69 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 1290 0 0 0 68 1 0 0 20 0 1 0 219106038 2074361856 25161 33554432000 4194304 5849708 140720550774352 140720550774352 4486579 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 506436 25161 607 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 100644 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28975276/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2037908 memory=148024 CPUtime=1.49 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 2997 0 0 0 145 4 0 0 20 0 1 0 219106038 2086817792 37006 33554432000 4194304 5849708 140720550774352 140720550773368 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 509477 37006 689 405 0 506422 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037908 KiB
Current children cumulated memory: 148024 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28958452/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2041156 memory=151404 CPUtime=3.1 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 6246 0 0 0 299 11 0 0 20 0 1 0 219106038 2090143744 37851 33554432000 4194304 5849708 140720550774352 140720550773368 5310737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 510289 37851 705 405 0 507234 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041156 KiB
Current children cumulated memory: 151404 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28968028/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2042632 memory=152888 CPUtime=6.29 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 8970 0 0 0 616 13 0 0 20 0 1 0 219106038 2091655168 38222 33554432000 4194304 5849708 140720550774352 140720550771352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 510658 38222 721 405 0 507603 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2042632 KiB
Current children cumulated memory: 152888 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28960180/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2049116 memory=159188 CPUtime=12.69 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 12980 0 0 0 1249 20 0 0 20 0 1 0 219106038 2098294784 39797 33554432000 4194304 5849708 140720550774352 140720550773352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 512279 39797 721 405 0 509224 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2049116 KiB
Current children cumulated memory: 159188 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28945152/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2050700 memory=160956 CPUtime=25.49 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 19464 0 0 0 2517 32 0 0 20 0 1 0 219106038 2099916800 40239 33554432000 4194304 5849708 140720550774352 140720550773352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 512675 40239 721 405 0 509620 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2050700 KiB
Current children cumulated memory: 160956 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28939804/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2056500 memory=166616 CPUtime=51.1 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 28738 0 0 0 5060 50 0 0 20 0 1 0 219106038 2105856000 41654 33554432000 4194304 5849708 140720550774352 140720550773512 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 514125 41654 721 405 0 511070 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2056500 KiB
Current children cumulated memory: 166616 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13641
/proc/meminfo: memFree=28935844/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2055880 memory=165968 CPUtime=102.29 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 45899 0 0 0 10139 90 0 0 20 0 1 0 219106038 2105221120 41492 33554432000 4194304 5849708 140720550774352 140720550773352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 513970 41492 721 405 0 510915 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2055880 KiB
Current children cumulated memory: 165968 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13642
/proc/meminfo: memFree=28924232/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2062440 memory=172580 CPUtime=162.29 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 68148 0 0 0 16105 124 0 0 20 0 1 0 219106038 2111938560 43145 33554432000 4194304 5849708 140720550774352 140720550773352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 515610 43145 721 405 0 512555 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2062440 KiB
Current children cumulated memory: 172580 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13643
/proc/meminfo: memFree=28928684/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2061016 memory=171224 CPUtime=222.3 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 96420 0 0 0 22072 158 0 0 20 0 1 0 219106038 2110480384 42806 33554432000 4194304 5849708 140720550774352 140720550773352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 515254 42806 721 405 0 512199 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2061016 KiB
Current children cumulated memory: 171224 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13645
/proc/meminfo: memFree=28923192/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2066468 memory=176704 CPUtime=282.3 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 117245 0 0 0 28042 188 0 0 20 0 1 0 219106038 2116063232 44176 33554432000 4194304 5849708 140720550774352 140720550773512 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 516617 44176 721 405 0 513562 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2066468 KiB
Current children cumulated memory: 176704 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 13646
/proc/meminfo: memFree=28928320/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2062692 memory=172836 CPUtime=342.3 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 138834 0 0 0 34015 215 0 0 20 0 1 0 219106038 2112196608 43209 33554432000 4194304 5849708 140720550774352 140720550773512 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 515673 43209 721 405 0 512618 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2062692 KiB
Current children cumulated memory: 172836 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 13655
/proc/meminfo: memFree=28910152/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2078284 memory=188512 CPUtime=402.31 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 151265 0 0 0 39990 241 0 0 20 0 1 0 219106038 2128162816 47128 33554432000 4194304 5849708 140720550774352 140720550773352 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 519571 47128 721 405 0 516516 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2078284 KiB
Current children cumulated memory: 188512 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 13656
/proc/meminfo: memFree=28845204/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2098124 memory=208464 CPUtime=462.3 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 168084 0 0 0 45972 258 0 0 20 0 1 0 219106038 2148478976 52116 33554432000 4194304 5849708 140720550774352 140720550773352 5335584 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 524531 52116 721 405 0 521476 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2098124 KiB
Current children cumulated memory: 208464 KiB
################
# More data... #
################
/proc/13638/statm: 549019 78011 721 405 0 545964 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 2196076 KiB
Current children cumulated memory: 312044 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 13696
/proc/meminfo: memFree=28534892/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2196076 memory=312044 CPUtime=1782.33 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 526653 0 0 0 177760 473 0 0 20 0 1 0 219106038 2248781824 78011 33554432000 4194304 5849708 140720550774352 140720550773352 5340380 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 549019 78011 721 405 0 545964 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2196076 KiB
Current children cumulated memory: 312044 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 13697
/proc/meminfo: memFree=28524024/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2206648 memory=322616 CPUtime=1842.33 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 544155 0 0 0 183752 481 0 0 20 0 1 0 219106038 2259607552 80654 33554432000 4194304 5849708 140720550774352 140720550773512 5437844 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 551662 80654 721 405 0 548607 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2206648 KiB
Current children cumulated memory: 322616 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13699
/proc/meminfo: memFree=28533904/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2209800 memory=325768 CPUtime=1902.33 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 562211 0 0 0 189744 489 0 0 20 0 1 0 219106038 2262835200 81442 33554432000 4194304 5849708 140720550774352 140720550773352 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 552450 81442 721 405 0 549395 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2209800 KiB
Current children cumulated memory: 325768 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13700
/proc/meminfo: memFree=28515408/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2227740 memory=343708 CPUtime=1962.34 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 580359 0 0 0 195738 496 0 0 20 0 1 0 219106038 2281205760 85927 33554432000 4194304 5849708 140720550774352 140720550773512 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 556935 85927 721 405 0 553880 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 2227740 KiB
Current children cumulated memory: 343708 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13701
/proc/meminfo: memFree=28384336/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2293276 memory=409244 CPUtime=2022.34 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 603630 0 0 0 201729 505 0 0 20 0 1 0 219106038 2348314624 102311 33554432000 4194304 5849708 140720550774352 140720550773512 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 573319 102311 721 405 0 570264 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 2293276 KiB
Current children cumulated memory: 409244 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13703
/proc/meminfo: memFree=28384072/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2293276 memory=409244 CPUtime=2082.35 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 625957 0 0 0 207723 512 0 0 20 0 1 0 219106038 2348314624 102311 33554432000 4194304 5849708 140720550774352 140720550773352 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 573319 102311 721 405 0 570264 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 2293276 KiB
Current children cumulated memory: 409244 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13704
/proc/meminfo: memFree=28546700/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2305724 memory=421692 CPUtime=2142.35 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 648625 0 0 0 213715 520 0 0 20 0 1 0 219106038 2361061376 105423 33554432000 4194304 5849708 140720550774352 140720550773352 5355871 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 576431 105423 721 405 0 573376 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 2305724 KiB
Current children cumulated memory: 421692 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13713
/proc/meminfo: memFree=28555388/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2296076 memory=412044 CPUtime=2202.34 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 685929 0 0 0 219707 527 0 0 20 0 1 0 219106038 2351181824 103011 33554432000 4194304 5849708 140720550774352 140720550773512 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 574019 103011 721 405 0 570964 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 2296076 KiB
Current children cumulated memory: 412044 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 13737
/proc/meminfo: memFree=28554296/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2296076 memory=412044 CPUtime=2262.35 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 717546 0 0 0 225701 534 0 0 20 0 1 0 219106038 2351181824 103011 33554432000 4194304 5849708 140720550774352 140720550773352 139831725940615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 574019 103011 721 405 0 570964 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 2296076 KiB
Current children cumulated memory: 412044 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/189 13738
/proc/meminfo: memFree=28482588/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2361612 memory=477580 CPUtime=2322.35 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 747159 0 0 0 231690 545 0 0 20 0 1 0 219106038 2418290688 119395 33554432000 4194304 5849708 140720550774352 140720550773512 5335528 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 590403 119395 721 405 0 587348 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 2361612 KiB
Current children cumulated memory: 477580 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 13739
/proc/meminfo: memFree=28469488/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2361612 memory=477580 CPUtime=2382.35 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 775093 0 0 0 237683 552 0 0 20 0 1 0 219106038 2418290688 119395 33554432000 4194304 5849708 140720550774352 140720550773352 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 590403 119395 721 405 0 587348 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 2361612 KiB
Current children cumulated memory: 477580 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 13801
/proc/meminfo: memFree=24383284/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2361612 memory=477580 CPUtime=2442.35 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 802714 0 0 0 243676 559 0 0 20 0 1 0 219106038 2418290688 119395 33554432000 4194304 5849708 140720550774352 140720550773352 5438261 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 590403 119395 721 405 0 587348 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 2361612 KiB
Current children cumulated memory: 477580 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13802
/proc/meminfo: memFree=23303856/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2390228 memory=506196 CPUtime=2502.36 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 840915 0 0 0 249666 570 0 0 20 0 1 0 219106038 2447593472 126549 33554432000 4194304 5849708 140720550774352 140720550773352 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 597557 126549 721 405 0 594502 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 2390228 KiB
Current children cumulated memory: 506196 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 13802
/proc/meminfo: memFree=23303856/32770624 swapFree=67030636/67108860
[pid=13638] ppid=13635 vsize=2390228 memory=506196 CPUtime=2520.06 cores=1,3,5,7
/proc/13638/stat : 13638 (xcsp_picat) R 13635 13638 10838 0 -1 4202496 861429 0 0 0 251434 572 0 0 20 0 1 0 219106038 2447593472 126549 33554432000 4194304 5849708 140720550774352 140720550773352 5438313 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 21520384 140720550778038 140720550778116 140720550778116 140720550780874 0
/proc/13638/statm: 597557 126549 721 405 0 594502 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2390228 KiB
Current children cumulated memory: 506196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 13638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.35 s, system=5.73821 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): 2520.09
CPU user time (s): 2514.35
CPU system time (s): 5.73821
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2390228
Max. memory (cumulated for all children) (KiB): 506196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.35
system time used= 5.73821
maximum resident set size= 506196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 861430
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= 40
involuntary context switches= 683
# summary of solver processes directly reported to runsolver:
# pid: 13638
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.35
# total CPU system time (s): 5.73821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41467 second user time and 20.5038 second system time
The end