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 (12983 MiB free)
memory of node 1: 16384 MiB (11218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303203-1534021111/watcher-4303203-1534021111 -o /tmp/evaluation-result-4303203-1534021111/solver-4303203-1534021111 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4303203-1534021111.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=9599, runsolver pid=9596
[startup+0.100377 s]*
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24753472/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2025744 memory=31608 CPUtime=0.1 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 1941 0 0 0 10 0 0 0 20 0 1 0 219674317 2074361856 7902 33554432000 4194304 5849708 140735044951056 140735044950360 4488331 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 506436 7902 615 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31608 KiB
[startup+0.209609 s]*
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24734944/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2025744 memory=52088 CPUtime=0.2 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 1951 0 0 0 20 0 0 0 20 0 1 0 219674317 2074361856 13022 33554432000 4194304 5849708 140735044951056 140735044950360 4458498 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 506436 13022 615 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 52088 KiB
[startup+0.309506 s]*
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24716388/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2025744 memory=68472 CPUtime=0.31 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 1959 0 0 0 30 1 0 0 20 0 1 0 219674317 2074361856 17118 33554432000 4194304 5849708 140735044951056 140735044950360 4468706 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 506436 17118 615 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 68472 KiB
[startup+0.700321 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24677232/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2105408 memory=115044 CPUtime=0.68 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 4071 0 0 0 66 2 0 0 20 0 1 0 219674317 2155937792 28761 33554432000 4194304 5849708 140735044951056 140735044950376 5251189 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 526352 28761 624 405 0 523297 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2105408 KiB
Current children cumulated memory: 115044 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24671048/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2147840 memory=186048 CPUtime=1.48 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 5621 0 0 0 143 5 0 0 20 0 1 0 219674317 2199388160 46512 33554432000 4194304 5849708 140735044951056 140735044950376 5250760 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 536960 46512 624 405 0 533905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2147840 KiB
Current children cumulated memory: 186048 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24535944/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2198792 memory=301532 CPUtime=3.09 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 8747 0 0 0 298 11 0 0 20 0 1 0 219674317 2251563008 75383 33554432000 4194304 5849708 140735044951056 140735044950376 5250808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 549698 75383 624 405 0 546643 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2198792 KiB
Current children cumulated memory: 301532 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=24154720/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2232064 memory=706880 CPUtime=6.28 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 11102 0 0 0 606 22 0 0 20 0 1 0 219674317 2285633536 176720 33554432000 4194304 5849708 140735044951056 140735044950360 4489807 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 558016 176720 652 405 0 554961 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2232064 KiB
Current children cumulated memory: 706880 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=23766736/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2404288 memory=997452 CPUtime=12.68 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 18273 0 0 0 1231 37 0 0 20 0 1 0 219674317 2461990912 249363 33554432000 4194304 5849708 140735044951056 140735044949544 5319728 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 601072 249363 746 405 0 598017 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2404288 KiB
Current children cumulated memory: 997452 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=23754088/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2414196 memory=1007384 CPUtime=25.49 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 31669 0 0 0 2507 42 0 0 20 0 1 0 219674317 2472136704 251846 33554432000 4194304 5849708 140735044951056 140735044950216 140509094170503 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 603549 251846 754 405 0 600494 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2414196 KiB
Current children cumulated memory: 1007384 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 9600
/proc/meminfo: memFree=23774288/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2426372 memory=1019572 CPUtime=51.09 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 65138 0 0 0 5055 54 0 0 20 0 1 0 219674317 2484604928 254893 33554432000 4194304 5849708 140735044951056 140735044950056 140509094170503 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 606593 254893 754 405 0 603538 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2426372 KiB
Current children cumulated memory: 1019572 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 9609
/proc/meminfo: memFree=23728224/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2473532 memory=1066552 CPUtime=102.27 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 83715 0 0 0 10148 79 0 0 20 0 1 0 219674317 2532896768 266638 33554432000 4194304 5849708 140735044951056 140735044949928 5375311 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 618383 266638 754 405 0 615328 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2473532 KiB
Current children cumulated memory: 1066552 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/189 9633
/proc/meminfo: memFree=23643372/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2519768 memory=1112848 CPUtime=162.27 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 141377 0 0 0 16114 113 0 0 20 0 1 0 219674317 2580242432 278212 33554432000 4194304 5849708 140735044951056 140735044950056 5320960 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 629942 278212 754 405 0 626887 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2519768 KiB
Current children cumulated memory: 1112848 KiB
[startup+222.3 s]
/proc/loadavg: 2.44 2.15 2.06 3/189 9634
/proc/meminfo: memFree=23593204/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2606572 memory=1199772 CPUtime=222.27 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 188023 0 0 0 22084 143 0 0 20 0 1 0 219674317 2669129728 299943 33554432000 4194304 5849708 140735044951056 140735044950056 5307645 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 651643 299943 754 405 0 648588 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2606572 KiB
Current children cumulated memory: 1199772 KiB
[startup+282.3 s]
/proc/loadavg: 2.16 2.12 2.05 3/189 9635
/proc/meminfo: memFree=23561428/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2601984 memory=1195184 CPUtime=282.27 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 236686 0 0 0 28046 181 0 0 20 0 1 0 219674317 2664431616 298796 33554432000 4194304 5849708 140735044951056 140735044949928 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 650496 298796 754 405 0 647441 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2601984 KiB
Current children cumulated memory: 1195184 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.10 2.05 3/189 9636
/proc/meminfo: memFree=23570428/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2687068 memory=1280232 CPUtime=342.28 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 270926 0 0 0 34012 216 0 0 20 0 1 0 219674317 2751557632 320058 33554432000 4194304 5849708 140735044951056 140735044950056 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 671767 320058 754 405 0 668712 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2687068 KiB
Current children cumulated memory: 1280232 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/188 9637
/proc/meminfo: memFree=23355652/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2842936 memory=1436136 CPUtime=402.28 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 347329 0 0 0 39977 251 0 0 20 0 1 0 219674317 2911166464 359034 33554432000 4194304 5849708 140735044951056 140735044949928 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 710734 359034 754 405 0 707679 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2842936 KiB
Current children cumulated memory: 1436136 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/187 9638
/proc/meminfo: memFree=23481564/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2682448 memory=1275496 CPUtime=462.28 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 414441 0 0 0 45937 291 0 0 20 0 1 0 219674317 2746826752 318874 33554432000 4194304 5849708 140735044951056 140735044949928 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 670612 318874 754 405 0 667557 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2682448 KiB
Current children cumulated memory: 1275496 KiB
################
# More data... #
################
/proc/9599/statm: 744041 393237 755 405 0 740986 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 2976164 KiB
Current children cumulated memory: 1572948 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9739
/proc/meminfo: memFree=23084824/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=2976164 memory=1572948 CPUtime=1782.33 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2182943 0 0 0 177163 1070 0 0 20 0 1 0 219674317 3047591936 393237 33554432000 4194304 5849708 140735044951056 140735044950056 5312992 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 744041 393237 755 405 0 740986 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2976164 KiB
Current children cumulated memory: 1572948 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9740
/proc/meminfo: memFree=22622676/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3437732 memory=2034508 CPUtime=1842.33 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2284720 0 0 0 183138 1095 0 0 20 0 1 0 219674317 3520237568 508627 33554432000 4194304 5849708 140735044951056 140735044949928 5312881 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 859433 508627 755 405 0 856378 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 3437732 KiB
Current children cumulated memory: 2034508 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9748
/proc/meminfo: memFree=22724988/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3437732 memory=2034516 CPUtime=1902.34 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2372329 0 0 0 189118 1116 0 0 20 0 1 0 219674317 3520237568 508629 33554432000 4194304 5849708 140735044951056 140735044950056 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 859433 508629 755 405 0 856378 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 3437732 KiB
Current children cumulated memory: 2034516 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9749
/proc/meminfo: memFree=22697420/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3437732 memory=2034516 CPUtime=1962.34 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2490946 0 0 0 195094 1140 0 0 20 0 1 0 219674317 3520237568 508629 33554432000 4194304 5849708 140735044951056 140735044949928 5312992 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 859433 508629 755 405 0 856378 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 3437732 KiB
Current children cumulated memory: 2034516 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9750
/proc/meminfo: memFree=22489396/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3612556 memory=2209208 CPUtime=2022.34 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2577234 0 0 0 201072 1162 0 0 20 0 1 0 219674317 3699257344 552302 33554432000 4194304 5849708 140735044951056 140735044949928 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 903139 552302 755 405 0 900084 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 3612556 KiB
Current children cumulated memory: 2209208 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9751
/proc/meminfo: memFree=22753788/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3349016 memory=1945800 CPUtime=2082.35 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2690508 0 0 0 207041 1194 0 0 20 0 1 0 219674317 3429392384 486450 33554432000 4194304 5849708 140735044951056 140735044950056 5312890 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 837254 486450 755 405 0 834199 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 3349016 KiB
Current children cumulated memory: 1945800 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9752
/proc/meminfo: memFree=22413604/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3688616 memory=2285400 CPUtime=2142.35 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2829610 0 0 0 213010 1225 0 0 20 0 1 0 219674317 3777142784 571350 33554432000 4194304 5849708 140735044951056 140735044950056 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 922154 571350 755 405 0 919099 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 3688616 KiB
Current children cumulated memory: 2285400 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9753
/proc/meminfo: memFree=22347016/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=3688608 memory=2285392 CPUtime=2202.35 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 2932908 0 0 0 218972 1263 0 0 20 0 1 0 219674317 3777134592 571348 33554432000 4194304 5849708 140735044951056 140735044950216 5437721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 922152 571348 755 405 0 919097 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 3688608 KiB
Current children cumulated memory: 2285392 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9754
/proc/meminfo: memFree=21826588/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=4208244 memory=2805028 CPUtime=2262.36 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 3035564 0 0 0 224924 1312 0 0 20 0 1 0 219674317 4309241856 701257 33554432000 4194304 5849708 140735044951056 140735044950056 140509094170503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 1052061 701257 755 405 0 1049006 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 4208244 KiB
Current children cumulated memory: 2805028 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9755
/proc/meminfo: memFree=21826160/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=4208244 memory=2805028 CPUtime=2322.36 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 3203350 0 0 0 230905 1331 0 0 20 0 1 0 219674317 4309241856 701257 33554432000 4194304 5849708 140735044951056 140735044949928 5312992 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 1052061 701257 755 405 0 1049006 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 4208244 KiB
Current children cumulated memory: 2805028 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9756
/proc/meminfo: memFree=21825860/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=4208244 memory=2805028 CPUtime=2382.36 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 3405179 0 0 0 236879 1357 0 0 20 0 1 0 219674317 4309241856 701257 33554432000 4194304 5849708 140735044951056 140735044949928 5312768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 1052061 701257 755 405 0 1049006 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 4208244 KiB
Current children cumulated memory: 2805028 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9757
/proc/meminfo: memFree=21826072/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=4208244 memory=2805028 CPUtime=2442.37 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 3620073 0 0 0 242858 1379 0 0 20 0 1 0 219674317 4309241856 701257 33554432000 4194304 5849708 140735044951056 140735044949928 5312873 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 1052061 701257 755 405 0 1049006 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 4208244 KiB
Current children cumulated memory: 2805028 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9765
/proc/meminfo: memFree=21825264/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=4208244 memory=2805028 CPUtime=2502.37 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 3758678 0 0 0 248847 1390 0 0 20 0 1 0 219674317 4309241856 701257 33554432000 4194304 5849708 140735044951056 140735044949928 5397960 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 1052061 701257 755 405 0 1049006 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 4208244 KiB
Current children cumulated memory: 2805028 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9765
/proc/meminfo: memFree=21825388/32770624 swapFree=67108860/67108860
[pid=9599] ppid=9596 vsize=4208244 memory=2805028 CPUtime=2520.08 cores=0,2,4,6
/proc/9599/stat : 9599 (xcsp_picat) R 9596 9599 5709 0 -1 4202496 3779633 0 0 0 250617 1391 0 0 20 0 1 0 219674317 4309241856 701257 33554432000 4194304 5849708 140735044951056 140735044949928 5395612 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 45944832 140735044953270 140735044953348 140735044953348 140735044956106 0
/proc/9599/statm: 1052061 701257 755 405 0 1049006 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 4208244 KiB
Current children cumulated memory: 2805028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 9599 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.17 s, system=13.9626 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.05
CPU time (s): 2520.14
CPU user time (s): 2506.17
CPU system time (s): 13.9626
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4208244
Max. memory (cumulated for all children) (KiB): 2805028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.17
system time used= 13.9626
maximum resident set size= 2805028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3779633
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= 48
involuntary context switches= 1052
# summary of solver processes directly reported to runsolver:
# pid: 9599
# total CPU time (s): 2520.14
# total CPU user time (s): 2506.17
# total CPU system time (s): 13.9626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2033 second user time and 17.7795 second system time
The end