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 (6206 MiB free)
memory of node 1: 16384 MiB (8778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309378-1534317583/watcher-4309378-1534317583 -o /tmp/evaluation-result-4309378-1534317583/solver-4309378-1534317583 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5447 --watchdog 2580 xcsp_picat HOME/instance-4309378-1534317583.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=8824, runsolver pid=8821
[startup+0.100434 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15326080/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2025744 memory=23620 CPUtime=0.09 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 1457 0 0 0 9 0 0 0 20 0 1 0 249321516 2074361856 5905 33554432000 4194304 5849940 140720621729408 140720621728712 4504113 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 506436 5905 593 405 0 503380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23620 KiB
[startup+0.209678 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15311752/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2025744 memory=35908 CPUtime=0.2 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 1463 0 0 0 20 0 0 0 20 0 1 0 249321516 2074361856 8977 33554432000 4194304 5849940 140720621729408 140720621728712 4872184 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 506436 8977 593 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35908 KiB
[startup+0.309518 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15299464/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2025744 memory=50244 CPUtime=0.3 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 1470 0 0 0 30 0 0 0 20 0 1 0 249321516 2074361856 12561 33554432000 4194304 5849940 140720621729408 140720621728712 4539630 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 506436 12561 593 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50244 KiB
[startup+0.700306 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15272840/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2025744 memory=97348 CPUtime=0.69 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 1493 0 0 0 68 1 0 0 20 0 1 0 249321516 2074361856 24337 33554432000 4194304 5849940 140720621729408 140720621728712 4513968 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 506436 24337 593 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 97348 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15210904/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2025744 memory=195392 CPUtime=1.48 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 2000 0 0 0 146 2 0 0 20 0 1 0 249321516 2074361856 48848 33554432000 4194304 5849940 140720621729408 140720621728712 4486388 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 506436 48848 636 405 0 503380 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 195392 KiB
[startup+3.10977 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15096132/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2106708 memory=261428 CPUtime=3.09 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 5506 0 0 0 302 7 0 0 20 0 1 0 249321516 2157268992 65357 33554432000 4194304 5849940 140720621729408 140720621728584 139740680789895 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 526677 65357 706 405 0 523621 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2106708 KiB
Current children cumulated memory: 261428 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15287276/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2131292 memory=286096 CPUtime=6.28 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 7062 0 0 0 610 18 0 0 20 0 1 0 249321516 2182443008 71524 33554432000 4194304 5849940 140720621729408 140720621728520 139740680789895 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 532823 71524 706 405 0 529767 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2131292 KiB
Current children cumulated memory: 286096 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8825
/proc/meminfo: memFree=15213584/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2188636 memory=343608 CPUtime=12.69 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 10687 0 0 0 1228 41 0 0 20 0 1 0 249321516 2241163264 85902 33554432000 4194304 5849940 140720621729408 140720621728392 139740680789895 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 547159 85902 706 405 0 544103 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2188636 KiB
Current children cumulated memory: 343608 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 8834
/proc/meminfo: memFree=15028096/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2270556 memory=425528 CPUtime=25.48 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 14759 0 0 0 2462 86 0 0 20 0 1 0 249321516 2325049344 106382 33554432000 4194304 5849940 140720621729408 140720621728648 139740680789895 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 567639 106382 706 405 0 564583 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2270556 KiB
Current children cumulated memory: 425528 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 8834
/proc/meminfo: memFree=14596104/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2434396 memory=589368 CPUtime=51.09 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 17439 0 0 0 4932 177 0 0 20 0 1 0 249321516 2492821504 147342 33554432000 4194304 5849940 140720621729408 140720621728504 139740680789895 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 608599 147342 706 405 0 605543 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2434396 KiB
Current children cumulated memory: 589368 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 8835
/proc/meminfo: memFree=14393736/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=2767644 memory=922616 CPUtime=102.28 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 22919 0 0 0 9873 355 0 0 20 0 1 0 249321516 2834067456 230654 33554432000 4194304 5849940 140720621729408 140720621728648 4561392 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 691911 230654 706 405 0 688855 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2767644 KiB
Current children cumulated memory: 922616 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 8836
/proc/meminfo: memFree=13462360/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3580884 memory=1735964 CPUtime=162.26 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 178033 0 0 0 15778 448 0 0 20 0 1 0 249321516 3666825216 433991 33554432000 4194304 5849940 140720621729408 140720621727896 5319932 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 895221 433991 733 405 0 892165 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 3580884 KiB
Current children cumulated memory: 1735964 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/189 8837
/proc/meminfo: memFree=13470808/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3580884 memory=1735964 CPUtime=222.26 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 201543 0 0 0 21777 449 0 0 20 0 1 0 249321516 3666825216 433991 33554432000 4194304 5849940 140720621729408 140720621727896 5319932 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 895221 433991 733 405 0 892165 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 3580884 KiB
Current children cumulated memory: 1735964 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 8838
/proc/meminfo: memFree=13965048/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3086292 memory=1234800 CPUtime=282.25 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 530798 0 0 0 27757 468 0 0 20 0 1 0 249321516 3160363008 308700 33554432000 4194304 5849940 140720621729408 140720621728280 5335776 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 771573 308700 740 405 0 768517 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 3086292 KiB
Current children cumulated memory: 1234800 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8840
/proc/meminfo: memFree=13448544/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3610580 memory=1759088 CPUtime=342.25 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 618012 0 0 0 33745 480 0 0 20 0 1 0 249321516 3697233920 439772 33554432000 4194304 5849940 140720621729408 140720621727896 5319920 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 902645 439772 740 405 0 899589 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3610580 KiB
Current children cumulated memory: 1759088 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8841
/proc/meminfo: memFree=13447372/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3610580 memory=1759088 CPUtime=402.24 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 703598 0 0 0 39741 483 0 0 20 0 1 0 249321516 3697233920 439772 33554432000 4194304 5849940 140720621729408 140720621727896 5319922 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 902645 439772 740 405 0 899589 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 3610580 KiB
Current children cumulated memory: 1759088 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8842
/proc/meminfo: memFree=13440608/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3610580 memory=1759088 CPUtime=462.23 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 797873 0 0 0 45735 488 0 0 20 0 1 0 249321516 3697233920 439772 33554432000 4194304 5849940 140720621729408 140720621727896 5319941 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 902645 439772 740 405 0 899589 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 3610580 KiB
Current children cumulated memory: 1759088 KiB
################
# More data... #
################
/proc/8824/statm: 897789 438395 749 405 0 894733 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 1753580 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.09 3/187 8882
/proc/meminfo: memFree=13406884/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3591156 memory=1753580 CPUtime=1782.19 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 3508486 0 0 0 177042 1177 0 0 20 0 1 0 249321516 3677343744 438395 33554432000 4194304 5849940 140720621729408 140720621727896 5319945 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 897789 438395 749 405 0 894733 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 1753580 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.05 2.08 3/188 8891
/proc/meminfo: memFree=13405628/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3591156 memory=1753580 CPUtime=1842.19 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 3602077 0 0 0 183038 1181 0 0 20 0 1 0 249321516 3677343744 438395 33554432000 4194304 5849940 140720621729408 140720621727896 5319941 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 897789 438395 749 405 0 894733 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 1753580 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 8892
/proc/meminfo: memFree=13954892/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3042056 memory=1204396 CPUtime=1902.2 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 3901932 0 0 0 189018 1202 0 0 20 0 1 0 249321516 3115065344 301099 33554432000 4194304 5849940 140720621729408 140720621728280 5437828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 760514 301099 749 405 0 757458 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 3042056 KiB
Current children cumulated memory: 1204396 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/188 8893
/proc/meminfo: memFree=13085124/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3911468 memory=2073808 CPUtime=1962.21 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 3998786 0 0 0 195002 1219 0 0 20 0 1 0 249321516 4005343232 518452 33554432000 4194304 5849940 140720621729408 140720621727816 5319920 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 977867 518452 749 405 0 974811 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2073808 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/188 8894
/proc/meminfo: memFree=13085688/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3911468 memory=2073808 CPUtime=2022.21 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4096725 0 0 0 200998 1223 0 0 20 0 1 0 249321516 4005343232 518452 33554432000 4194304 5849940 140720621729408 140720621727816 5319938 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 977867 518452 749 405 0 974811 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2073808 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/188 8895
/proc/meminfo: memFree=13085752/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3911468 memory=2073808 CPUtime=2082.23 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4203239 0 0 0 206995 1228 0 0 20 0 1 0 249321516 4005343232 518452 33554432000 4194304 5849940 140720621729408 140720621727816 4234745 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 977867 518452 749 405 0 974811 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2073808 KiB
[startup+2142.3 s]
/proc/loadavg: 2.14 2.05 2.06 3/187 8897
/proc/meminfo: memFree=13085120/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3911468 memory=2073808 CPUtime=2142.23 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4311175 0 0 0 212991 1232 0 0 20 0 1 0 249321516 4005343232 518452 33554432000 4194304 5849940 140720621729408 140720621727816 139740681191809 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 977867 518452 749 405 0 974811 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2073808 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/187 8898
/proc/meminfo: memFree=13955072/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3039788 memory=1200372 CPUtime=2202.24 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4569778 0 0 0 218973 1251 0 0 20 0 1 0 249321516 3112742912 300093 33554432000 4194304 5849940 140720621729408 140720621728408 5340604 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 759947 300093 749 405 0 756891 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 3039788 KiB
Current children cumulated memory: 1200372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 8899
/proc/meminfo: memFree=13141216/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3852056 memory=2014480 CPUtime=2262.25 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4722609 0 0 0 224949 1276 0 0 20 0 1 0 249321516 3944505344 503620 33554432000 4194304 5849940 140720621729408 140720621727816 4235038 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 963014 503620 749 405 0 959958 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 3852056 KiB
Current children cumulated memory: 2014480 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 8901
/proc/meminfo: memFree=13619552/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3373376 memory=1535800 CPUtime=2322.26 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4909457 0 0 0 230935 1291 0 0 20 0 1 0 249321516 3454337024 383950 33554432000 4194304 5849940 140720621729408 140720621728168 5335727 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 843344 383950 749 405 0 840288 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 3373376 KiB
Current children cumulated memory: 1535800 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8903
/proc/meminfo: memFree=13978032/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3033124 memory=1195548 CPUtime=2382.26 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 4940631 0 0 0 236920 1306 0 0 20 0 1 0 249321516 3105918976 298887 33554432000 4194304 5849940 140720621729408 140720621728120 5335712 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 758281 298887 749 405 0 755225 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 3033124 KiB
Current children cumulated memory: 1195548 KiB
[startup+2442.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/189 9037
/proc/meminfo: memFree=13945100/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3371388 memory=1533812 CPUtime=2442.27 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 5114081 0 0 0 242894 1333 0 0 20 0 1 0 249321516 3452301312 383453 33554432000 4194304 5849940 140720621729408 140720621728408 139740680789895 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 842847 383453 749 405 0 839791 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 3371388 KiB
Current children cumulated memory: 1533812 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/190 9061
/proc/meminfo: memFree=14176384/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3041216 memory=1203224 CPUtime=2502.27 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 5176389 0 0 0 248880 1347 0 0 20 0 1 0 249321516 3114205184 300806 33554432000 4194304 5849940 140720621729408 140720621728280 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 760304 300806 749 405 0 757248 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 3041216 KiB
Current children cumulated memory: 1203224 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.99 2.00 2.04 3/190 9061
/proc/meminfo: memFree=14287876/32770624 swapFree=67108504/67108860
[pid=8824] ppid=8821 vsize=3031088 memory=1186840 CPUtime=2519.99 cores=0,2,4,6
/proc/8824/stat : 8824 (xcsp_picat) R 8821 8824 5416 0 -1 4202496 5261745 0 0 0 250643 1356 0 0 20 0 1 0 249321516 3103834112 296710 33554432000 4194304 5849940 140720621729408 140720621728408 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18870272 140720621733046 140720621733124 140720621733124 140720621735882 0
/proc/8824/statm: 757772 296710 749 405 0 754716 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 3031088 KiB
Current children cumulated memory: 1186840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 8824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.43 s, system=13.615 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.06
CPU time (s): 2520.05
CPU user time (s): 2506.43
CPU system time (s): 13.615
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 3911468
Max. memory (cumulated for all children) (KiB): 2073808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.43
system time used= 13.615
maximum resident set size= 2073808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5261745
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= 13
involuntary context switches= 1692
# summary of solver processes directly reported to runsolver:
# pid: 8824
# total CPU time (s): 2520.05
# total CPU user time (s): 2506.43
# total CPU system time (s): 13.615
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68805 second user time and 18.4869 second system time
The end