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 (10936 MiB free)
memory of node 1: 16384 MiB (12383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309480-1534318468/watcher-4309480-1534318468 -o /tmp/evaluation-result-4309480-1534318468/solver-4309480-1534318468 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309480-1534318468.xml
running on 4 cores: 1,3,5,7
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=4290, runsolver pid=4287
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23850624/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2025744 memory=33096 CPUtime=0.1 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1781 0 0 0 10 0 0 0 20 0 1 0 249410022 2074361856 8274 33554432000 4194304 5849940 140726126731072 140726126731072 139724619238400 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 506436 8274 617 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 33096 KiB
[startup+0.209778 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23829896/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2025744 memory=53808 CPUtime=0.21 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1874 0 0 0 21 0 0 0 20 0 1 0 249410022 2074361856 13452 33554432000 4194304 5849940 140726126731072 140726126731072 4489800 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 506436 13452 625 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 53808 KiB
[startup+0.30968 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23812840/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2025744 memory=72740 CPUtime=0.3 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1980 0 0 0 30 0 0 0 20 0 1 0 249410022 2074361856 18185 33554432000 4194304 5849940 140726126731072 140726126731072 4467396 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 506436 18185 656 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 72740 KiB
[startup+0.700293 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23797264/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2028572 memory=85944 CPUtime=0.69 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 2798 0 0 0 67 2 0 0 20 0 1 0 249410022 2077257728 21486 33554432000 4194304 5849940 140726126731072 140726126731072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 507143 21486 704 405 0 504087 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028572 KiB
Current children cumulated memory: 85944 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23773632/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2111032 memory=170392 CPUtime=1.5 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 9711 0 0 0 145 5 0 0 20 0 1 0 249410022 2161696768 42598 33554432000 4194304 5849940 140726126731072 140726126731072 4491059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 527758 42598 706 405 0 524702 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2111032 KiB
Current children cumulated memory: 170392 KiB
[startup+3.10901 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23645184/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2176568 memory=236252 CPUtime=3.1 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 10363 0 0 0 304 6 0 0 20 0 1 0 249410022 2228805632 59063 33554432000 4194304 5849940 140726126731072 140726126731072 5606435 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 544142 59063 724 405 0 541086 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2176568 KiB
Current children cumulated memory: 236252 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23628432/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2178352 memory=238056 CPUtime=6.29 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 33955 0 0 0 621 8 0 0 20 0 1 0 249410022 2230632448 59514 33554432000 4194304 5849940 140726126731072 140726126730312 5317765 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 544588 59514 729 405 0 541532 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2178352 KiB
Current children cumulated memory: 238056 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23641124/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2193884 memory=253312 CPUtime=12.68 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 61136 0 0 0 1256 12 0 0 20 0 1 0 249410022 2246537216 63328 33554432000 4194304 5849940 140726126731072 140726126729560 5306977 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 548471 63328 752 405 0 545415 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2193884 KiB
Current children cumulated memory: 253312 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4291
/proc/meminfo: memFree=23634752/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2193884 memory=253556 CPUtime=25.49 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 85089 0 0 0 2535 14 0 0 20 0 1 0 249410022 2246537216 63389 33554432000 4194304 5849940 140726126731072 140726126728616 4211600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 548471 63389 752 405 0 545415 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2193884 KiB
Current children cumulated memory: 253556 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 4291
/proc/meminfo: memFree=23618412/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2200676 memory=260364 CPUtime=51.09 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 127320 0 0 0 5083 26 0 0 20 0 1 0 249410022 2253492224 65091 33554432000 4194304 5849940 140726126731072 140726126729944 5307683 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 550169 65091 756 405 0 547113 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2200676 KiB
Current children cumulated memory: 260364 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4292
/proc/meminfo: memFree=23633280/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2203204 memory=262892 CPUtime=102.29 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 179824 0 0 0 10186 43 0 0 20 0 1 0 249410022 2256080896 65723 33554432000 4194304 5849940 140726126731072 140726126730072 5361088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 550801 65723 756 405 0 547745 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2203204 KiB
Current children cumulated memory: 262892 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4293
/proc/meminfo: memFree=23586132/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2209080 memory=268704 CPUtime=162.28 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 214591 0 0 0 16156 72 0 0 20 0 1 0 249410022 2262097920 67176 33554432000 4194304 5849940 140726126731072 140726126729944 5375572 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 552270 67176 756 405 0 549214 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2209080 KiB
Current children cumulated memory: 268704 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4294
/proc/meminfo: memFree=23597416/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2224212 memory=283900 CPUtime=222.28 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 250991 0 0 0 22130 98 0 0 20 0 1 0 249410022 2277593088 70975 33554432000 4194304 5849940 140726126731072 140726126730072 5311766 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 556053 70975 756 405 0 552997 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2224212 KiB
Current children cumulated memory: 283900 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 4/187 4355
/proc/meminfo: memFree=23486724/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2224156 memory=283844 CPUtime=282.26 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 271861 0 0 0 28104 122 0 0 20 0 1 0 249410022 2277535744 70961 33554432000 4194304 5849940 140726126731072 140726126729944 5305040 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 556039 70961 756 405 0 552983 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2224156 KiB
Current children cumulated memory: 283844 KiB
[startup+342.3 s]
/proc/loadavg: 2.14 2.06 2.05 4/187 4363
/proc/meminfo: memFree=23480116/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2225892 memory=285580 CPUtime=342.26 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 276525 0 0 0 34079 147 0 0 20 0 1 0 249410022 2279313408 71395 33554432000 4194304 5849940 140726126731072 140726126730072 5310934 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 556473 71395 756 405 0 553417 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2225892 KiB
Current children cumulated memory: 285580 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 4364
/proc/meminfo: memFree=23478572/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2218464 memory=280844 CPUtime=402.25 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 286064 0 0 0 40050 175 0 0 20 0 1 0 249410022 2271707136 70211 33554432000 4194304 5849940 140726126731072 140726126730232 5438400 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 554616 70211 756 405 0 551560 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2218464 KiB
Current children cumulated memory: 280844 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 4/187 4365
/proc/meminfo: memFree=23475784/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2236600 memory=293368 CPUtime=462.25 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 294422 0 0 0 46026 199 0 0 20 0 1 0 249410022 2290278400 73342 33554432000 4194304 5849940 140726126731072 140726126729944 5340580 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 559150 73342 756 405 0 556094 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2236600 KiB
Current children cumulated memory: 293368 KiB
################
# More data... #
################
/proc/4290/statm: 614293 129904 756 405 0 611237 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2457172 KiB
Current children cumulated memory: 519616 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.08 2.07 4/187 4425
/proc/meminfo: memFree=22768384/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2411316 memory=473876 CPUtime=1782.19 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 778279 0 0 0 177430 789 0 0 20 0 1 0 249410022 2469187584 118469 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 602829 118469 756 405 0 599773 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 2411316 KiB
Current children cumulated memory: 473876 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 4426
/proc/meminfo: memFree=22895800/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2458088 memory=520532 CPUtime=1842.18 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 812631 0 0 0 183398 820 0 0 20 0 1 0 249410022 2517082112 130133 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 614522 130133 756 405 0 611466 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 2458088 KiB
Current children cumulated memory: 520532 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.06 4/187 4427
/proc/meminfo: memFree=22867828/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2485888 memory=548188 CPUtime=1902.18 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 840019 0 0 0 189364 854 0 0 20 0 1 0 249410022 2545549312 137047 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 621472 137047 756 405 0 618416 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 2485888 KiB
Current children cumulated memory: 548188 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.06 2.06 4/187 4428
/proc/meminfo: memFree=22940228/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2488856 memory=551300 CPUtime=1962.18 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 886070 0 0 0 195340 878 0 0 20 0 1 0 249410022 2548588544 137825 33554432000 4194304 5849940 140726126731072 140726126730072 5437784 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 622214 137825 756 405 0 619158 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 2488856 KiB
Current children cumulated memory: 551300 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.05 2.05 4/187 4429
/proc/meminfo: memFree=22975480/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2493848 memory=556292 CPUtime=2022.18 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 927959 0 0 0 201311 907 0 0 20 0 1 0 249410022 2553700352 139073 33554432000 4194304 5849940 140726126731072 140726126729944 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 623462 139073 756 405 0 620406 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 2493848 KiB
Current children cumulated memory: 556292 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 4/187 4430
/proc/meminfo: memFree=22553828/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2743024 memory=805468 CPUtime=2082.18 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 960989 0 0 0 207285 933 0 0 20 0 1 0 249410022 2808856576 201367 33554432000 4194304 5849940 140726126731072 140726126730072 5339918 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 685756 201367 756 405 0 682700 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 2743024 KiB
Current children cumulated memory: 805468 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/188 4439
/proc/meminfo: memFree=22935988/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2433552 memory=495996 CPUtime=2142.17 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1001399 0 0 0 213258 959 0 0 20 0 1 0 249410022 2491957248 123999 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 608388 123999 756 405 0 605332 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2433552 KiB
Current children cumulated memory: 495996 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/188 4440
/proc/meminfo: memFree=22975644/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2459120 memory=521564 CPUtime=2202.17 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1042494 0 0 0 219237 980 0 0 20 0 1 0 249410022 2518138880 130391 33554432000 4194304 5849940 140726126731072 140726126730232 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 614780 130391 756 405 0 611724 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2459120 KiB
Current children cumulated memory: 521564 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/188 4441
/proc/meminfo: memFree=23006864/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2385264 memory=447500 CPUtime=2262.17 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1077965 0 0 0 225212 1005 0 0 20 0 1 0 249410022 2442510336 111875 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 596316 111875 756 405 0 593260 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2385264 KiB
Current children cumulated memory: 447500 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/188 4442
/proc/meminfo: memFree=22918020/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2470140 memory=532496 CPUtime=2322.17 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1100250 0 0 0 231181 1036 0 0 20 0 1 0 249410022 2529423360 133124 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 617535 133124 756 405 0 614479 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2470140 KiB
Current children cumulated memory: 532496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 4443
/proc/meminfo: memFree=22870840/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2517012 memory=579456 CPUtime=2382.16 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1137085 0 0 0 237158 1058 0 0 20 0 1 0 249410022 2577420288 144864 33554432000 4194304 5849940 140726126731072 140726126729944 5302125 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 629253 144864 756 405 0 626197 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2517012 KiB
Current children cumulated memory: 579456 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 4444
/proc/meminfo: memFree=22741584/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2516996 memory=579440 CPUtime=2442.17 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1158885 0 0 0 243134 1083 0 0 20 0 1 0 249410022 2577403904 144860 33554432000 4194304 5849940 140726126731072 140726126730072 5311744 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 629249 144860 756 405 0 626193 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 2516996 KiB
Current children cumulated memory: 579440 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4445
/proc/meminfo: memFree=22859780/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2560736 memory=623180 CPUtime=2502.16 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1196459 0 0 0 249103 1113 0 0 20 0 1 0 249410022 2622193664 155795 33554432000 4194304 5849940 140726126731072 140726126730072 5311744 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 640184 155795 756 405 0 637128 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 2560736 KiB
Current children cumulated memory: 623180 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 4446
/proc/meminfo: memFree=22872660/32770624 swapFree=67108196/67108860
[pid=4290] ppid=4287 vsize=2536576 memory=599020 CPUtime=2519.87 cores=1,3,5,7
/proc/4290/stat : 4290 (xcsp_picat) R 4287 4290 32759 0 -1 4202496 1218741 0 0 0 250863 1124 0 0 20 0 1 0 249410022 2597453824 149755 33554432000 4194304 5849940 140726126731072 140726126730072 139724619259783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 25018368 140726126736566 140726126736644 140726126736644 140726126739402 0
/proc/4290/statm: 634144 149755 756 405 0 631088 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 2536576 KiB
Current children cumulated memory: 599020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 4290 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.64 s, system=11.2535 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.89
CPU user time (s): 2508.64
CPU system time (s): 11.2535
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 2835800
Max. memory (cumulated for all children) (KiB): 898372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.64
system time used= 11.2535
maximum resident set size= 898372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1218741
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= 31
involuntary context switches= 966
# summary of solver processes directly reported to runsolver:
# pid: 4290
# total CPU time (s): 2519.89
# total CPU user time (s): 2508.64
# total CPU system time (s): 11.2535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22594 second user time and 18.7464 second system time
The end