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 (15415 MiB free)
memory of node 1: 16384 MiB (13285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407889-1569514304/watcher-4407889-1569514304 -o /var/tmp/evaluation-result-4407889-1569514304/solver-4407889-1569514304 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569509603-12793 --watchdog 2560 xcsp_picat HOME/instance-4407889-1569514304.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=14107, runsolver pid=14104
[startup+0.100149 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=29372276/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=19872 CPUtime=0.1 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 1592 0 0 0 10 0 0 0 20 0 1 0 527668975 2080477184 4968 33554432000 4194304 5870510 140730033319936 140730033319240 4461790 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 4968 837 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 19872 KiB
[startup+0.209697 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=29362060/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=30112 CPUtime=0.21 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 1598 0 0 0 21 0 0 0 20 0 1 0 527668975 2080477184 7528 33554432000 4194304 5870510 140730033319936 140730033319240 4481232 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 7528 837 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30112 KiB
[startup+0.309597 s]*
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=29351820/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=38304 CPUtime=0.3 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 1602 0 0 0 30 0 0 0 20 0 1 0 527668975 2080477184 9576 33554432000 4194304 5870510 140730033319936 140730033319240 4470220 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 9576 837 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38304 KiB
[startup+0.700293 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=29333388/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=71260 CPUtime=0.69 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 1618 0 0 0 68 1 0 0 20 0 1 0 527668975 2080477184 17815 33554432000 4194304 5870510 140730033319936 140730033319240 4513761 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 17815 843 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 71260 KiB
[startup+1.50031 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=29286160/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=138844 CPUtime=1.48 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 1651 0 0 0 146 2 0 0 20 0 1 0 527668975 2080477184 34711 33554432000 4194304 5870510 140730033319936 140730033319240 4480465 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 34711 843 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 138844 KiB
[startup+3.10956 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=29043676/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=325212 CPUtime=3.1 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2035 0 0 0 303 7 0 0 20 0 1 0 527668975 2080477184 81303 33554432000 4194304 5870510 140730033319936 140730033319240 4803968 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 81303 843 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 325212 KiB
[startup+6.30032 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=28715192/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2031716 memory=659484 CPUtime=6.29 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2589 0 0 0 618 11 0 0 20 0 1 0 527668975 2080477184 164871 33554432000 4194304 5870510 140730033319936 140730033319240 4456145 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 507929 164871 890 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 659484 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 14108
/proc/meminfo: memFree=27520744/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2890836 memory=1787660 CPUtime=12.68 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 16445 0 0 0 1241 27 0 0 20 0 1 0 527668975 2960216064 446915 33554432000 4194304 5870510 140730033319936 140730033318664 5307553 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 722709 446915 962 410 0 718182 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2890836 KiB
Current children cumulated memory: 1787660 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 14108
/proc/meminfo: memFree=27406532/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3007120 memory=1895772 CPUtime=25.48 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 28552 0 0 0 2518 30 0 0 20 0 1 0 527668975 3079290880 473943 33554432000 4194304 5870510 140730033319936 140730033318664 4429493 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 751780 473943 962 410 0 747253 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3007120 KiB
Current children cumulated memory: 1895772 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 14111
/proc/meminfo: memFree=27421280/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3029180 memory=1930012 CPUtime=51.09 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 79255 0 0 0 5069 40 0 0 20 0 1 0 527668975 3101880320 482503 33554432000 4194304 5870510 140730033319936 140730033318440 5337288 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 757295 482503 970 410 0 752768 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3029180 KiB
Current children cumulated memory: 1930012 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 14116
/proc/meminfo: memFree=27451072/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3034248 memory=1935928 CPUtime=102.27 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 155054 0 0 0 10178 49 0 0 20 0 1 0 527668975 3107069952 483982 33554432000 4194304 5870510 140730033319936 140730033318120 5258344 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 758562 483982 994 410 0 754035 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3034248 KiB
Current children cumulated memory: 1935928 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/202 14122
/proc/meminfo: memFree=27358404/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3051884 memory=1954724 CPUtime=162.27 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 306747 0 0 0 16165 62 0 0 20 0 1 0 527668975 3125129216 488681 33554432000 4194304 5870510 140730033319936 140730033318952 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 762971 488681 994 410 0 758444 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3051884 KiB
Current children cumulated memory: 1954724 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/201 14126
/proc/meminfo: memFree=27332800/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3113596 memory=1989424 CPUtime=222.26 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 471829 0 0 0 22152 74 0 0 20 0 1 0 527668975 3188322304 497356 33554432000 4194304 5870510 140730033319936 140730033318888 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 778399 497356 994 410 0 773872 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 3113596 KiB
Current children cumulated memory: 1989424 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 14130
/proc/meminfo: memFree=27325436/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3119884 memory=1987668 CPUtime=282.24 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 589455 0 0 0 28140 84 0 0 20 0 1 0 527668975 3194761216 496917 33554432000 4194304 5870510 140730033319936 140730033318232 5282357 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 779971 496917 994 410 0 775444 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3119884 KiB
Current children cumulated memory: 1987668 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 14136
/proc/meminfo: memFree=27277020/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3131224 memory=1994656 CPUtime=342.24 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 708379 0 0 0 34129 95 0 0 20 0 1 0 527668975 3206373376 498664 33554432000 4194304 5870510 140730033319936 140730033318952 5283135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 782806 498664 994 410 0 778279 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 3131224 KiB
Current children cumulated memory: 1994656 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14140
/proc/meminfo: memFree=27313120/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3068832 memory=1959744 CPUtime=402.23 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 789084 0 0 0 40120 103 0 0 20 0 1 0 527668975 3142483968 489936 33554432000 4194304 5870510 140730033319936 140730033318504 4470220 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 767208 489936 1001 410 0 762681 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 3068832 KiB
Current children cumulated memory: 1959744 KiB
[startup+462.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 14144
/proc/meminfo: memFree=27327784/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3118920 memory=1978444 CPUtime=462.22 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 842170 0 0 0 46109 113 0 0 20 0 1 0 527668975 3193774080 494611 33554432000 4194304 5870510 140730033319936 140730033318888 5295787 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 779730 494611 1001 410 0 775203 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 3118920 KiB
Current children cumulated memory: 1978444 KiB
################
# More data... #
################
/proc/14107/statm: 769271 491545 1001 410 0 764744 0
Current children cumulated CPU time: 1662.11 s
Current children cumulated vsize: 3077084 KiB
Current children cumulated memory: 1966180 KiB
[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.52 2/191 14304
/proc/meminfo: memFree=29945648/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3077084 memory=1976252 CPUtime=1722.11 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2042263 0 0 0 171953 258 0 0 20 0 1 0 527668975 3150934016 494063 33554432000 4194304 5870510 140730033319936 140730033318952 5282310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 769271 494063 1001 410 0 764744 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 3077084 KiB
Current children cumulated memory: 1976252 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.49 2/193 14318
/proc/meminfo: memFree=29947956/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3077084 memory=1972564 CPUtime=1782.09 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2044913 0 0 0 177944 265 0 0 20 0 1 0 527668975 3150934016 493141 33554432000 4194304 5870510 140730033319936 140730033318888 5308364 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 769271 493141 1001 410 0 764744 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 3077084 KiB
Current children cumulated memory: 1972564 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.08 1.46 3/192 14322
/proc/meminfo: memFree=30010444/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=2996944 memory=1910172 CPUtime=1842.1 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2047003 0 0 0 183941 269 0 0 20 0 1 0 527668975 3068870656 477543 33554432000 4194304 5870510 140730033319936 140730033318952 5258443 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 749236 477543 1001 410 0 744709 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2996944 KiB
Current children cumulated memory: 1910172 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.06 1.43 2/192 14326
/proc/meminfo: memFree=29979796/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3046264 memory=1941044 CPUtime=1902.09 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2050904 0 0 0 189937 272 0 0 20 0 1 0 527668975 3119374336 485261 33554432000 4194304 5870510 140730033319936 140730033318888 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 761566 485261 1001 410 0 757039 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 3046264 KiB
Current children cumulated memory: 1941044 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.05 1.40 2/193 14332
/proc/meminfo: memFree=29979244/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3046264 memory=1943460 CPUtime=1962.09 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2069613 0 0 0 195926 283 0 0 20 0 1 0 527668975 3119374336 485865 33554432000 4194304 5870510 140730033319936 140730033319048 5281696 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 761566 485865 1001 410 0 757039 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 3046264 KiB
Current children cumulated memory: 1943460 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.04 1.38 2/192 14336
/proc/meminfo: memFree=29938280/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3077084 memory=1982660 CPUtime=2022.09 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2071783 0 0 0 201914 295 0 0 20 0 1 0 527668975 3150934016 495665 33554432000 4194304 5870510 140730033319936 140730033319048 140713978511239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 769271 495665 1001 410 0 764744 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 3077084 KiB
Current children cumulated memory: 1982660 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/192 14340
/proc/meminfo: memFree=29937736/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3077084 memory=1982660 CPUtime=2082.08 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2074522 0 0 0 207902 306 0 0 20 0 1 0 527668975 3150934016 495665 33554432000 4194304 5870510 140730033319936 140730033319048 140713978511239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 769271 495665 1001 410 0 764744 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 3077084 KiB
Current children cumulated memory: 1982660 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/193 14346
/proc/meminfo: memFree=29989880/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3017388 memory=1930444 CPUtime=2142.07 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2077370 0 0 0 213894 313 0 0 20 0 1 0 527668975 3089805312 482611 33554432000 4194304 5870510 140730033319936 140730033318504 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 754347 482611 1001 410 0 749820 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 3017388 KiB
Current children cumulated memory: 1930444 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/192 14350
/proc/meminfo: memFree=29958144/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3066708 memory=1962840 CPUtime=2202.07 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2079720 0 0 0 219891 316 0 0 20 0 1 0 527668975 3140308992 490710 33554432000 4194304 5870510 140730033319936 140730033318376 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 766677 490710 1001 410 0 762150 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 3066708 KiB
Current children cumulated memory: 1962840 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/192 14354
/proc/meminfo: memFree=29937724/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3097528 memory=1983564 CPUtime=2262.07 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2082343 0 0 0 225882 325 0 0 20 0 1 0 527668975 3171868672 495891 33554432000 4194304 5870510 140730033319936 140730033318888 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 774382 495891 1001 410 0 769855 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 3097528 KiB
Current children cumulated memory: 1983564 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/193 14360
/proc/meminfo: memFree=29912448/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3097528 memory=2007996 CPUtime=2322.07 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2086085 0 0 0 231874 333 0 0 20 0 1 0 527668975 3171868672 501999 33554432000 4194304 5870510 140730033319936 140730033319192 4538673 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 774382 501999 1001 410 0 769855 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 3097528 KiB
Current children cumulated memory: 2007996 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/192 14371
/proc/meminfo: memFree=29912652/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3097528 memory=2007996 CPUtime=2382.07 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2089233 0 0 0 237864 343 0 0 20 0 1 0 527668975 3171868672 501999 33554432000 4194304 5870510 140730033319936 140730033319048 5562056 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 774382 501999 1001 410 0 769855 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 3097528 KiB
Current children cumulated memory: 2007996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 1.00 1.01 1.25 3/192 14373
/proc/meminfo: memFree=29949548/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3066708 memory=1971032 CPUtime=2400.06 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2090083 0 0 0 239660 346 0 0 20 0 1 0 527668975 3140308992 492758 33554432000 4194304 5870510 140730033319936 140730033319192 5282489 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 766677 492758 1001 410 0 762150 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 3066708 KiB
Current children cumulated memory: 1971032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 14107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.61 s, system=3.47675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 1.00 1.01 1.25 3/192 14373
/proc/meminfo: memFree=29949548/32770624 swapFree=66951988/67108860
[pid=14107] ppid=14104 vsize=3066708 memory=1971032 CPUtime=2400.06 cores=0,2,4,6
/proc/14107/stat : 14107 (xcsp_picat) R 14104 14107 12762 0 -1 4202496 2090083 0 0 0 239660 346 0 0 20 0 1 0 527668975 3140308992 492758 33554432000 4194304 5870510 140730033319936 140730033319192 5282489 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 23732224 140730033320967 140730033321049 140730033321049 140730033323974 0
/proc/14107/statm: 766677 492758 1001 410 0 762150 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 3066708 KiB
Current children cumulated memory: 1971032 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.08
CPU user time (s): 2396.61
CPU system time (s): 3.47675
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 3261452
Max. memory (cumulated for all children) (KiB): 2099064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.61
system time used= 3.47675
maximum resident set size= 2107256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2090083
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= 76
involuntary context switches= 2136
# summary of solver processes directly reported to runsolver:
# pid: 14107
# total CPU time (s): 2400.08
# total CPU user time (s): 2396.61
# total CPU system time (s): 3.47675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57059 second user time and 19.0742 second system time
The end