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 (14798 MiB free)
memory of node 1: 16384 MiB (14935 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395406-1568344525/watcher-4395406-1568344525 -o /tmp/evaluation-result-4395406-1568344525/solver-4395406-1568344525 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25671 --watchdog 2580 xcsp_picat HOME/instance-4395406-1568344525.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=32100, runsolver pid=32097
Current StackSize limit: 8192 KiB
[startup+0.100677 s]*
/proc/loadavg: 1.92 2.03 2.05 3/198 32101
/proc/meminfo: memFree=30418032/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2031716 memory=33416 CPUtime=0.1 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1407 0 0 0 10 0 0 0 20 0 1 0 410707139 2080477184 8354 33554432000 4194304 5870510 140727436686320 140727436685624 4456104 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 507929 8354 835 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33416 KiB
[startup+0.209563 s]*
/proc/loadavg: 1.92 2.03 2.05 3/198 32101
/proc/meminfo: memFree=30396956/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2039532 memory=56928 CPUtime=0.21 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1619 0 0 0 20 1 0 0 20 0 1 0 410707139 2088480768 14232 33554432000 4194304 5870510 140727436686320 140727436685624 4477248 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 509883 14232 887 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 56928 KiB
[startup+0.309429 s]*
/proc/loadavg: 1.92 2.03 2.05 3/198 32101
/proc/meminfo: memFree=30383676/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2039532 memory=74340 CPUtime=0.3 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1918 0 0 0 29 1 0 0 20 0 1 0 410707139 2088480768 18585 33554432000 4194304 5870510 140727436686320 140727436685624 5419008 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 509883 18585 892 410 0 505356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 74340 KiB
[startup+0.700234 s]
/proc/loadavg: 1.92 2.03 2.05 3/198 32101
/proc/meminfo: memFree=30353148/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2061128 memory=100056 CPUtime=0.68 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 5917 0 0 0 66 2 0 0 20 0 1 0 410707139 2110595072 25014 33554432000 4194304 5870510 140727436686320 140727436685416 5478371 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 515282 25014 975 410 0 510755 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2061128 KiB
Current children cumulated memory: 100056 KiB
[startup+1.50029 s]
/proc/loadavg: 1.92 2.03 2.05 3/198 32101
/proc/meminfo: memFree=30350172/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2064000 memory=106072 CPUtime=1.48 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 7047 0 0 0 145 3 0 0 20 0 1 0 410707139 2113536000 26518 33554432000 4194304 5870510 140727436686320 140727436685496 140430345568135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 516000 26518 975 410 0 511473 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2064000 KiB
Current children cumulated memory: 106072 KiB
[startup+3.10934 s]
/proc/loadavg: 1.92 2.03 2.05 3/198 32101
/proc/meminfo: memFree=30339164/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2074908 memory=113836 CPUtime=3.09 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 10200 0 0 0 304 5 0 0 20 0 1 0 410707139 2124705792 28459 33554432000 4194304 5870510 140727436686320 140727436685496 140430345568135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 518727 28459 975 410 0 514200 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2074908 KiB
Current children cumulated memory: 113836 KiB
[startup+6.30034 s]
/proc/loadavg: 1.85 2.01 2.05 3/198 32101
/proc/meminfo: memFree=30088472/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2323916 memory=363664 CPUtime=6.28 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 97406 0 0 0 607 21 0 0 20 0 1 0 410707139 2379689984 90916 33554432000 4194304 5870510 140727436686320 140727436684872 5337413 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 580979 90916 984 410 0 576452 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2323916 KiB
Current children cumulated memory: 363664 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 2.01 2.05 3/198 32101
/proc/meminfo: memFree=30110928/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2304800 memory=335604 CPUtime=12.69 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 133326 0 0 0 1245 24 0 0 20 0 1 0 410707139 2360115200 83901 33554432000 4194304 5870510 140727436686320 140727436684680 5258752 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 576200 83901 1007 410 0 571673 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2304800 KiB
Current children cumulated memory: 335604 KiB
[startup+25.5004 s]
/proc/loadavg: 1.89 2.01 2.05 3/198 32103
/proc/meminfo: memFree=30121476/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2304800 memory=337672 CPUtime=25.48 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 163055 0 0 0 2522 26 0 0 20 0 1 0 410707139 2360115200 84418 33554432000 4194304 5870510 140727436686320 140727436684680 140430350788444 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 576200 84418 1007 410 0 571673 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2304800 KiB
Current children cumulated memory: 337672 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 2.01 2.05 3/198 32104
/proc/meminfo: memFree=30107512/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2304800 memory=343824 CPUtime=51.09 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 197751 0 0 0 5081 28 0 0 20 0 1 0 410707139 2360115200 85956 33554432000 4194304 5870510 140727436686320 140727436685432 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 576200 85956 1008 410 0 571673 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2304800 KiB
Current children cumulated memory: 343824 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.05 3/198 32108
/proc/meminfo: memFree=30089188/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2361016 memory=357768 CPUtime=102.29 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 281024 0 0 0 10193 36 0 0 20 0 1 0 410707139 2417680384 89442 33554432000 4194304 5870510 140727436686320 140727436684616 5258783 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 590254 89442 1008 410 0 585727 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2361016 KiB
Current children cumulated memory: 357768 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/198 32114
/proc/meminfo: memFree=30074552/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2324460 memory=365636 CPUtime=162.29 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 382233 0 0 0 16167 62 0 0 20 0 1 0 410707139 2380247040 91409 33554432000 4194304 5870510 140727436686320 140727436684968 5337297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 581115 91409 1015 410 0 576588 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2324460 KiB
Current children cumulated memory: 365636 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 32118
/proc/meminfo: memFree=30072220/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2374548 memory=372508 CPUtime=222.28 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 384056 0 0 0 22164 64 0 0 20 0 1 0 410707139 2431537152 93127 33554432000 4194304 5870510 140727436686320 140727436685272 140430350788444 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 593637 93127 1015 410 0 589110 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2374548 KiB
Current children cumulated memory: 372508 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32123
/proc/meminfo: memFree=30026392/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2510244 memory=482216 CPUtime=282.28 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 430319 0 0 0 28157 71 0 0 20 0 1 0 410707139 2570489856 120554 33554432000 4194304 5870510 140727436686320 140727436684680 5305211 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 627561 120554 1015 410 0 623034 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2510244 KiB
Current children cumulated memory: 482216 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32129
/proc/meminfo: memFree=30033892/32770624 swapFree=66996696/67108860
[pid=32100] ppid=32097 vsize=2405016 memory=402056 CPUtime=342.28 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 474168 0 0 0 34148 80 0 0 20 0 1 0 410707139 2462736384 100514 33554432000 4194304 5870510 140727436686320 140727436684680 5289033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 601254 100514 1015 410 0 596727 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2405016 KiB
Current children cumulated memory: 402056 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32201
/proc/meminfo: memFree=30051484/32770624 swapFree=66996704/67108860
[pid=32100] ppid=32097 vsize=2411688 memory=433288 CPUtime=402.26 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 479628 0 0 0 40138 88 0 0 20 0 1 0 410707139 2469568512 108322 33554432000 4194304 5870510 140727436686320 140727436684680 5288794 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 602922 108322 1015 410 0 598395 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2411688 KiB
Current children cumulated memory: 433288 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32205
/proc/meminfo: memFree=30008828/32770624 swapFree=66996704/67108860
[pid=32100] ppid=32097 vsize=2412692 memory=419548 CPUtime=462.24 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 501180 0 0 0 46120 104 0 0 20 0 1 0 410707139 2470596608 104887 33554432000 4194304 5870510 140727436686320 140727436685272 140430350807963 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 603173 104887 1015 410 0 598646 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2412692 KiB
Current children cumulated memory: 419548 KiB
################
# More data... #
################
/proc/32100/statm: 609403 114230 1015 410 0 604876 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 2437612 KiB
Current children cumulated memory: 456920 KiB
[startup+1782.3 s]
/proc/loadavg: 2.53 2.18 2.10 3/199 32328
/proc/meminfo: memFree=29904936/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2440608 memory=463948 CPUtime=1782.15 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 977000 0 0 0 177844 371 0 0 20 0 1 0 410707139 2499182592 115987 33554432000 4194304 5870510 140727436686320 140727436685272 5282738 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 610152 115987 1015 410 0 605625 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2440608 KiB
Current children cumulated memory: 463948 KiB
[startup+1842.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/199 32332
/proc/meminfo: memFree=29894168/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2443756 memory=476388 CPUtime=1842.15 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 986892 0 0 0 183833 382 0 0 20 0 1 0 410707139 2502406144 119097 33554432000 4194304 5870510 140727436686320 140727436685336 5282621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 610939 119097 1015 410 0 606412 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2443756 KiB
Current children cumulated memory: 476388 KiB
[startup+1902.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/198 32336
/proc/meminfo: memFree=29893776/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2443756 memory=467360 CPUtime=1902.15 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1021647 0 0 0 189820 395 0 0 20 0 1 0 410707139 2502406144 116840 33554432000 4194304 5870510 140727436686320 140727436685336 5281827 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 610939 116840 1015 410 0 606412 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 2443756 KiB
Current children cumulated memory: 467360 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/198 32342
/proc/meminfo: memFree=29899580/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2447104 memory=460428 CPUtime=1962.13 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1054523 0 0 0 195807 406 0 0 20 0 1 0 410707139 2505834496 115107 33554432000 4194304 5870510 140727436686320 140727436685336 5288964 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 611776 115107 1015 410 0 607249 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 2447104 KiB
Current children cumulated memory: 460428 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/198 32346
/proc/meminfo: memFree=29911592/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2447104 memory=463140 CPUtime=2022.13 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1062174 0 0 0 201792 421 0 0 20 0 1 0 410707139 2505834496 115785 33554432000 4194304 5870510 140727436686320 140727436685336 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 611776 115785 1015 410 0 607249 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 2447104 KiB
Current children cumulated memory: 463140 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/198 32350
/proc/meminfo: memFree=29877312/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2448120 memory=494712 CPUtime=2082.13 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1098245 0 0 0 207776 437 0 0 20 0 1 0 410707139 2506874880 123678 33554432000 4194304 5870510 140727436686320 140727436685336 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 612030 123678 1015 410 0 607503 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 2448120 KiB
Current children cumulated memory: 494712 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/198 32356
/proc/meminfo: memFree=29891028/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2449000 memory=474380 CPUtime=2142.13 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1128383 0 0 0 213762 451 0 0 20 0 1 0 410707139 2507776000 118595 33554432000 4194304 5870510 140727436686320 140727436685336 5274526 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 612250 118595 1015 410 0 607723 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2449000 KiB
Current children cumulated memory: 474380 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 32368
/proc/meminfo: memFree=29862840/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2453148 memory=490120 CPUtime=2202.13 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1164699 0 0 0 219750 463 0 0 20 0 1 0 410707139 2512023552 122530 33554432000 4194304 5870510 140727436686320 140727436684680 5262800 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 613287 122530 1015 410 0 608760 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 2453148 KiB
Current children cumulated memory: 490120 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/199 32372
/proc/meminfo: memFree=29833376/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2455372 memory=496344 CPUtime=2262.12 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1198160 0 0 0 225738 474 0 0 20 0 1 0 410707139 2514300928 124086 33554432000 4194304 5870510 140727436686320 140727436684680 5308358 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 613843 124086 1015 410 0 609316 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2455372 KiB
Current children cumulated memory: 496344 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 32378
/proc/meminfo: memFree=29817408/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2459304 memory=491888 CPUtime=2322.11 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1229079 0 0 0 231721 490 0 0 20 0 1 0 410707139 2518327296 122972 33554432000 4194304 5870510 140727436686320 140727436685336 5262777 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 614826 122972 1015 410 0 610299 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 2459304 KiB
Current children cumulated memory: 491888 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 32382
/proc/meminfo: memFree=29845932/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2463200 memory=469964 CPUtime=2382.11 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1240706 0 0 0 237705 506 0 0 20 0 1 0 410707139 2522316800 117491 33554432000 4194304 5870510 140727436686320 140727436685336 5288765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 615800 117491 1015 410 0 611273 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2463200 KiB
Current children cumulated memory: 469964 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 32386
/proc/meminfo: memFree=29854016/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2464220 memory=471324 CPUtime=2442.11 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1278730 0 0 0 243688 523 0 0 20 0 1 0 410707139 2523361280 117831 33554432000 4194304 5870510 140727436686320 140727436685336 5282736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 616055 117831 1015 410 0 611528 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 2464220 KiB
Current children cumulated memory: 471324 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 32393
/proc/meminfo: memFree=29840364/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2464220 memory=507896 CPUtime=2502.1 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1309656 0 0 0 249676 534 0 0 20 0 1 0 410707139 2523361280 126974 33554432000 4194304 5870510 140727436686320 140727436685336 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 616055 126974 1015 410 0 611528 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 2464220 KiB
Current children cumulated memory: 507896 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/198 32393
/proc/meminfo: memFree=29852392/32770624 swapFree=66996708/67108860
[pid=32100] ppid=32097 vsize=2464220 memory=502616 CPUtime=2519.81 cores=0,2,4,6
/proc/32100/stat : 32100 (xcsp_picat) R 32097 32100 25640 0 -1 4202496 1311777 0 0 0 251442 539 0 0 20 0 1 0 410707139 2523361280 125654 33554432000 4194304 5870510 140727436686320 140727436685336 5262594 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 15126528 140727436690463 140727436690541 140727436690541 140727436693450 0
/proc/32100/statm: 616055 125654 1015 410 0 611528 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 2464220 KiB
Current children cumulated memory: 502616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 32100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.43 s, system=5.40871 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.84
CPU user time (s): 2514.43
CPU system time (s): 5.40871
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 2675836
Max. memory (cumulated for all children) (KiB): 661044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.43
system time used= 5.40871
maximum resident set size= 665148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1311777
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= 74
involuntary context switches= 2535
# summary of solver processes directly reported to runsolver:
# pid: 32100
# total CPU time (s): 2519.84
# total CPU user time (s): 2514.43
# total CPU system time (s): 5.40871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2978 second user time and 17.7943 second system time
The end