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 (7027 MiB free)
memory of node 1: 16384 MiB (13736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294413-1532447704/watcher-4294413-1532447704 -o /tmp/evaluation-result-4294413-1532447704/solver-4294413-1532447704 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27368 --watchdog 2580 xcsp_picat HOME/instance-4294413-1532447704.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=30772, runsolver pid=30769
[startup+0.100205 s]*
/proc/loadavg: 2.23 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21244740/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=111688 memory=28240 CPUtime=0.1 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 1614 0 0 0 10 0 0 0 20 0 1 0 62333608 114368512 7060 33554432000 4194304 5849740 140734238011264 140734238010568 140151423683584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 27922 7060 607 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 28240 KiB
[startup+0.210043 s]*
/proc/loadavg: 2.23 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21230404/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=111688 memory=44624 CPUtime=0.21 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 1622 0 0 0 21 0 0 0 20 0 1 0 62333608 114368512 11156 33554432000 4194304 5849740 140734238011264 140734238010568 4795062 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 27922 11156 607 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 44624 KiB
[startup+0.309855 s]*
/proc/loadavg: 2.23 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21218116/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=111688 memory=56912 CPUtime=0.31 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 1628 0 0 0 31 0 0 0 20 0 1 0 62333608 114368512 14228 33554432000 4194304 5849740 140734238011264 140734238010568 4488043 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 27922 14228 607 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 56912 KiB
[startup+0.700471 s]
/proc/loadavg: 2.23 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21201360/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=188864 memory=102556 CPUtime=0.69 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 2847 0 0 0 68 1 0 0 20 0 1 0 62333608 193396736 25639 33554432000 4194304 5849740 140734238011264 140734238010232 4583907 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 47216 25639 623 405 0 44160 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 188864 KiB
Current children cumulated memory: 102556 KiB
[startup+1.50035 s]
/proc/loadavg: 2.23 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21167476/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=194412 memory=110668 CPUtime=1.49 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 4362 0 0 0 144 5 0 0 20 0 1 0 62333608 199077888 27667 33554432000 4194304 5849740 140734238011264 140734238010232 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 48603 27667 691 405 0 45547 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 194412 KiB
Current children cumulated memory: 110668 KiB
[startup+3.10966 s]
/proc/loadavg: 2.23 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21156996/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=199532 memory=116076 CPUtime=3.1 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 6767 0 0 0 300 10 0 0 20 0 1 0 62333608 204320768 29019 33554432000 4194304 5849740 140734238011264 140734238009912 5358859 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 49883 29019 710 405 0 46827 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 199532 KiB
Current children cumulated memory: 116076 KiB
[startup+6.30034 s]
/proc/loadavg: 2.21 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21156888/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=199532 memory=116132 CPUtime=6.29 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 8254 0 0 0 617 12 0 0 20 0 1 0 62333608 204320768 29033 33554432000 4194304 5849740 140734238011264 140734238009752 5326256 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 49883 29033 723 405 0 46827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 199532 KiB
Current children cumulated memory: 116132 KiB
[startup+12.7003 s]
/proc/loadavg: 2.19 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21157012/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=200436 memory=116952 CPUtime=12.69 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 10600 0 0 0 1248 21 0 0 20 0 1 0 62333608 205246464 29238 33554432000 4194304 5849740 140734238011264 140734238010264 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 50109 29238 723 405 0 47053 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 200436 KiB
Current children cumulated memory: 116952 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 2.06 2.06 3/191 30773
/proc/meminfo: memFree=21150428/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=208632 memory=125552 CPUtime=25.48 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 17325 0 0 0 2513 35 0 0 20 0 1 0 62333608 213639168 31388 33554432000 4194304 5849740 140734238011264 140734238010264 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 52158 31388 723 405 0 49102 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 208632 KiB
Current children cumulated memory: 125552 KiB
[startup+51.1098 s]
/proc/loadavg: 2.10 2.05 2.06 3/191 30773
/proc/meminfo: memFree=21113512/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=211068 memory=126988 CPUtime=51.09 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 20170 0 0 0 5054 55 0 0 20 0 1 0 62333608 216133632 31747 33554432000 4194304 5849740 140734238011264 140734238010264 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 52767 31747 723 405 0 49711 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 211068 KiB
Current children cumulated memory: 126988 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/192 30775
/proc/meminfo: memFree=21097996/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=218072 memory=140764 CPUtime=102.28 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 26099 0 0 0 10135 93 0 0 20 0 1 0 62333608 223305728 35191 33554432000 4194304 5849740 140734238011264 140734238009752 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 54518 35191 723 405 0 51462 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 218072 KiB
Current children cumulated memory: 140764 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 30776
/proc/meminfo: memFree=21067108/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=228528 memory=150296 CPUtime=162.28 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 34430 0 0 0 16097 131 0 0 20 0 1 0 62333608 234012672 37574 33554432000 4194304 5849740 140734238011264 140734238010264 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 57132 37574 723 405 0 54076 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 228528 KiB
Current children cumulated memory: 150296 KiB
[startup+222.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/192 30778
/proc/meminfo: memFree=21117880/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=228528 memory=150296 CPUtime=222.28 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 42053 0 0 0 22064 164 0 0 20 0 1 0 62333608 234012672 37574 33554432000 4194304 5849740 140734238011264 140734238010264 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 57132 37574 723 405 0 54076 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 228528 KiB
Current children cumulated memory: 150296 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/191 30779
/proc/meminfo: memFree=21108200/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=237408 memory=159860 CPUtime=282.27 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 51325 0 0 0 28032 195 0 0 20 0 1 0 62333608 243105792 39965 33554432000 4194304 5849740 140734238011264 140734238010264 5438262 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 59352 39965 723 405 0 56296 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 159860 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/192 30788
/proc/meminfo: memFree=21084808/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=237428 memory=160096 CPUtime=342.26 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 59777 0 0 0 34000 226 0 0 20 0 1 0 62333608 243126272 40024 33554432000 4194304 5849740 140734238011264 140734238010264 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 59357 40024 723 405 0 56301 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 237428 KiB
Current children cumulated memory: 160096 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/191 30811
/proc/meminfo: memFree=21006320/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=245620 memory=168072 CPUtime=402.25 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 62916 0 0 0 39972 253 0 0 20 0 1 0 62333608 251514880 42018 33554432000 4194304 5849740 140734238011264 140734238010424 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 61405 42018 723 405 0 58349 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 245620 KiB
Current children cumulated memory: 168072 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/191 30812
/proc/meminfo: memFree=21002976/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=249740 memory=172280 CPUtime=462.26 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 65708 0 0 0 45944 282 0 0 20 0 1 0 62333608 255733760 43070 33554432000 4194304 5849740 140734238011264 140734238010264 5437609 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 62435 43070 723 405 0 59379 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 249740 KiB
Current children cumulated memory: 172280 KiB
################
# More data... #
################
/proc/30772/statm: 117198 97865 723 405 0 114142 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 468792 KiB
Current children cumulated memory: 391460 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 30852
/proc/meminfo: memFree=20578944/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=490212 memory=412880 CPUtime=1782.16 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 330079 0 0 0 177683 533 0 0 20 0 1 0 62333608 501977088 103220 33554432000 4194304 5849740 140734238011264 140734238010264 5438266 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 122553 103220 723 405 0 119497 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 490212 KiB
Current children cumulated memory: 412880 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30854
/proc/meminfo: memFree=20578956/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=490212 memory=412880 CPUtime=1842.16 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 346519 0 0 0 183675 541 0 0 20 0 1 0 62333608 501977088 103220 33554432000 4194304 5849740 140734238011264 140734238010264 140151423704967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 122553 103220 723 405 0 119497 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 490212 KiB
Current children cumulated memory: 412880 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30855
/proc/meminfo: memFree=20578512/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=449016 memory=371684 CPUtime=1902.16 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 367086 0 0 0 189667 549 0 0 20 0 1 0 62333608 459792384 92921 33554432000 4194304 5849740 140734238011264 140734238010136 5317067 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 112254 92921 723 405 0 109198 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 449016 KiB
Current children cumulated memory: 371684 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30856
/proc/meminfo: memFree=20596060/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=472184 memory=394852 CPUtime=1962.15 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 403645 0 0 0 195658 557 0 0 20 0 1 0 62333608 483516416 98713 33554432000 4194304 5849740 140734238011264 140734238010264 5335529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 118046 98713 723 405 0 114990 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 472184 KiB
Current children cumulated memory: 394852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/190 31102
/proc/meminfo: memFree=20908508/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=537720 memory=460388 CPUtime=2022.14 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 428133 0 0 0 201648 566 0 0 20 0 1 0 62333608 550625280 115097 33554432000 4194304 5849740 140734238011264 140734238010264 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 134430 115097 723 405 0 131374 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 537720 KiB
Current children cumulated memory: 460388 KiB
[startup+2082.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/190 31224
/proc/meminfo: memFree=20825116/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=537720 memory=460388 CPUtime=2082.11 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 441318 0 0 0 207639 572 0 0 20 0 1 0 62333608 550625280 115097 33554432000 4194304 5849740 140734238011264 140734238010264 5335568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 134430 115097 723 405 0 131374 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 537720 KiB
Current children cumulated memory: 460388 KiB
[startup+2142.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 31234
/proc/meminfo: memFree=20990052/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=357812 memory=280480 CPUtime=2142.1 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 453042 0 0 0 213626 584 0 0 20 0 1 0 62333608 366399488 70120 33554432000 4194304 5849740 140734238011264 140734238010264 5438352 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 89453 70120 723 405 0 86397 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 357812 KiB
Current children cumulated memory: 280480 KiB
[startup+2202.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/192 31235
/proc/meminfo: memFree=20991780/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=357812 memory=280480 CPUtime=2202.1 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 455592 0 0 0 219620 590 0 0 20 0 1 0 62333608 366399488 70120 33554432000 4194304 5849740 140734238011264 140734238010424 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 89453 70120 723 405 0 86397 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 357812 KiB
Current children cumulated memory: 280480 KiB
[startup+2262.3 s]
/proc/loadavg: 2.40 2.13 2.08 3/192 31236
/proc/meminfo: memFree=20982660/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=357812 memory=280448 CPUtime=2262.1 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 459534 0 0 0 225611 599 0 0 20 0 1 0 62333608 366399488 70112 33554432000 4194304 5849740 140734238011264 140734238010264 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 89453 70112 723 405 0 86397 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 357812 KiB
Current children cumulated memory: 280448 KiB
[startup+2322.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/192 31237
/proc/meminfo: memFree=20940124/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=378820 memory=301260 CPUtime=2322.1 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 464927 0 0 0 231605 605 0 0 20 0 1 0 62333608 387911680 75315 33554432000 4194304 5849740 140734238011264 140734238010264 5437620 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 94705 75315 723 405 0 91649 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 378820 KiB
Current children cumulated memory: 301260 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/192 31238
/proc/meminfo: memFree=20937820/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=378820 memory=301484 CPUtime=2382.09 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 469812 0 0 0 237598 611 0 0 20 0 1 0 62333608 387911680 75371 33554432000 4194304 5849740 140734238011264 140734238010424 5335572 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 94705 75371 723 405 0 91649 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 378820 KiB
Current children cumulated memory: 301484 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/190 31239
/proc/meminfo: memFree=20918640/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=398272 memory=320936 CPUtime=2442.09 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 476201 0 0 0 243590 619 0 0 20 0 1 0 62333608 407830528 80234 33554432000 4194304 5849740 140734238011264 140734238010264 5438245 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 99568 80234 723 405 0 96512 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 398272 KiB
Current children cumulated memory: 320936 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/190 31240
/proc/meminfo: memFree=20908528/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=398272 memory=320936 CPUtime=2502.08 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 480483 0 0 0 249582 626 0 0 20 0 1 0 62333608 407830528 80234 33554432000 4194304 5849740 140734238011264 140734238010264 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 99568 80234 723 405 0 96512 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 398272 KiB
Current children cumulated memory: 320936 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.06 2.06 3/190 31241
/proc/meminfo: memFree=20813940/32770624 swapFree=67108860/67108860
[pid=30772] ppid=30769 vsize=463808 memory=386472 CPUtime=2519.79 cores=0,2,4,6
/proc/30772/stat : 30772 (xcsp_picat) R 30769 30772 27337 0 -1 4202496 482304 0 0 0 251350 629 0 0 20 0 1 0 62333608 474939392 96618 33554432000 4194304 5849740 140734238011264 140734238010264 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 44564480 140734238016694 140734238016772 140734238016772 140734238019530 0
/proc/30772/statm: 115952 96618 723 405 0 112896 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 463808 KiB
Current children cumulated memory: 386472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30772 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.5 s, system=6.29668 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.01
CPU time (s): 2519.8
CPU user time (s): 2513.5
CPU system time (s): 6.29668
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 537720
Max. memory (cumulated for all children) (KiB): 460388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.5
system time used= 6.29668
maximum resident set size= 460388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482305
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= 107
involuntary context switches= 5331
# summary of solver processes directly reported to runsolver:
# pid: 30772
# total CPU time (s): 2519.8
# total CPU user time (s): 2513.5
# total CPU system time (s): 6.29668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43769 second user time and 19.4111 second system time
The end