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 (11836 MiB free)
memory of node 1: 16384 MiB (9506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309327-1534296143/watcher-4309327-1534296143 -o /tmp/evaluation-result-4309327-1534296143/solver-4309327-1534296143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16867 --watchdog 2580 xcsp_picat HOME/instance-4309327-1534296143.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
solver pid=17432, runsolver pid=17429
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21833504/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2025744 memory=24076 CPUtime=0.1 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 1080 0 0 0 10 0 0 0 20 0 1 0 247177450 2074361856 6019 33554432000 4194304 5849940 140726298782976 140726298782976 4511415 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 506436 6019 590 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24076 KiB
[startup+0.209709 s]*
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21824936/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2025744 memory=32268 CPUtime=0.21 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 1084 0 0 0 21 0 0 0 20 0 1 0 247177450 2074361856 8067 33554432000 4194304 5849940 140726298782976 140726298782280 4333597 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 506436 8067 590 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32268 KiB
[startup+0.309573 s]*
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21816744/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2025744 memory=40460 CPUtime=0.31 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 1088 0 0 0 31 0 0 0 20 0 1 0 247177450 2074361856 10115 33554432000 4194304 5849940 140726298782976 140726298782280 139794975800320 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 506436 10115 590 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 40460 KiB
[startup+0.700361 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21800360/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2025744 memory=73376 CPUtime=0.69 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 1125 0 0 0 68 1 0 0 20 0 1 0 247177450 2074361856 18344 33554432000 4194304 5849940 140726298782976 140726298782280 4563388 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 506436 18344 606 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 73376 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21741224/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2145708 memory=228192 CPUtime=1.5 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 12851 0 0 0 145 5 0 0 20 0 1 0 247177450 2197204992 57048 33554432000 4194304 5849940 140726298782976 140726298782168 5379131 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 536427 57048 647 405 0 533371 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2145708 KiB
Current children cumulated memory: 228192 KiB
[startup+3.10965 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21373112/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2399564 memory=482324 CPUtime=3.1 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 53736 0 0 0 297 13 0 0 20 0 1 0 247177450 2457153536 120581 33554432000 4194304 5849940 140726298782976 140726298781672 5317718 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 599891 120581 652 405 0 596835 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2399564 KiB
Current children cumulated memory: 482324 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21352640/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2497580 memory=571972 CPUtime=6.29 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 58779 0 0 0 613 16 0 0 20 0 1 0 247177450 2557521920 142993 33554432000 4194304 5849940 140726298782976 140726298781736 4217974 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 624395 142993 670 405 0 621339 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2497580 KiB
Current children cumulated memory: 571972 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21340872/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2454884 memory=529600 CPUtime=12.69 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 110140 0 0 0 1247 22 0 0 20 0 1 0 247177450 2513801216 132400 33554432000 4194304 5849940 140726298782976 140726298781464 5333243 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 613721 132400 673 405 0 610665 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2454884 KiB
Current children cumulated memory: 529600 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21294380/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2487656 memory=562452 CPUtime=25.49 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 141361 0 0 0 2526 23 0 0 20 0 1 0 247177450 2547359744 140613 33554432000 4194304 5849940 140726298782976 140726298781464 4205055 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 621914 140613 674 405 0 618858 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2487656 KiB
Current children cumulated memory: 562452 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17433
/proc/meminfo: memFree=21283148/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2498804 memory=573600 CPUtime=51.1 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 146491 0 0 0 5086 24 0 0 20 0 1 0 247177450 2558775296 143400 33554432000 4194304 5849940 140726298782976 140726298781224 4205059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 624701 143400 674 405 0 621645 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2498804 KiB
Current children cumulated memory: 573600 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17434
/proc/meminfo: memFree=21283404/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2498804 memory=573600 CPUtime=102.29 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 154118 0 0 0 10205 24 0 0 20 0 1 0 247177450 2558775296 143400 33554432000 4194304 5849940 140726298782976 140726298781224 4205101 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 624701 143400 674 405 0 621645 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2498804 KiB
Current children cumulated memory: 573600 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17436
/proc/meminfo: memFree=21247104/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2498804 memory=573600 CPUtime=162.29 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 163497 0 0 0 16204 25 0 0 20 0 1 0 247177450 2558775296 143400 33554432000 4194304 5849940 140726298782976 140726298781224 4205078 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 624701 143400 674 405 0 621645 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2498804 KiB
Current children cumulated memory: 573600 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17437
/proc/meminfo: memFree=21216444/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2518080 memory=600576 CPUtime=222.29 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 219051 0 0 0 22199 30 0 0 20 0 1 0 247177450 2578513920 150144 33554432000 4194304 5849940 140726298782976 140726298781976 5307765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 629520 150144 677 405 0 626464 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2518080 KiB
Current children cumulated memory: 600576 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17438
/proc/meminfo: memFree=21321612/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2482172 memory=565860 CPUtime=282.29 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 258237 0 0 0 28185 44 0 0 20 0 1 0 247177450 2541744128 141465 33554432000 4194304 5849940 140726298782976 140726298781464 4205041 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 620543 141465 690 405 0 617487 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2482172 KiB
Current children cumulated memory: 565860 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17440
/proc/meminfo: memFree=21358372/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2384300 memory=467996 CPUtime=342.28 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 285370 0 0 0 34182 46 0 0 20 0 1 0 247177450 2441523200 116999 33554432000 4194304 5849940 140726298782976 140726298781976 5437837 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 596075 116999 690 405 0 593019 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2384300 KiB
Current children cumulated memory: 467996 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17441
/proc/meminfo: memFree=21423788/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2384300 memory=468004 CPUtime=402.28 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 302062 0 0 0 40180 48 0 0 20 0 1 0 247177450 2441523200 117001 33554432000 4194304 5849940 140726298782976 140726298781976 5339250 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 596075 117001 692 405 0 593019 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2384300 KiB
Current children cumulated memory: 468004 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 17447
/proc/meminfo: memFree=21376040/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2433020 memory=516724 CPUtime=462.28 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 340881 0 0 0 46165 63 0 0 20 0 1 0 247177450 2491412480 129181 33554432000 4194304 5849940 140726298782976 140726298781848 5416906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 608255 129181 692 405 0 605199 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2433020 KiB
Current children cumulated memory: 516724 KiB
################
# More data... #
################
/proc/17432/statm: 546061 68624 692 405 0 543005 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2184244 KiB
Current children cumulated memory: 274496 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/189 17524
/proc/meminfo: memFree=21262856/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2184244 memory=274496 CPUtime=1782.23 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 602961 0 0 0 178003 220 0 0 20 0 1 0 247177450 2236665856 68624 33554432000 4194304 5849940 140726298782976 140726298781976 139794975821703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 546061 68624 692 405 0 543005 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2184244 KiB
Current children cumulated memory: 274496 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/189 17525
/proc/meminfo: memFree=21099208/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2217804 memory=307792 CPUtime=1842.23 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 615582 0 0 0 183967 256 0 0 20 0 1 0 247177450 2271031296 76948 33554432000 4194304 5849940 140726298782976 140726298781976 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 554451 76948 692 405 0 551395 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2217804 KiB
Current children cumulated memory: 307792 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/188 17526
/proc/meminfo: memFree=21083288/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2233988 memory=324240 CPUtime=1902.23 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 627543 0 0 0 189940 283 0 0 20 0 1 0 247177450 2287603712 81060 33554432000 4194304 5849940 140726298782976 140726298781976 5339024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 558497 81060 692 405 0 555441 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2233988 KiB
Current children cumulated memory: 324240 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/187 17528
/proc/meminfo: memFree=21083588/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2233988 memory=324240 CPUtime=1962.23 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 638469 0 0 0 195915 308 0 0 20 0 1 0 247177450 2287603712 81060 33554432000 4194304 5849940 140726298782976 140726298781976 139794975821703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 558497 81060 692 405 0 555441 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2233988 KiB
Current children cumulated memory: 324240 KiB
[startup+2022.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/187 17529
/proc/meminfo: memFree=21061996/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2256292 memory=346544 CPUtime=2022.23 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 653137 0 0 0 201895 328 0 0 20 0 1 0 247177450 2310443008 86636 33554432000 4194304 5849940 140726298782976 140726298781976 139794975821703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 564073 86636 692 405 0 561017 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2256292 KiB
Current children cumulated memory: 346544 KiB
[startup+2082.3 s]
/proc/loadavg: 2.37 2.15 2.06 3/187 17530
/proc/meminfo: memFree=20982804/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2256292 memory=346544 CPUtime=2082.22 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 664072 0 0 0 207876 346 0 0 20 0 1 0 247177450 2310443008 86636 33554432000 4194304 5849940 140726298782976 140726298782136 5437928 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 564073 86636 692 405 0 561017 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2256292 KiB
Current children cumulated memory: 346544 KiB
[startup+2142.3 s]
/proc/loadavg: 2.14 2.13 2.05 3/187 17532
/proc/meminfo: memFree=20957932/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2281168 memory=371420 CPUtime=2142.23 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 678500 0 0 0 213862 361 0 0 20 0 1 0 247177450 2335916032 92855 33554432000 4194304 5849940 140726298782976 140726298781848 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 570292 92855 692 405 0 567236 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2281168 KiB
Current children cumulated memory: 371420 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.10 2.05 3/186 17533
/proc/meminfo: memFree=20893544/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2346704 memory=436956 CPUtime=2202.22 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 689875 0 0 0 219848 374 0 0 20 0 1 0 247177450 2403024896 109239 33554432000 4194304 5849940 140726298782976 140726298781976 139794975821703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 586676 109239 692 405 0 583620 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2346704 KiB
Current children cumulated memory: 436956 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.10 2.05 3/188 17543
/proc/meminfo: memFree=20856368/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2346704 memory=436956 CPUtime=2262.22 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 701111 0 0 0 225828 394 0 0 20 0 1 0 247177450 2403024896 109239 33554432000 4194304 5849940 140726298782976 140726298781976 5312930 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 586676 109239 692 405 0 583620 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2346704 KiB
Current children cumulated memory: 436956 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/189 17567
/proc/meminfo: memFree=21057444/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2346704 memory=436956 CPUtime=2322.22 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 710474 0 0 0 231809 413 0 0 20 0 1 0 247177450 2403024896 109239 33554432000 4194304 5849940 140726298782976 140726298781976 5438047 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 586676 109239 692 405 0 583620 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2346704 KiB
Current children cumulated memory: 436956 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/189 17628
/proc/meminfo: memFree=21700556/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2385312 memory=475564 CPUtime=2382.22 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 731789 0 0 0 237792 430 0 0 20 0 1 0 247177450 2442559488 118891 33554432000 4194304 5849940 140726298782976 140726298781976 139794975821703 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 596328 118891 692 405 0 593272 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2385312 KiB
Current children cumulated memory: 475564 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/189 17629
/proc/meminfo: memFree=21696560/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2385312 memory=475564 CPUtime=2442.21 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 738604 0 0 0 243779 442 0 0 20 0 1 0 247177450 2442559488 118891 33554432000 4194304 5849940 140726298782976 140726298781976 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 596328 118891 692 405 0 593272 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2385312 KiB
Current children cumulated memory: 475564 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 17630
/proc/meminfo: memFree=21683660/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2385312 memory=475564 CPUtime=2502.21 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 748677 0 0 0 249769 452 0 0 20 0 1 0 247177450 2442559488 118891 33554432000 4194304 5849940 140726298782976 140726298781976 5437824 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 596328 118891 692 405 0 593272 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2385312 KiB
Current children cumulated memory: 475564 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/189 17630
/proc/meminfo: memFree=21691784/32770624 swapFree=67105356/67108860
[pid=17432] ppid=17429 vsize=2385312 memory=475564 CPUtime=2519.93 cores=0,2,4,6
/proc/17432/stat : 17432 (xcsp_picat) R 17429 17432 16836 0 -1 4202496 748765 0 0 0 251538 455 0 0 20 0 1 0 247177450 2442559488 118891 33554432000 4194304 5849940 140726298782976 140726298781976 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 47071232 140726298784950 140726298785028 140726298785028 140726298787786 0
/proc/17432/statm: 596328 118891 692 405 0 593272 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2385312 KiB
Current children cumulated memory: 475564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 17432 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.38 s, system=4.5609 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.94
CPU user time (s): 2515.38
CPU system time (s): 4.5609
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 2604008
Max. memory (cumulated for all children) (KiB): 628664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.38
system time used= 4.5609
maximum resident set size= 628664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748766
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= 25
involuntary context switches= 4189
# summary of solver processes directly reported to runsolver:
# pid: 17432
# total CPU time (s): 2519.94
# total CPU user time (s): 2515.38
# total CPU system time (s): 4.5609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99003 second user time and 18.1408 second system time
The end