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 (14734 MiB free)
memory of node 1: 16384 MiB (13615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303347-1534015315/watcher-4303347-1534015315 -o /tmp/evaluation-result-4303347-1534015315/solver-4303347-1534015315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10870 --watchdog 2580 xcsp_picat HOME/instance-4303347-1534015315.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13576, runsolver pid=13573
[startup+0.100596 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=29009692/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2025744 memory=25668 CPUtime=0.09 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 1462 0 0 0 9 0 0 0 20 0 1 0 219094696 2074361856 6417 33554432000 4194304 5849708 140733722639712 140733722639016 4454802 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 506436 6417 607 405 0 503381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25668 KiB
[startup+0.209945 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28993076/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2025744 memory=40004 CPUtime=0.21 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 1469 0 0 0 20 1 0 0 20 0 1 0 219094696 2074361856 10001 33554432000 4194304 5849708 140733722639712 140733722639016 4457616 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 506436 10001 607 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 40004 KiB
[startup+0.309516 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28980788/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2025744 memory=50244 CPUtime=0.3 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 1474 0 0 0 29 1 0 0 20 0 1 0 219094696 2074361856 12561 33554432000 4194304 5849708 140733722639712 140733722639016 4465958 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 506436 12561 607 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50244 KiB
[startup+0.700333 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28956212/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2033560 memory=98252 CPUtime=0.69 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 1761 0 0 0 67 2 0 0 20 0 1 0 219094696 2082365440 24563 33554432000 4194304 5849708 140733722639712 140733722639016 4563452 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 508390 24563 619 405 0 505335 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 98252 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28916868/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2037908 memory=117644 CPUtime=1.49 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 3043 0 0 0 142 7 0 0 20 0 1 0 219094696 2086817792 29411 33554432000 4194304 5849708 140733722639712 140733722638872 140692006625159 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 509477 29411 689 405 0 506422 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037908 KiB
Current children cumulated memory: 117644 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28910692/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2040152 memory=119976 CPUtime=3.1 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 6468 0 0 0 297 13 0 0 20 0 1 0 219094696 2089115648 29994 33554432000 4194304 5849708 140733722639712 140733722638104 5330003 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 510038 29994 708 405 0 506983 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2040152 KiB
Current children cumulated memory: 119976 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28909184/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2041996 memory=121876 CPUtime=6.28 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 7825 0 0 0 613 15 0 0 20 0 1 0 219094696 2091003904 30469 33554432000 4194304 5849708 140733722639712 140733722636712 4203940 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 510499 30469 721 405 0 507444 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2041996 KiB
Current children cumulated memory: 121876 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28861912/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2044712 memory=124372 CPUtime=12.69 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 11245 0 0 0 1246 23 0 0 20 0 1 0 219094696 2093785088 31093 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 511178 31093 721 405 0 508123 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2044712 KiB
Current children cumulated memory: 124372 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28937976/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2047776 memory=127656 CPUtime=25.48 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 19052 0 0 0 2512 36 0 0 20 0 1 0 219094696 2096922624 31914 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 511944 31914 721 405 0 508889 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2047776 KiB
Current children cumulated memory: 127656 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13577
/proc/meminfo: memFree=28922972/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2050960 memory=130908 CPUtime=51.09 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 27506 0 0 0 5052 57 0 0 20 0 1 0 219094696 2100183040 32727 33554432000 4194304 5849708 140733722639712 140733722638712 5311528 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 512740 32727 721 405 0 509685 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2050960 KiB
Current children cumulated memory: 130908 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13578
/proc/meminfo: memFree=28903980/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2051156 memory=131060 CPUtime=102.29 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 47568 0 0 0 10133 96 0 0 20 0 1 0 219094696 2100383744 32765 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 512789 32765 721 405 0 509734 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2051156 KiB
Current children cumulated memory: 131060 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13639
/proc/meminfo: memFree=28944832/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2056988 memory=142236 CPUtime=162.28 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 73239 0 0 0 16090 138 0 0 20 0 1 0 219094696 2106355712 35559 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 514247 35559 721 405 0 511192 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2056988 KiB
Current children cumulated memory: 142236 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13641
/proc/meminfo: memFree=28936668/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2064232 memory=149332 CPUtime=222.29 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 91608 0 0 0 22060 169 0 0 20 0 1 0 219094696 2113773568 37333 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 516058 37333 721 405 0 513003 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2064232 KiB
Current children cumulated memory: 149332 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13642
/proc/meminfo: memFree=28931176/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2064208 memory=149412 CPUtime=282.29 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 110252 0 0 0 28026 203 0 0 20 0 1 0 219094696 2113748992 37353 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 516052 37353 721 405 0 512997 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2064208 KiB
Current children cumulated memory: 149412 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13643
/proc/meminfo: memFree=28911008/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2074376 memory=159464 CPUtime=342.29 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 130452 0 0 0 33996 233 0 0 20 0 1 0 219094696 2124161024 39866 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 518594 39866 721 405 0 515539 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2074376 KiB
Current children cumulated memory: 159464 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13645
/proc/meminfo: memFree=28908496/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2075240 memory=160412 CPUtime=402.29 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 150575 0 0 0 39967 262 0 0 20 0 1 0 219094696 2125045760 40103 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 518810 40103 721 405 0 515755 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2075240 KiB
Current children cumulated memory: 160412 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 13646
/proc/meminfo: memFree=28914736/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2071520 memory=156752 CPUtime=462.29 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 169268 0 0 0 45940 289 0 0 20 0 1 0 219094696 2121236480 39188 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 517880 39188 721 405 0 514825 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2071520 KiB
Current children cumulated memory: 156752 KiB
################
# More data... #
################
/proc/13576/statm: 558129 79410 721 405 0 555074 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2232516 KiB
Current children cumulated memory: 317640 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/188 13694
/proc/meminfo: memFree=28588756/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2298052 memory=383176 CPUtime=1782.31 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 423857 0 0 0 177700 531 0 0 20 0 1 0 219094696 2353205248 95794 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 574513 95794 721 405 0 571458 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2298052 KiB
Current children cumulated memory: 383176 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 13695
/proc/meminfo: memFree=28534908/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2319472 memory=404596 CPUtime=1842.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 449895 0 0 0 183693 539 0 0 20 0 1 0 219094696 2375139328 101149 33554432000 4194304 5849708 140733722639712 140733722638712 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 579868 101149 721 405 0 576813 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2319472 KiB
Current children cumulated memory: 404596 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 13696
/proc/meminfo: memFree=28524220/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2319472 memory=404596 CPUtime=1902.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 475157 0 0 0 189687 545 0 0 20 0 1 0 219094696 2375139328 101149 33554432000 4194304 5849708 140733722639712 140733722638712 5438237 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 579868 101149 721 405 0 576813 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2319472 KiB
Current children cumulated memory: 404596 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 13697
/proc/meminfo: memFree=28524148/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2319472 memory=404596 CPUtime=1962.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 500198 0 0 0 195680 552 0 0 20 0 1 0 219094696 2375139328 101149 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 579868 101149 721 405 0 576813 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2319472 KiB
Current children cumulated memory: 404596 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13699
/proc/meminfo: memFree=28516156/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2306712 memory=391836 CPUtime=2022.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 534402 0 0 0 201673 559 0 0 20 0 1 0 219094696 2362073088 97959 33554432000 4194304 5849708 140733722639712 140733722638872 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 576678 97959 721 405 0 573623 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2306712 KiB
Current children cumulated memory: 391836 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13700
/proc/meminfo: memFree=28515532/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2306712 memory=391836 CPUtime=2082.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 573641 0 0 0 207666 566 0 0 20 0 1 0 219094696 2362073088 97959 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 576678 97959 721 405 0 573623 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2306712 KiB
Current children cumulated memory: 391836 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 13701
/proc/meminfo: memFree=28384344/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2372248 memory=457372 CPUtime=2142.33 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 610793 0 0 0 213658 575 0 0 20 0 1 0 219094696 2429181952 114343 33554432000 4194304 5849708 140733722639712 140733722638712 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 593062 114343 721 405 0 590007 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2372248 KiB
Current children cumulated memory: 457372 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13703
/proc/meminfo: memFree=28495556/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2260832 memory=345856 CPUtime=2202.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 651914 0 0 0 219650 582 0 0 20 0 1 0 219094696 2315091968 86464 33554432000 4194304 5849708 140733722639712 140733722638872 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 565208 86464 721 405 0 562153 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2260832 KiB
Current children cumulated memory: 345856 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13704
/proc/meminfo: memFree=28556380/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2197536 memory=282712 CPUtime=2262.32 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 677796 0 0 0 225641 591 0 0 20 0 1 0 219094696 2250276864 70678 33554432000 4194304 5849708 140733722639712 140733722638872 5437736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 549384 70678 721 405 0 546329 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2197536 KiB
Current children cumulated memory: 282712 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13713
/proc/meminfo: memFree=28555512/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2197536 memory=282712 CPUtime=2322.33 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 697741 0 0 0 231633 600 0 0 20 0 1 0 219094696 2250276864 70678 33554432000 4194304 5849708 140733722639712 140733722638872 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 549384 70678 721 405 0 546329 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2197536 KiB
Current children cumulated memory: 282712 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 13737
/proc/meminfo: memFree=28554824/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2196864 memory=281980 CPUtime=2382.33 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 722182 0 0 0 237624 609 0 0 20 0 1 0 219094696 2249588736 70495 33554432000 4194304 5849708 140733722639712 140733722638872 5438212 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 549216 70495 721 405 0 546161 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2196864 KiB
Current children cumulated memory: 281980 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 13738
/proc/meminfo: memFree=28482588/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2204552 memory=289728 CPUtime=2442.33 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 740579 0 0 0 243617 616 0 0 20 0 1 0 219094696 2257461248 72432 33554432000 4194304 5849708 140733722639712 140733722638712 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 551138 72432 721 405 0 548083 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2204552 KiB
Current children cumulated memory: 289728 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 13739
/proc/meminfo: memFree=28469488/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2217872 memory=303044 CPUtime=2502.34 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 758832 0 0 0 249609 625 0 0 20 0 1 0 219094696 2271100928 75761 33554432000 4194304 5849708 140733722639712 140733722638712 5437592 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 554468 75761 721 405 0 551413 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2217872 KiB
Current children cumulated memory: 303044 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.02 2.05 3/189 13740
/proc/meminfo: memFree=28469584/32770624 swapFree=67030636/67108860
[pid=13576] ppid=13573 vsize=2217872 memory=303044 CPUtime=2520.04 cores=0,2,4,6
/proc/13576/stat : 13576 (xcsp_picat) R 13573 13576 10838 0 -1 4202496 775415 0 0 0 251377 627 0 0 20 0 1 0 219094696 2271100928 75761 33554432000 4194304 5849708 140733722639712 140733722638872 140692006625159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 31223808 140733722645686 140733722645764 140733722645764 140733722648522 0
/proc/13576/statm: 554468 75761 721 405 0 551413 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2217872 KiB
Current children cumulated memory: 303044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 13576 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.77 s, system=6.28713 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.06
CPU user time (s): 2513.77
CPU system time (s): 6.28713
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2372248
Max. memory (cumulated for all children) (KiB): 457372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.77
system time used= 6.28713
maximum resident set size= 457372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775416
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= 8
involuntary context switches= 1038
# summary of solver processes directly reported to runsolver:
# pid: 13576
# total CPU time (s): 2520.06
# total CPU user time (s): 2513.77
# total CPU system time (s): 6.28713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9213 second user time and 16.0223 second system time
The end