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 (13352 MiB free)
memory of node 1: 16384 MiB (11428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407890-1569514310/watcher-4407890-1569514310 -o /var/tmp/evaluation-result-4407890-1569514310/solver-4407890-1569514310 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569509600-6249 --watchdog 2560 xcsp_picat HOME/instance-4407890-1569514310.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
solver pid=7374, runsolver pid=7371
Current StackSize limit: 8192 KiB
[startup+0.100435 s]*
/proc/loadavg: 2.00 2.00 1.95 3/202 7375
/proc/meminfo: memFree=25331540/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2049048 memory=48024 CPUtime=0.1 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 4617 0 0 0 9 1 0 0 20 0 1 0 527345739 2098225152 12006 33554432000 4194304 5870510 140726855544128 140726855543416 140289882135525 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 512262 12006 906 410 0 507735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2049048 KiB
Current children cumulated memory: 48024 KiB
[startup+0.209925 s]*
/proc/loadavg: 2.00 2.00 1.95 3/202 7375
/proc/meminfo: memFree=25313204/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2073964 memory=66564 CPUtime=0.2 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 9316 0 0 0 19 1 0 0 20 0 1 0 527345739 2123739136 16641 33554432000 4194304 5870510 140726855544128 140726855543416 140289882135525 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 518491 16641 906 410 0 513964 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2073964 KiB
Current children cumulated memory: 66564 KiB
[startup+0.309805 s]*
/proc/loadavg: 2.00 2.00 1.95 3/202 7375
/proc/meminfo: memFree=25299984/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2089684 memory=80484 CPUtime=0.31 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 12660 0 0 0 29 2 0 0 20 0 1 0 527345739 2139836416 20121 33554432000 4194304 5870510 140726855544128 140726855542856 140289882135525 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 522421 20121 944 410 0 517894 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2089684 KiB
Current children cumulated memory: 80484 KiB
[startup+0.700391 s]
/proc/loadavg: 2.00 2.00 1.95 3/202 7375
/proc/meminfo: memFree=25282928/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2100052 memory=96188 CPUtime=0.69 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 15483 0 0 0 67 2 0 0 20 0 1 0 527345739 2150453248 24047 33554432000 4194304 5870510 140726855544128 140726855542856 5562056 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 525013 24047 961 410 0 520486 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2100052 KiB
Current children cumulated memory: 96188 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 1.95 3/201 7375
/proc/meminfo: memFree=25280660/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2100052 memory=96188 CPUtime=1.49 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 15483 0 0 0 147 2 0 0 20 0 1 0 527345739 2150453248 24047 33554432000 4194304 5870510 140726855544128 140726855543240 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 525013 24047 961 410 0 520486 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2100052 KiB
Current children cumulated memory: 96188 KiB
[startup+3.10914 s]
/proc/loadavg: 1.92 1.98 1.95 3/201 7375
/proc/meminfo: memFree=25284680/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2100052 memory=96232 CPUtime=3.1 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 17394 0 0 0 308 2 0 0 20 0 1 0 527345739 2150453248 24058 33554432000 4194304 5870510 140726855544128 140726855543240 5562072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 525013 24058 962 410 0 520486 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2100052 KiB
Current children cumulated memory: 96232 KiB
[startup+6.30034 s]
/proc/loadavg: 1.92 1.98 1.95 3/201 7375
/proc/meminfo: memFree=25280420/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2100052 memory=96236 CPUtime=6.29 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 19370 0 0 0 626 3 0 0 20 0 1 0 527345739 2150453248 24059 33554432000 4194304 5870510 140726855544128 140726855543240 5562048 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 525013 24059 962 410 0 520486 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2100052 KiB
Current children cumulated memory: 96236 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.95 3/201 7375
/proc/meminfo: memFree=25286696/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2100052 memory=96260 CPUtime=12.69 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 22625 0 0 0 1266 3 0 0 20 0 1 0 527345739 2150453248 24065 33554432000 4194304 5870510 140726855544128 140726855543240 5407085 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 525013 24065 964 410 0 520486 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2100052 KiB
Current children cumulated memory: 96260 KiB
[startup+25.5005 s]
/proc/loadavg: 1.94 1.98 1.95 3/201 7376
/proc/meminfo: memFree=25236152/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2169248 memory=159040 CPUtime=25.49 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 53207 0 0 0 2542 7 0 0 20 0 1 0 527345739 2221309952 39760 33554432000 4194304 5870510 140726855544128 140726855543448 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 542312 39760 994 410 0 537785 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2169248 KiB
Current children cumulated memory: 159040 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 1.99 1.95 3/201 7378
/proc/meminfo: memFree=25217032/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2169248 memory=161092 CPUtime=51.1 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 66529 0 0 0 5102 8 0 0 20 0 1 0 527345739 2221309952 40273 33554432000 4194304 5870510 140726855544128 140726855543240 5288842 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 542312 40273 994 410 0 537785 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2169248 KiB
Current children cumulated memory: 161092 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.95 3/201 7382
/proc/meminfo: memFree=25207416/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2169248 memory=167904 CPUtime=102.29 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 91790 0 0 0 10219 10 0 0 20 0 1 0 527345739 2221309952 41976 33554432000 4194304 5870510 140726855544128 140726855543144 5262603 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 542312 41976 994 410 0 537785 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2169248 KiB
Current children cumulated memory: 167904 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/200 7386
/proc/meminfo: memFree=25180996/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2218568 memory=200896 CPUtime=162.29 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 105426 0 0 0 16216 13 0 0 20 0 1 0 527345739 2271813632 50224 33554432000 4194304 5870510 140726855544128 140726855542568 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 554642 50224 994 410 0 550115 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 200896 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 7392
/proc/meminfo: memFree=25170972/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2218568 memory=200896 CPUtime=222.29 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 106252 0 0 0 22214 15 0 0 20 0 1 0 527345739 2271813632 50224 33554432000 4194304 5870510 140726855544128 140726855542568 5282295 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 554642 50224 994 410 0 550115 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 200896 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 7396
/proc/meminfo: memFree=25171996/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2218568 memory=203064 CPUtime=282.28 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 116485 0 0 0 28211 17 0 0 20 0 1 0 527345739 2271813632 50766 33554432000 4194304 5870510 140726855544128 140726855542568 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 554642 50766 994 410 0 550115 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 203064 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 7400
/proc/meminfo: memFree=25211416/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2169248 memory=169912 CPUtime=342.27 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 117217 0 0 0 34208 19 0 0 20 0 1 0 527345739 2221309952 42478 33554432000 4194304 5870510 140726855544128 140726855543144 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 542312 42478 994 410 0 537785 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2169248 KiB
Current children cumulated memory: 169912 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 7406
/proc/meminfo: memFree=25172600/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2218568 memory=206384 CPUtime=402.27 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 119511 0 0 0 40206 21 0 0 20 0 1 0 527345739 2271813632 51596 33554432000 4194304 5870510 140726855544128 140726855542568 5308368 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 554642 51596 994 410 0 550115 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 206384 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 7410
/proc/meminfo: memFree=25207676/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2169248 memory=173392 CPUtime=462.27 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 120007 0 0 0 46204 23 0 0 20 0 1 0 527345739 2221309952 43348 33554432000 4194304 5870510 140726855544128 140726855543144 5282721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 542312 43348 994 410 0 537785 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2169248 KiB
Current children cumulated memory: 173392 KiB
################
# More data... #
################
/proc/7374/statm: 554642 51596 994 410 0 550115 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 206384 KiB
[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/192 7573
/proc/meminfo: memFree=25440764/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2218568 memory=208432 CPUtime=1722.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 148868 0 0 0 172154 72 0 0 20 0 1 0 527345739 2271813632 52108 33554432000 4194304 5870510 140726855544128 140726855542568 5282568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 554642 52108 994 410 0 550115 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 208432 KiB
[startup+1782.3 s]
/proc/loadavg: 1.08 1.13 1.48 2/193 7585
/proc/meminfo: memFree=25442544/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2218568 memory=206384 CPUtime=1782.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 149372 0 0 0 178152 74 0 0 20 0 1 0 527345739 2271813632 51596 33554432000 4194304 5870510 140726855544128 140726855542568 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 554642 51596 994 410 0 550115 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2218568 KiB
Current children cumulated memory: 206384 KiB
[startup+1842.3 s]
/proc/loadavg: 1.03 1.10 1.45 2/193 7591
/proc/meminfo: memFree=25445348/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2200008 memory=203948 CPUtime=1842.25 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 151662 0 0 0 184149 76 0 0 20 0 1 0 527345739 2252808192 50987 33554432000 4194304 5870510 140726855544128 140726855543144 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 550002 50987 994 410 0 545475 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2200008 KiB
Current children cumulated memory: 203948 KiB
[startup+1902.3 s]
/proc/loadavg: 1.01 1.09 1.42 2/193 7595
/proc/meminfo: memFree=25409452/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=239184 CPUtime=1902.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 152493 0 0 0 190147 79 0 0 20 0 1 0 527345739 2303311872 59796 33554432000 4194304 5870510 140726855544128 140726855542568 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 59796 994 410 0 557805 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 239184 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.07 1.39 2/193 7599
/proc/meminfo: memFree=25444472/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2200008 memory=204144 CPUtime=1962.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 154804 0 0 0 196144 82 0 0 20 0 1 0 527345739 2252808192 51036 33554432000 4194304 5870510 140726855544128 140726855543144 5282489 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 550002 51036 994 410 0 545475 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2200008 KiB
Current children cumulated memory: 204144 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.06 1.37 2/193 7605
/proc/meminfo: memFree=25413988/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=235088 CPUtime=2022.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 155187 0 0 0 202141 85 0 0 20 0 1 0 527345739 2303311872 58772 33554432000 4194304 5870510 140726855544128 140726855542568 5263528 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 58772 994 410 0 557805 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 235088 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/192 7609
/proc/meminfo: memFree=25444760/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=235088 CPUtime=2082.25 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 157809 0 0 0 208138 87 0 0 20 0 1 0 527345739 2303311872 58772 33554432000 4194304 5870510 140726855544128 140726855542568 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 58772 994 410 0 557805 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 235088 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.04 1.32 2/192 7613
/proc/meminfo: memFree=25413788/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=235088 CPUtime=2142.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 158315 0 0 0 214136 90 0 0 20 0 1 0 527345739 2303311872 58772 33554432000 4194304 5870510 140726855544128 140726855542568 5281782 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 58772 994 410 0 557805 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 235088 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/192 7619
/proc/meminfo: memFree=25406928/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=241232 CPUtime=2202.26 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 160385 0 0 0 220135 91 0 0 20 0 1 0 527345739 2303311872 60308 33554432000 4194304 5870510 140726855544128 140726855542568 5288915 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 60308 994 410 0 557805 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 241232 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/192 7623
/proc/meminfo: memFree=25407264/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=241232 CPUtime=2262.25 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 160819 0 0 0 226132 93 0 0 20 0 1 0 527345739 2303311872 60308 33554432000 4194304 5870510 140726855544128 140726855542568 5282373 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 60308 994 410 0 557805 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 241232 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/192 7627
/proc/meminfo: memFree=25443912/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2200008 memory=204144 CPUtime=2322.25 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 163126 0 0 0 232130 95 0 0 20 0 1 0 527345739 2252808192 51036 33554432000 4194304 5870510 140726855544128 140726855543144 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 550002 51036 994 410 0 545475 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 2200008 KiB
Current children cumulated memory: 204144 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/192 7640
/proc/meminfo: memFree=25444040/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2200008 memory=204144 CPUtime=2382.25 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 163667 0 0 0 238128 97 0 0 20 0 1 0 527345739 2252808192 51036 33554432000 4194304 5870510 140726855544128 140726855543144 5275277 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 550002 51036 994 410 0 545475 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2200008 KiB
Current children cumulated memory: 204144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 1.00 1.01 1.24 2/192 7640
/proc/meminfo: memFree=25413368/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=235088 CPUtime=2400.06 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 163814 0 0 0 239908 98 0 0 20 0 1 0 527345739 2303311872 58772 33554432000 4194304 5870510 140726855544128 140726855542568 5272310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 58772 994 410 0 557805 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 235088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 7374 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.09 s, system=0.988992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 1.00 1.01 1.24 2/192 7640
/proc/meminfo: memFree=25413368/32770624 swapFree=66954172/67108860
[pid=7374] ppid=7371 vsize=2249328 memory=235088 CPUtime=2400.06 cores=0,2,4,6
/proc/7374/stat : 7374 (xcsp_picat) R 7371 7374 6218 0 -1 4202496 163814 0 0 0 239908 98 0 0 20 0 1 0 527345739 2303311872 58772 33554432000 4194304 5870510 140726855544128 140726855542568 5272310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31297536 140726855545863 140726855545945 140726855545945 140726855548870 0
/proc/7374/statm: 562332 58772 994 410 0 557805 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2249328 KiB
Current children cumulated memory: 235088 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.07
CPU user time (s): 2399.09
CPU system time (s): 0.988992
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 2249328
Max. memory (cumulated for all children) (KiB): 245328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.09
system time used= 0.988992
maximum resident set size= 245328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163814
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= 23
involuntary context switches= 3003
# summary of solver processes directly reported to runsolver:
# pid: 7374
# total CPU time (s): 2400.07
# total CPU user time (s): 2399.09
# total CPU system time (s): 0.988992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.56641 second user time and 17.6775 second system time
The end