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 (5728 MiB free)
memory of node 1: 16384 MiB (5464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293908-1532392320/watcher-4293908-1532392320 -o /tmp/evaluation-result-4293908-1532392320/solver-4293908-1532392320 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13985 --watchdog 2580 xcsp_picat HOME/instance-4293908-1532392320.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=16187, runsolver pid=16184
[startup+0.100207 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11429880/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=111688 memory=22360 CPUtime=0.1 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 1677 0 0 0 10 0 0 0 20 0 1 0 56795174 114368512 5590 33554432000 4194304 5849740 140725400481328 140725400481328 4488893 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 27922 5590 602 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 22360 KiB
[startup+0.209784 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11400964/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=135212 memory=34696 CPUtime=0.21 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 2709 0 0 0 21 0 0 0 20 0 1 0 56795174 138457088 8674 33554432000 4194304 5849740 140725400481328 140725400481328 140581706771456 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 33803 8674 633 405 0 30747 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 135212 KiB
Current children cumulated memory: 34696 KiB
[startup+0.309694 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11386364/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=135212 memory=34696 CPUtime=0.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 2709 0 0 0 31 0 0 0 20 0 1 0 56795174 138457088 8674 33554432000 4194304 5849740 140725400481328 140725400481328 140581706771456 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 33803 8674 633 405 0 30747 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 135212 KiB
Current children cumulated memory: 34696 KiB
[startup+0.700432 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11359740/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=140656 memory=52364 CPUtime=0.69 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3617 0 0 0 68 1 0 0 20 0 1 0 56795174 144031744 13091 33554432000 4194304 5849740 140725400481328 140725400480632 4548512 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 35164 13091 633 405 0 32108 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 140656 KiB
Current children cumulated memory: 52364 KiB
[startup+1.50044 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11320468/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=148112 memory=66760 CPUtime=1.49 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 6574 0 0 0 145 4 0 0 20 0 1 0 56795174 151666688 16690 33554432000 4194304 5849740 140725400481328 140725400480648 4376701 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 37028 16690 633 405 0 33972 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148112 KiB
Current children cumulated memory: 66760 KiB
[startup+3.10973 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11164776/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=161020 memory=85144 CPUtime=3.1 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 18822 0 0 0 293 17 0 0 20 0 1 0 56795174 164884480 21286 33554432000 4194304 5849740 140725400481328 140725400480648 5250792 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 40255 21286 633 405 0 37199 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 161020 KiB
Current children cumulated memory: 85144 KiB
[startup+6.30043 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11171696/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=177264 memory=97196 CPUtime=6.29 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 42623 0 0 0 583 46 0 0 20 0 1 0 56795174 181518336 24299 33554432000 4194304 5849740 140725400481328 140725400480296 5251261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 44316 24299 633 405 0 41260 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 177264 KiB
Current children cumulated memory: 97196 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=10979516/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=288940 memory=158468 CPUtime=12.7 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 58805 0 0 0 1185 85 0 0 20 0 1 0 56795174 295874560 39617 33554432000 4194304 5849740 140725400481328 140725400480296 5251261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 72235 39617 634 405 0 69179 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 288940 KiB
Current children cumulated memory: 158468 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=10812724/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=531008 memory=387468 CPUtime=25.49 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 82014 0 0 0 2363 186 0 0 20 0 1 0 56795174 543752192 96867 33554432000 4194304 5849740 140725400481328 140725400480632 4795081 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 132752 96867 634 405 0 129696 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 531008 KiB
Current children cumulated memory: 387468 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=10547112/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=569308 memory=356220 CPUtime=51.11 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 121536 0 0 0 4721 390 0 0 20 0 1 0 56795174 582971392 89055 33554432000 4194304 5849740 140725400481328 140725400480296 5250744 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 142327 89055 634 405 0 139271 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 569308 KiB
Current children cumulated memory: 356220 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16189
/proc/meminfo: memFree=10192216/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=1119652 memory=1046692 CPUtime=102.29 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 172194 0 0 0 9467 762 0 0 20 0 1 0 56795174 1146523648 261673 33554432000 4194304 5849740 140725400481328 140725400480296 5262149 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 279913 261673 634 405 0 276857 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1119652 KiB
Current children cumulated memory: 1046692 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16190
/proc/meminfo: memFree=8338248/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=2856412 memory=2746380 CPUtime=162.3 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 254788 0 0 0 15004 1226 0 0 20 0 1 0 56795174 2924965888 686595 33554432000 4194304 5849740 140725400481328 140725400480616 4862598 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 714103 686595 667 405 0 711047 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2856412 KiB
Current children cumulated memory: 2746380 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16191
/proc/meminfo: memFree=7454112/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5213120 memory=3665688 CPUtime=222.3 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 294327 0 0 0 20869 1361 0 0 20 0 1 0 56795174 5338234880 916422 33554432000 4194304 5849740 140725400481328 140725400479816 5319737 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1303280 916422 757 405 0 1300224 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 5213120 KiB
Current children cumulated memory: 3665688 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16192
/proc/meminfo: memFree=7450152/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5213120 memory=3665756 CPUtime=282.29 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 299149 0 0 0 26868 1361 0 0 20 0 1 0 56795174 5338234880 916439 33554432000 4194304 5849740 140725400481328 140725400479816 5319724 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1303280 916439 758 405 0 1300224 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 5213120 KiB
Current children cumulated memory: 3665756 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16193
/proc/meminfo: memFree=7446636/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5147584 memory=3600248 CPUtime=342.3 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 421616 0 0 0 32859 1371 0 0 20 0 1 0 56795174 5271126016 900062 33554432000 4194304 5849740 140725400481328 140725400480328 5333772 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1286896 900062 764 405 0 1283840 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 5147584 KiB
Current children cumulated memory: 3600248 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16194
/proc/meminfo: memFree=7381180/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5213120 memory=3665784 CPUtime=402.29 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 517899 0 0 0 38853 1376 0 0 20 0 1 0 56795174 5338234880 916446 33554432000 4194304 5849740 140725400481328 140725400479816 5319714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1303280 916446 764 405 0 1300224 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 5213120 KiB
Current children cumulated memory: 3665784 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16195
/proc/meminfo: memFree=7485136/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5177300 memory=3629964 CPUtime=462.3 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 639855 0 0 0 44833 1397 0 0 20 0 1 0 56795174 5301555200 907491 33554432000 4194304 5849740 140725400481328 140725400479816 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1294325 907491 764 405 0 1291269 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 5177300 KiB
Current children cumulated memory: 3629964 KiB
################
# More data... #
################
/proc/16187/statm: 1293586 906752 764 405 0 1290530 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 5174344 KiB
Current children cumulated memory: 3627008 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16265
/proc/meminfo: memFree=7400856/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174344 memory=3627008 CPUtime=1782.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3386858 0 0 0 175993 2238 0 0 20 0 1 0 56795174 5298528256 906752 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293586 906752 764 405 0 1290530 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 5174344 KiB
Current children cumulated memory: 3627008 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16266
/proc/meminfo: memFree=7482992/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174272 memory=3626936 CPUtime=1842.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3484347 0 0 0 181954 2277 0 0 20 0 1 0 56795174 5298454528 906734 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293568 906734 764 405 0 1290512 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 5174272 KiB
Current children cumulated memory: 3626936 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16267
/proc/meminfo: memFree=7401756/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174272 memory=3626936 CPUtime=1902.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3598421 0 0 0 187910 2321 0 0 20 0 1 0 56795174 5298454528 906734 33554432000 4194304 5849740 140725400481328 140725400480488 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293568 906734 764 405 0 1290512 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 5174272 KiB
Current children cumulated memory: 3626936 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16268
/proc/meminfo: memFree=7492580/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174272 memory=3626936 CPUtime=1962.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3719965 0 0 0 193879 2352 0 0 20 0 1 0 56795174 5298454528 906734 33554432000 4194304 5849740 140725400481328 140725400480200 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293568 906734 764 405 0 1290512 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 5174272 KiB
Current children cumulated memory: 3626936 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16269
/proc/meminfo: memFree=7482088/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174196 memory=3626860 CPUtime=2022.32 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3813008 0 0 0 199843 2389 0 0 20 0 1 0 56795174 5298376704 906715 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293549 906715 764 405 0 1290493 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 5174196 KiB
Current children cumulated memory: 3626860 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16270
/proc/meminfo: memFree=7407624/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174196 memory=3626860 CPUtime=2082.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 3922437 0 0 0 205808 2423 0 0 20 0 1 0 56795174 5298376704 906715 33554432000 4194304 5849740 140725400481328 140725400480328 5395577 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293549 906715 764 405 0 1290493 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 5174196 KiB
Current children cumulated memory: 3626860 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16271
/proc/meminfo: memFree=7401944/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174196 memory=3626860 CPUtime=2142.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4027847 0 0 0 211770 2461 0 0 20 0 1 0 56795174 5298376704 906715 33554432000 4194304 5849740 140725400481328 140725400480328 5437560 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293549 906715 764 405 0 1290493 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 5174196 KiB
Current children cumulated memory: 3626860 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16336
/proc/meminfo: memFree=8827116/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174068 memory=3626732 CPUtime=2202.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4122409 0 0 0 217727 2504 0 0 20 0 1 0 56795174 5298245632 906683 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293517 906683 764 405 0 1290461 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 5174068 KiB
Current children cumulated memory: 3626732 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16337
/proc/meminfo: memFree=7969124/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174068 memory=3626732 CPUtime=2262.32 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4240861 0 0 0 223690 2542 0 0 20 0 1 0 56795174 5298245632 906683 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293517 906683 764 405 0 1290461 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 5174068 KiB
Current children cumulated memory: 3626732 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16343
/proc/meminfo: memFree=6821228/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5174068 memory=3626732 CPUtime=2322.32 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4334155 0 0 0 229649 2583 0 0 20 0 1 0 56795174 5298245632 906683 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1293517 906683 764 405 0 1290461 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 5174068 KiB
Current children cumulated memory: 3626732 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 16404
/proc/meminfo: memFree=8673116/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5177484 memory=3630148 CPUtime=2382.31 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4433246 0 0 0 235609 2622 0 0 20 0 1 0 56795174 5301743616 907537 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1294371 907537 764 405 0 1291315 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 5177484 KiB
Current children cumulated memory: 3630148 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16405
/proc/meminfo: memFree=7953172/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5177484 memory=3630148 CPUtime=2442.32 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4540406 0 0 0 241572 2660 0 0 20 0 1 0 56795174 5301743616 907537 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1294371 907537 764 405 0 1291315 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 5177484 KiB
Current children cumulated memory: 3630148 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16406
/proc/meminfo: memFree=7979952/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5177484 memory=3630148 CPUtime=2502.32 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4633026 0 0 0 247532 2700 0 0 20 0 1 0 56795174 5301743616 907537 33554432000 4194304 5849740 140725400481328 140725400480488 5307529 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1294371 907537 764 405 0 1291315 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 5177484 KiB
Current children cumulated memory: 3630148 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16407
/proc/meminfo: memFree=6996960/32770624 swapFree=67108860/67108860
[pid=16187] ppid=16184 vsize=5177484 memory=3630148 CPUtime=2520.03 cores=0,2,4,6
/proc/16187/stat : 16187 (xcsp_picat) R 16184 16187 13954 0 -1 4202496 4680090 0 0 0 249291 2712 0 0 20 0 1 0 56795174 5301743616 907537 33554432000 4194304 5849740 140725400481328 140725400480328 140581706792839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 46096384 140725400487094 140725400487172 140725400487172 140725400489930 0
/proc/16187/statm: 1294371 907537 764 405 0 1291315 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 5177484 KiB
Current children cumulated memory: 3630148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 16187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2492.92 s, system=27.1384 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.03
CPU time (s): 2520.06
CPU user time (s): 2492.92
CPU system time (s): 27.1384
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 7014020
Max. memory (cumulated for all children) (KiB): 4927500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2492.92
system time used= 27.1384
maximum resident set size= 4927500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4680090
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= 9
involuntary context switches= 679
# summary of solver processes directly reported to runsolver:
# pid: 16187
# total CPU time (s): 2520.06
# total CPU user time (s): 2492.92
# total CPU system time (s): 27.1384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1863 second user time and 18.1329 second system time
The end