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 (9676 MiB free)
memory of node 1: 16384 MiB (11680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395113-1568337374/watcher-4395113-1568337374 -o /tmp/evaluation-result-4395113-1568337374/solver-4395113-1568337374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24211 --watchdog 2580 xcsp_picat HOME/instance-4395113-1568337374.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=28748, runsolver pid=28745
Current StackSize limit: 8192 KiB
[startup+0.100403 s]*
/proc/loadavg: 2.02 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21827892/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2054364 memory=47720 CPUtime=0.1 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 5692 0 0 0 9 1 0 0 20 0 1 0 409675879 2103668736 11930 33554432000 4194304 5870510 140729407432704 140729407431592 5287596 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 513591 11930 899 410 0 509064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2054364 KiB
Current children cumulated memory: 47720 KiB
[startup+0.209738 s]*
/proc/loadavg: 2.02 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21806032/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2074048 memory=69740 CPUtime=0.21 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 10186 0 0 0 19 2 0 0 20 0 1 0 409675879 2123825152 17435 33554432000 4194304 5870510 140729407432704 140729407431592 5287642 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 518512 17435 899 410 0 513985 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2074048 KiB
Current children cumulated memory: 69740 KiB
[startup+0.309651 s]*
/proc/loadavg: 2.02 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21787304/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2094580 memory=88048 CPUtime=0.31 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 14137 0 0 0 28 3 0 0 20 0 1 0 409675879 2144849920 22012 33554432000 4194304 5870510 140729407432704 140729407431592 5287642 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 523645 22012 901 410 0 519118 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2094580 KiB
Current children cumulated memory: 88048 KiB
[startup+0.700383 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21771616/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2122728 memory=117548 CPUtime=0.69 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 20158 0 0 0 65 4 0 0 20 0 1 0 409675879 2173673472 29387 33554432000 4194304 5870510 140729407432704 140729407431592 140285576768485 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 530682 29387 954 410 0 526155 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2122728 KiB
Current children cumulated memory: 117548 KiB
[startup+1.50029 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21737688/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2155256 memory=136716 CPUtime=1.49 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 24065 0 0 0 144 5 0 0 20 0 1 0 409675879 2206982144 34179 33554432000 4194304 5870510 140729407432704 140729407431960 140285577228167 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 538814 34179 954 410 0 534287 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2155256 KiB
Current children cumulated memory: 136716 KiB
[startup+3.10948 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21736772/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2155848 memory=137524 CPUtime=3.1 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 42995 0 0 0 304 6 0 0 20 0 1 0 409675879 2207588352 34381 33554432000 4194304 5870510 140729407432704 140729407431704 5321694 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 538962 34381 961 410 0 534435 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2155848 KiB
Current children cumulated memory: 137524 KiB
[startup+6.30038 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21748508/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2148828 memory=124776 CPUtime=6.29 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 57744 0 0 0 622 7 0 0 20 0 1 0 409675879 2200399872 31194 33554432000 4194304 5870510 140729407432704 140729407431960 5281739 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 537207 31194 984 410 0 532680 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2148828 KiB
Current children cumulated memory: 124776 KiB
[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21742364/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2148828 memory=130944 CPUtime=12.69 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 71502 0 0 0 1261 8 0 0 20 0 1 0 409675879 2200399872 32736 33554432000 4194304 5870510 140729407432704 140729407431816 5282738 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 537207 32736 986 410 0 532680 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2148828 KiB
Current children cumulated memory: 130944 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28749
/proc/meminfo: memFree=21728896/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2148828 memory=145116 CPUtime=25.49 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 86676 0 0 0 2539 10 0 0 20 0 1 0 409675879 2200399872 36279 33554432000 4194304 5870510 140729407432704 140729407431720 5282555 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 537207 36279 986 410 0 532680 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2148828 KiB
Current children cumulated memory: 145116 KiB
[startup+51.1096 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 28752
/proc/meminfo: memFree=21715256/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2183344 memory=157812 CPUtime=51.1 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 119378 0 0 0 5093 17 0 0 20 0 1 0 409675879 2235744256 39453 33554432000 4194304 5870510 140729407432704 140729407431064 5282590 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 545836 39453 986 410 0 541309 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2183344 KiB
Current children cumulated memory: 157812 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/199 28755
/proc/meminfo: memFree=21716804/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2165148 memory=156032 CPUtime=102.28 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 145680 0 0 0 10199 29 0 0 20 0 1 0 409675879 2217111552 39008 33554432000 4194304 5870510 140729407432704 140729407431064 5281947 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 541287 39008 986 410 0 536760 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2165148 KiB
Current children cumulated memory: 156032 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 28759
/proc/meminfo: memFree=21709644/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2176912 memory=163648 CPUtime=162.29 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 172696 0 0 0 16189 40 0 0 20 0 1 0 409675879 2229157888 40912 33554432000 4194304 5870510 140729407432704 140729407431064 5282382 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 544228 40912 986 410 0 539701 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2176912 KiB
Current children cumulated memory: 163648 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 28765
/proc/meminfo: memFree=21700804/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2187060 memory=171572 CPUtime=222.28 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 222016 0 0 0 22173 55 0 0 20 0 1 0 409675879 2239549440 42893 33554432000 4194304 5870510 140729407432704 140729407431720 140285582466808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 546765 42893 986 410 0 542238 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2187060 KiB
Current children cumulated memory: 171572 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 28777
/proc/meminfo: memFree=21697064/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2187060 memory=175672 CPUtime=282.28 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 226964 0 0 0 28165 63 0 0 20 0 1 0 409675879 2239549440 43918 33554432000 4194304 5870510 140729407432704 140729407431720 5288915 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 546765 43918 986 410 0 542238 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2187060 KiB
Current children cumulated memory: 175672 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28781
/proc/meminfo: memFree=21677840/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2217880 memory=194476 CPUtime=342.29 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 258634 0 0 0 34151 78 0 0 20 0 1 0 409675879 2271109120 48619 33554432000 4194304 5870510 140729407432704 140729407431720 5262692 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 554470 48619 986 410 0 549943 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2217880 KiB
Current children cumulated memory: 194476 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28787
/proc/meminfo: memFree=21635792/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2269996 memory=238640 CPUtime=402.28 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 266076 0 0 0 40142 86 0 0 20 0 1 0 409675879 2324475904 59660 33554432000 4194304 5870510 140729407432704 140729407431656 5258777 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 567499 59660 986 410 0 562972 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2269996 KiB
Current children cumulated memory: 238640 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28791
/proc/meminfo: memFree=21663932/32770624 swapFree=66999204/67108860
[pid=28748] ppid=28745 vsize=2219908 memory=206572 CPUtime=462.28 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 296786 0 0 0 46121 107 0 0 20 0 1 0 409675879 2273185792 51643 33554432000 4194304 5870510 140729407432704 140729407431720 5281712 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 554977 51643 986 410 0 550450 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2219908 KiB
Current children cumulated memory: 206572 KiB
################
# More data... #
################
/proc/28748/statm: 555169 54873 986 410 0 550642 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2220676 KiB
Current children cumulated memory: 219492 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 29094
/proc/meminfo: memFree=21195556/32770624 swapFree=66999212/67108860
[pid=28748] ppid=28745 vsize=2257476 memory=242028 CPUtime=1782.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 610713 0 0 0 177849 376 0 0 20 0 1 0 409675879 2311655424 60507 33554432000 4194304 5870510 140729407432704 140729407431064 5308383 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 564369 60507 986 410 0 559842 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 2257476 KiB
Current children cumulated memory: 242028 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 29100
/proc/meminfo: memFree=21250296/32770624 swapFree=66999212/67108860
[pid=28748] ppid=28745 vsize=2258952 memory=239520 CPUtime=1842.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 635958 0 0 0 183836 389 0 0 20 0 1 0 409675879 2313166848 59880 33554432000 4194304 5870510 140729407432704 140729407431656 140285582465116 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 564738 59880 986 410 0 560211 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2258952 KiB
Current children cumulated memory: 239520 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 29104
/proc/meminfo: memFree=21260068/32770624 swapFree=66999212/67108860
[pid=28748] ppid=28745 vsize=2228132 memory=227204 CPUtime=1902.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 642942 0 0 0 189821 404 0 0 20 0 1 0 409675879 2281607168 56801 33554432000 4194304 5870510 140729407432704 140729407431656 5258437 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 557033 56801 986 410 0 552506 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2228132 KiB
Current children cumulated memory: 227204 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 29108
/proc/meminfo: memFree=21238988/32770624 swapFree=66999212/67108860
[pid=28748] ppid=28745 vsize=2258952 memory=249844 CPUtime=1962.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 651951 0 0 0 195806 419 0 0 20 0 1 0 409675879 2313166848 62461 33554432000 4194304 5870510 140729407432704 140729407431720 5281722 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 564738 62461 986 410 0 560211 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 2258952 KiB
Current children cumulated memory: 249844 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29114
/proc/meminfo: memFree=21242640/32770624 swapFree=66999212/67108860
[pid=28748] ppid=28745 vsize=2259916 memory=246460 CPUtime=2022.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 658884 0 0 0 201792 433 0 0 20 0 1 0 409675879 2314153984 61615 33554432000 4194304 5870510 140729407432704 140729407431720 5258783 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 564979 61615 986 410 0 560452 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 2259916 KiB
Current children cumulated memory: 246460 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29125
/proc/meminfo: memFree=21221424/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2310004 memory=265936 CPUtime=2082.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 672521 0 0 0 207774 451 0 0 20 0 1 0 409675879 2365444096 66484 33554432000 4194304 5870510 140729407432704 140729407431656 5288882 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 577501 66484 986 410 0 572974 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2310004 KiB
Current children cumulated memory: 265936 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29129
/proc/meminfo: memFree=21226032/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2259916 memory=262492 CPUtime=2142.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 701195 0 0 0 213755 470 0 0 20 0 1 0 409675879 2314153984 65623 33554432000 4194304 5870510 140729407432704 140729407431720 5308341 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 564979 65623 986 410 0 560452 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 2259916 KiB
Current children cumulated memory: 262492 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29135
/proc/meminfo: memFree=21210216/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2310004 memory=278304 CPUtime=2202.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 710587 0 0 0 219739 486 0 0 20 0 1 0 409675879 2365444096 69576 33554432000 4194304 5870510 140729407432704 140729407431656 5282578 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 577501 69576 986 410 0 572974 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 2310004 KiB
Current children cumulated memory: 278304 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29139
/proc/meminfo: memFree=21178788/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2310004 memory=270124 CPUtime=2262.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 720071 0 0 0 225718 507 0 0 20 0 1 0 409675879 2365444096 67531 33554432000 4194304 5870510 140729407432704 140729407431656 5262793 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 577501 67531 986 410 0 572974 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 2310004 KiB
Current children cumulated memory: 270124 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29143
/proc/meminfo: memFree=21202128/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2232156 memory=233780 CPUtime=2322.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 732688 0 0 0 231704 521 0 0 20 0 1 0 409675879 2285727744 58445 33554432000 4194304 5870510 140729407432704 140729407431000 5258472 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 558039 58445 986 410 0 553512 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 2232156 KiB
Current children cumulated memory: 233780 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29150
/proc/meminfo: memFree=21194516/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2267388 memory=260204 CPUtime=2382.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 745577 0 0 0 237692 533 0 0 20 0 1 0 409675879 2321805312 65051 33554432000 4194304 5870510 140729407432704 140729407431080 5282721 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 566847 65051 986 410 0 562320 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2267388 KiB
Current children cumulated memory: 260204 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29154
/proc/meminfo: memFree=21173676/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2270452 memory=247676 CPUtime=2442.25 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 755921 0 0 0 243678 547 0 0 20 0 1 0 409675879 2324942848 61919 33554432000 4194304 5870510 140729407432704 140729407431656 5282251 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 567613 61919 986 410 0 563086 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 2270452 KiB
Current children cumulated memory: 247676 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29158
/proc/meminfo: memFree=21193084/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2270452 memory=255348 CPUtime=2502.24 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 769025 0 0 0 249664 560 0 0 20 0 1 0 409675879 2324942848 63837 33554432000 4194304 5870510 140729407432704 140729407431656 5278101 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 567613 63837 986 410 0 563086 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 2270452 KiB
Current children cumulated memory: 255348 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 29161
/proc/meminfo: memFree=21173744/32770624 swapFree=66999216/67108860
[pid=28748] ppid=28745 vsize=2270452 memory=269692 CPUtime=2519.96 cores=1,3,5,7
/proc/28748/stat : 28748 (xcsp_picat) R 28745 28748 24179 0 -1 4202496 770529 0 0 0 251432 564 0 0 20 0 1 0 409675879 2324942848 67423 33554432000 4194304 5870510 140729407432704 140729407431656 140285582447310 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 25788416 140729407435807 140729407435885 140729407435885 140729407438794 0
/proc/28748/statm: 567613 67423 986 410 0 563086 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 2270452 KiB
Current children cumulated memory: 269692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.32 s, system=5.64695 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.97
CPU user time (s): 2514.32
CPU system time (s): 5.64695
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 2653880
Max. memory (cumulated for all children) (KiB): 477244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.32
system time used= 5.64695
maximum resident set size= 536732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 770529
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= 2880
# summary of solver processes directly reported to runsolver:
# pid: 28748
# total CPU time (s): 2519.97
# total CPU user time (s): 2514.32
# total CPU system time (s): 5.64695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0243 second user time and 18.5996 second system time
The end