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 (3594 MiB free)
memory of node 1: 16384 MiB (7129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296108-1532608128/watcher-4296108-1532608128 -o /tmp/evaluation-result-4296108-1532608128/solver-4296108-1532608128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28433 --watchdog 2580 xcsp_picat HOME/instance-4296108-1532608128.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=29958, runsolver pid=29955
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 2.20 2.13 2.07 3/187 29959
/proc/meminfo: memFree=10965428/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=111688 memory=17480 CPUtime=0.1 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 1504 0 0 0 10 0 0 0 20 0 1 0 78375941 114368512 4370 33554432000 4194304 5849740 140732873731392 140732873731392 139690879855616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 27922 4370 598 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 17480 KiB
[startup+0.209725 s]*
/proc/loadavg: 2.20 2.13 2.07 4/187 29959
/proc/meminfo: memFree=10959284/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=111688 memory=23624 CPUtime=0.21 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 1507 0 0 0 21 0 0 0 20 0 1 0 78375941 114368512 5906 33554432000 4194304 5849740 140732873731392 140732873731392 139690879855616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 27922 5906 598 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23624 KiB
[startup+0.309402 s]*
/proc/loadavg: 2.20 2.13 2.07 3/187 29959
/proc/meminfo: memFree=10953208/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=111688 memory=29768 CPUtime=0.31 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 1510 0 0 0 31 0 0 0 20 0 1 0 78375941 114368512 7442 33554432000 4194304 5849740 140732873731392 140732873730696 4548525 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 27922 7442 598 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 29768 KiB
[startup+0.700396 s]
/proc/loadavg: 2.20 2.13 2.07 3/187 29959
/proc/meminfo: memFree=10914300/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=132272 memory=61836 CPUtime=0.69 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 10184 0 0 0 67 2 0 0 20 0 1 0 78375941 135446528 15459 33554432000 4194304 5849740 140732873731392 140732873730360 5251180 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 33068 15459 623 405 0 30012 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132272 KiB
Current children cumulated memory: 61836 KiB
[startup+1.50041 s]
/proc/loadavg: 2.20 2.13 2.07 3/187 29959
/proc/meminfo: memFree=10919388/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=219408 memory=155840 CPUtime=1.49 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 28344 0 0 0 143 6 0 0 20 0 1 0 78375941 224673792 38960 33554432000 4194304 5849740 140732873731392 140732873730088 5406018 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 54852 38960 640 405 0 51796 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 219408 KiB
Current children cumulated memory: 155840 KiB
[startup+3.10954 s]
/proc/loadavg: 2.19 2.13 2.07 3/187 29959
/proc/meminfo: memFree=10731380/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=314520 memory=251204 CPUtime=3.1 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 55992 0 0 0 300 10 0 0 20 0 1 0 78375941 322068480 62801 33554432000 4194304 5849740 140732873731392 140732873730472 5392030 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 78630 62801 653 405 0 75574 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 314520 KiB
Current children cumulated memory: 251204 KiB
[startup+6.3004 s]
/proc/loadavg: 2.19 2.13 2.07 3/187 29959
/proc/meminfo: memFree=10666412/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=380016 memory=316752 CPUtime=6.29 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 90888 0 0 0 617 12 0 0 20 0 1 0 78375941 389136384 79188 33554432000 4194304 5849740 140732873731392 140732873730040 5317547 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 95004 79188 666 405 0 91948 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 380016 KiB
Current children cumulated memory: 316752 KiB
[startup+12.7004 s]
/proc/loadavg: 2.17 2.12 2.07 3/187 29959
/proc/meminfo: memFree=10666288/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=380016 memory=316788 CPUtime=12.69 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 127342 0 0 0 1255 14 0 0 20 0 1 0 78375941 389136384 79197 33554432000 4194304 5849740 140732873731392 140732873730264 5413304 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 95004 79197 671 405 0 91948 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 380016 KiB
Current children cumulated memory: 316788 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 2.12 2.07 3/187 29959
/proc/meminfo: memFree=10666348/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=380016 memory=316800 CPUtime=25.49 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 196776 0 0 0 2530 19 0 0 20 0 1 0 78375941 389136384 79200 33554432000 4194304 5849740 140732873731392 140732873729880 4212475 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 95004 79200 674 405 0 91948 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 380016 KiB
Current children cumulated memory: 316800 KiB
[startup+51.1096 s]
/proc/loadavg: 2.15 2.12 2.07 3/187 29959
/proc/meminfo: memFree=10668768/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=379852 memory=314204 CPUtime=51.1 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 234275 0 0 0 5082 28 0 0 20 0 1 0 78375941 388968448 78551 33554432000 4194304 5849740 140732873731392 140732873729880 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 94963 78551 674 405 0 91907 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 379852 KiB
Current children cumulated memory: 314204 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.11 2.07 3/188 29968
/proc/meminfo: memFree=10665092/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=379296 memory=315696 CPUtime=102.3 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 303740 0 0 0 10178 52 0 0 20 0 1 0 78375941 388399104 78924 33554432000 4194304 5849740 140732873731392 140732873730040 139690879465376 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 94824 78924 674 405 0 91768 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 379296 KiB
Current children cumulated memory: 315696 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.09 2.06 3/188 29969
/proc/meminfo: memFree=10609120/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=378904 memory=315304 CPUtime=162.29 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 362993 0 0 0 16152 77 0 0 20 0 1 0 78375941 387997696 78826 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 94726 78826 674 405 0 91670 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 378904 KiB
Current children cumulated memory: 315304 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 29970
/proc/meminfo: memFree=10576120/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=382916 memory=315608 CPUtime=222.3 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 370074 0 0 0 22126 104 0 0 20 0 1 0 78375941 392105984 78902 33554432000 4194304 5849740 140732873731392 140732873730392 5376292 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 95729 78902 674 405 0 92673 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 382916 KiB
Current children cumulated memory: 315608 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/188 29971
/proc/meminfo: memFree=10566752/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=385824 memory=326024 CPUtime=282.3 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 374448 0 0 0 28099 131 0 0 20 0 1 0 78375941 395083776 81506 33554432000 4194304 5849740 140732873731392 140732873730552 5437821 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 96456 81506 674 405 0 93400 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 385824 KiB
Current children cumulated memory: 326024 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 29972
/proc/meminfo: memFree=10692132/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=407268 memory=349300 CPUtime=342.31 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 381465 0 0 0 34076 155 0 0 20 0 1 0 78375941 417042432 87325 33554432000 4194304 5849740 140732873731392 140732873730264 5311421 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 101817 87325 674 405 0 98761 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 407268 KiB
Current children cumulated memory: 349300 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 29973
/proc/meminfo: memFree=10687244/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=396556 memory=338800 CPUtime=402.32 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 385837 0 0 0 40048 184 0 0 20 0 1 0 78375941 406073344 84700 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 99139 84700 674 405 0 96083 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 396556 KiB
Current children cumulated memory: 338800 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29974
/proc/meminfo: memFree=10677276/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=396312 memory=338556 CPUtime=462.33 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 389233 0 0 0 46022 211 0 0 20 0 1 0 78375941 405823488 84639 33554432000 4194304 5849740 140732873731392 140732873730392 5438352 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 99078 84639 674 405 0 96022 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 396312 KiB
Current children cumulated memory: 338556 KiB
################
# More data... #
################
/proc/29958/statm: 142132 126162 675 405 0 139076 0
Current children cumulated CPU time: 1722.47 s
Current children cumulated vsize: 568528 KiB
Current children cumulated memory: 504648 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10740020/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=437456 memory=373576 CPUtime=1782.48 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 448031 0 0 0 177426 822 0 0 20 0 1 0 78375941 447954944 93394 33554432000 4194304 5849740 140732873731392 140732873730552 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 109364 93394 675 405 0 106308 0
Current children cumulated CPU time: 1782.48 s
Current children cumulated vsize: 437456 KiB
Current children cumulated memory: 373576 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30076
/proc/meminfo: memFree=10724304/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=437456 memory=373576 CPUtime=1842.48 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 449015 0 0 0 183396 852 0 0 20 0 1 0 78375941 447954944 93394 33554432000 4194304 5849740 140732873731392 140732873730392 5312835 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 109364 93394 675 405 0 106308 0
Current children cumulated CPU time: 1842.48 s
Current children cumulated vsize: 437456 KiB
Current children cumulated memory: 373576 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30086
/proc/meminfo: memFree=10723248/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=437212 memory=373332 CPUtime=1902.49 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 449956 0 0 0 189374 875 0 0 20 0 1 0 78375941 447705088 93333 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 109303 93333 675 405 0 106247 0
Current children cumulated CPU time: 1902.49 s
Current children cumulated vsize: 437212 KiB
Current children cumulated memory: 373332 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30110
/proc/meminfo: memFree=10727528/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=437212 memory=373332 CPUtime=1962.49 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 450239 0 0 0 195349 900 0 0 20 0 1 0 78375941 447705088 93333 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 109303 93333 675 405 0 106247 0
Current children cumulated CPU time: 1962.49 s
Current children cumulated vsize: 437212 KiB
Current children cumulated memory: 373332 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30111
/proc/meminfo: memFree=10600400/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=568284 memory=504220 CPUtime=2022.5 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 451654 0 0 0 201316 934 0 0 20 0 1 0 78375941 581922816 126055 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 142071 126055 675 405 0 139015 0
Current children cumulated CPU time: 2022.5 s
Current children cumulated vsize: 568284 KiB
Current children cumulated memory: 504220 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30112
/proc/meminfo: memFree=10729616/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=437212 memory=373332 CPUtime=2082.51 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 452030 0 0 0 207293 958 0 0 20 0 1 0 78375941 447705088 93333 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 109303 93333 675 405 0 106247 0
Current children cumulated CPU time: 2082.51 s
Current children cumulated vsize: 437212 KiB
Current children cumulated memory: 373332 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30113
/proc/meminfo: memFree=10588004/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=567808 memory=503732 CPUtime=2142.52 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 453074 0 0 0 213272 980 0 0 20 0 1 0 78375941 581435392 125933 33554432000 4194304 5849740 140732873731392 140732873730264 5312766 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 141952 125933 675 405 0 138896 0
Current children cumulated CPU time: 2142.52 s
Current children cumulated vsize: 567808 KiB
Current children cumulated memory: 503732 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 30114
/proc/meminfo: memFree=10569280/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=567808 memory=505976 CPUtime=2202.52 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 453483 0 0 0 219243 1009 0 0 20 0 1 0 78375941 581435392 126494 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 141952 126494 675 405 0 138896 0
Current children cumulated CPU time: 2202.52 s
Current children cumulated vsize: 567808 KiB
Current children cumulated memory: 505976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 30115
/proc/meminfo: memFree=10618380/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=603532 memory=545576 CPUtime=2262.53 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 466259 0 0 0 225214 1039 0 0 20 0 1 0 78375941 618016768 136394 33554432000 4194304 5849740 140732873731392 140732873729880 4226887 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 150883 136394 675 405 0 147827 0
Current children cumulated CPU time: 2262.53 s
Current children cumulated vsize: 603532 KiB
Current children cumulated memory: 545576 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 30116
/proc/meminfo: memFree=10530036/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=603364 memory=545612 CPUtime=2322.54 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 467880 0 0 0 231190 1064 0 0 20 0 1 0 78375941 617844736 136403 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 150841 136403 675 405 0 147785 0
Current children cumulated CPU time: 2322.54 s
Current children cumulated vsize: 603364 KiB
Current children cumulated memory: 545612 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 30117
/proc/meminfo: memFree=10510536/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=603364 memory=545612 CPUtime=2382.55 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 468363 0 0 0 237161 1094 0 0 20 0 1 0 78375941 617844736 136403 33554432000 4194304 5849740 140732873731392 140732873730392 5437629 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 150841 136403 675 405 0 147785 0
Current children cumulated CPU time: 2382.55 s
Current children cumulated vsize: 603364 KiB
Current children cumulated memory: 545612 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 30118
/proc/meminfo: memFree=10675320/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=472292 memory=414540 CPUtime=2442.56 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 469082 0 0 0 243134 1122 0 0 20 0 1 0 78375941 483627008 103635 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 118073 103635 675 405 0 115017 0
Current children cumulated CPU time: 2442.56 s
Current children cumulated vsize: 472292 KiB
Current children cumulated memory: 414540 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 30128
/proc/meminfo: memFree=10634980/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=472292 memory=414540 CPUtime=2502.56 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 470286 0 0 0 249107 1149 0 0 20 0 1 0 78375941 483627008 103635 33554432000 4194304 5849740 140732873731392 140732873730392 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 118073 103635 675 405 0 115017 0
Current children cumulated CPU time: 2502.56 s
Current children cumulated vsize: 472292 KiB
Current children cumulated memory: 414540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30128
/proc/meminfo: memFree=10489836/32770624 swapFree=67108860/67108860
[pid=29958] ppid=29955 vsize=603364 memory=545452 CPUtime=2520.06 cores=1,3,5,7
/proc/29958/stat : 29958 (xcsp_picat) R 29955 29958 26989 0 -1 4202496 470865 0 0 0 250844 1162 0 0 20 0 1 0 78375941 617844736 136363 33554432000 4194304 5849740 140732873731392 140732873730392 139690879876999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 48140288 140732873737398 140732873737476 140732873737476 140732873740234 0
/proc/29958/statm: 150841 136363 675 405 0 147785 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 603364 KiB
Current children cumulated memory: 545452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 29958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.44 s, system=11.6304 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): 2519.8
CPU time (s): 2520.08
CPU user time (s): 2508.44
CPU system time (s): 11.6304
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 641588
Max. memory (cumulated for all children) (KiB): 583836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.44
system time used= 11.6304
maximum resident set size= 583836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470865
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= 32
involuntary context switches= 3029
# summary of solver processes directly reported to runsolver:
# pid: 29958
# total CPU time (s): 2520.08
# total CPU user time (s): 2508.44
# total CPU system time (s): 11.6304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.6374 second user time and 19.0555 second system time
The end