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 (6559 MiB free)
memory of node 1: 16384 MiB (5444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303325-1534028787/watcher-4303325-1534028787 -o /tmp/evaluation-result-4303325-1534028787/solver-4303325-1534028787 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534028710-14264 --watchdog 2580 xcsp_picat HOME/instance-4303325-1534028787.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14359, runsolver pid=14356
[startup+0.100102 s]*
/proc/loadavg: 1.69 1.25 1.21 3/187 14360
/proc/meminfo: memFree=12277312/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2033912 memory=17996 CPUtime=0.1 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 1642 0 0 0 10 0 0 0 20 0 1 0 220441947 2082725888 4499 33554432000 4194304 5849708 140734771829056 140734771829056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 508478 4499 686 405 0 505423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033912 KiB
Current children cumulated memory: 17996 KiB
[startup+0.209939 s]*
/proc/loadavg: 1.69 1.25 1.21 3/187 14360
/proc/meminfo: memFree=12266956/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2042416 memory=26640 CPUtime=0.2 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 3794 0 0 0 20 0 0 0 20 0 1 0 220441947 2091433984 6660 33554432000 4194304 5849708 140734771829056 140734771829056 4454725 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 510604 6660 691 405 0 507549 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042416 KiB
Current children cumulated memory: 26640 KiB
[startup+0.309663 s]*
/proc/loadavg: 1.69 1.25 1.21 3/187 14360
/proc/meminfo: memFree=12265764/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2041608 memory=25756 CPUtime=0.31 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 3894 0 0 0 30 1 0 0 20 0 1 0 220441947 2090606592 6439 33554432000 4194304 5849708 140734771829056 140734771827992 5392441 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 510402 6439 696 405 0 507347 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041608 KiB
Current children cumulated memory: 25756 KiB
[startup+0.70037 s]
/proc/loadavg: 1.69 1.25 1.21 3/187 14360
/proc/meminfo: memFree=12275644/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2046072 memory=30320 CPUtime=0.69 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 4513 0 0 0 68 1 0 0 20 0 1 0 220441947 2095177728 7580 33554432000 4194304 5849708 140734771829056 140734771827448 5360896 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 511518 7580 709 405 0 508463 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2046072 KiB
Current children cumulated memory: 30320 KiB
[startup+1.50029 s]
/proc/loadavg: 1.69 1.25 1.21 3/187 14360
/proc/meminfo: memFree=12271612/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2045664 memory=29900 CPUtime=1.49 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 4677 0 0 0 148 1 0 0 20 0 1 0 220441947 2094759936 7475 33554432000 4194304 5849708 140734771829056 140734771827448 5308035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 511416 7475 715 405 0 508361 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2045664 KiB
Current children cumulated memory: 29900 KiB
[startup+3.10919 s]
/proc/loadavg: 1.72 1.26 1.21 3/187 14360
/proc/meminfo: memFree=12275124/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2049044 memory=33252 CPUtime=3.1 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 7121 0 0 0 309 1 0 0 20 0 1 0 220441947 2098221056 8313 33554432000 4194304 5849708 140734771829056 140734771827448 4211607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 512261 8313 719 405 0 509206 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2049044 KiB
Current children cumulated memory: 33252 KiB
[startup+6.30027 s]
/proc/loadavg: 1.72 1.26 1.21 3/187 14360
/proc/meminfo: memFree=12264652/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2049044 memory=33448 CPUtime=6.29 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 9055 0 0 0 628 1 0 0 20 0 1 0 220441947 2098221056 8362 33554432000 4194304 5849708 140734771829056 140734771827464 4230689 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 512261 8362 719 405 0 509206 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2049044 KiB
Current children cumulated memory: 33448 KiB
[startup+12.7003 s]
/proc/loadavg: 1.76 1.29 1.22 3/187 14360
/proc/meminfo: memFree=12265520/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2047232 memory=31572 CPUtime=12.69 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 12474 0 0 0 1264 5 0 0 20 0 1 0 220441947 2096365568 7893 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 511808 7893 723 405 0 508753 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2047232 KiB
Current children cumulated memory: 31572 KiB
[startup+25.5003 s]
/proc/loadavg: 1.80 1.31 1.23 3/187 14360
/proc/meminfo: memFree=12259472/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2050580 memory=34936 CPUtime=25.49 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 20458 0 0 0 2539 10 0 0 20 0 1 0 220441947 2099793920 8734 33554432000 4194304 5849708 140734771829056 140734771827464 4211671 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 512645 8734 723 405 0 509590 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2050580 KiB
Current children cumulated memory: 34936 KiB
[startup+51.1095 s]
/proc/loadavg: 1.87 1.36 1.25 3/187 14360
/proc/meminfo: memFree=12256776/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2049684 memory=33924 CPUtime=51.1 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 33698 0 0 0 5087 23 0 0 20 0 1 0 220441947 2098876416 8481 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 512421 8481 723 405 0 509366 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2049684 KiB
Current children cumulated memory: 33924 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.47 1.29 3/187 14361
/proc/meminfo: memFree=12232676/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2064212 memory=48560 CPUtime=102.29 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 62868 0 0 0 10179 50 0 0 20 0 1 0 220441947 2113753088 12140 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 516053 12140 723 405 0 512998 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2064212 KiB
Current children cumulated memory: 48560 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.57 1.34 3/187 14362
/proc/meminfo: memFree=12233960/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2064532 memory=48888 CPUtime=162.3 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 86589 0 0 0 16150 80 0 0 20 0 1 0 220441947 2114080768 12222 33554432000 4194304 5849708 140734771829056 140734771827928 4230674 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 516133 12222 723 405 0 513078 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2064532 KiB
Current children cumulated memory: 48888 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.65 1.38 3/188 14371
/proc/meminfo: memFree=12232232/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2078920 memory=63276 CPUtime=222.3 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 105223 0 0 0 22121 109 0 0 20 0 1 0 220441947 2128814080 15819 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 519730 15819 723 405 0 516675 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2078920 KiB
Current children cumulated memory: 63276 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.71 1.42 3/188 14372
/proc/meminfo: memFree=12202904/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2092644 memory=77000 CPUtime=282.3 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 118582 0 0 0 28101 129 0 0 20 0 1 0 220441947 2142867456 19250 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 523161 19250 723 405 0 520106 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2092644 KiB
Current children cumulated memory: 77000 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.76 1.45 3/188 14373
/proc/meminfo: memFree=12174120/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2120392 memory=104748 CPUtime=342.3 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 134313 0 0 0 34076 154 0 0 20 0 1 0 220441947 2171281408 26187 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 530098 26187 723 405 0 527043 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2120392 KiB
Current children cumulated memory: 104748 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.49 3/188 14374
/proc/meminfo: memFree=12175716/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2104228 memory=88584 CPUtime=402.3 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 147479 0 0 0 40053 177 0 0 20 0 1 0 220441947 2154729472 22146 33554432000 4194304 5849708 140734771829056 140734771827544 5340335 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 526057 22146 723 405 0 523002 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2104228 KiB
Current children cumulated memory: 88584 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.52 3/188 14375
/proc/meminfo: memFree=12177400/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2107148 memory=91504 CPUtime=462.3 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 165286 0 0 0 46030 200 0 0 20 0 1 0 220441947 2157719552 22876 33554432000 4194304 5849708 140734771829056 140734771828216 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 526787 22876 723 405 0 523732 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2107148 KiB
Current children cumulated memory: 91504 KiB
################
# More data... #
################
/proc/14359/statm: 541039 38720 723 405 0 537984 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2164156 KiB
Current children cumulated memory: 154880 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 1.93 3/187 14416
/proc/meminfo: memFree=12075888/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2164508 memory=155232 CPUtime=1782.31 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 361794 0 0 0 177643 588 0 0 20 0 1 0 220441947 2216456192 38808 33554432000 4194304 5849708 140734771829056 140734771828056 5360453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 541127 38808 723 405 0 538072 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2164508 KiB
Current children cumulated memory: 155232 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 1.93 3/187 14417
/proc/meminfo: memFree=12061660/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2176572 memory=167296 CPUtime=1842.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 364208 0 0 0 183628 604 0 0 20 0 1 0 220441947 2228809728 41824 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 544143 41824 723 405 0 541088 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2176572 KiB
Current children cumulated memory: 167296 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 1.94 3/187 14418
/proc/meminfo: memFree=12090876/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2160144 memory=150844 CPUtime=1902.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 369101 0 0 0 189614 618 0 0 20 0 1 0 220441947 2211987456 37711 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 540036 37711 723 405 0 536981 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2160144 KiB
Current children cumulated memory: 150844 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/187 14419
/proc/meminfo: memFree=12111228/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2132168 memory=122796 CPUtime=1962.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 371540 0 0 0 195599 633 0 0 20 0 1 0 220441947 2183340032 30699 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 533042 30699 723 405 0 529987 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2132168 KiB
Current children cumulated memory: 122796 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/188 14428
/proc/meminfo: memFree=12079916/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2161364 memory=152088 CPUtime=2022.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 375605 0 0 0 201584 648 0 0 20 0 1 0 220441947 2213236736 38022 33554432000 4194304 5849708 140734771829056 140734771828216 5335584 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 540341 38022 723 405 0 537286 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2161364 KiB
Current children cumulated memory: 152088 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/188 14429
/proc/meminfo: memFree=12040632/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2164112 memory=154836 CPUtime=2082.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 378897 0 0 0 207569 663 0 0 20 0 1 0 220441947 2216050688 38709 33554432000 4194304 5849708 140734771829056 140734771828056 5437721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 541028 38709 723 405 0 537973 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2164112 KiB
Current children cumulated memory: 154836 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/188 14430
/proc/meminfo: memFree=12086340/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2131020 memory=121872 CPUtime=2142.33 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 382883 0 0 0 213554 679 0 0 20 0 1 0 220441947 2182164480 30468 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 532755 30468 723 405 0 529700 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2131020 KiB
Current children cumulated memory: 121872 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/188 14431
/proc/meminfo: memFree=12113900/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2121252 memory=111916 CPUtime=2202.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 388373 0 0 0 219535 697 0 0 20 0 1 0 220441947 2172162048 27979 33554432000 4194304 5849708 140734771829056 140734771828056 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 530313 27979 723 405 0 527258 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2121252 KiB
Current children cumulated memory: 111916 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 14432
/proc/meminfo: memFree=12126136/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2112780 memory=103536 CPUtime=2262.33 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 397172 0 0 0 225516 717 0 0 20 0 1 0 220441947 2163486720 25884 33554432000 4194304 5849708 140734771829056 140734771828056 5312656 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 528195 25884 723 405 0 525140 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2112780 KiB
Current children cumulated memory: 103536 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 14433
/proc/meminfo: memFree=12087000/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2162020 memory=152728 CPUtime=2322.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 402889 0 0 0 231496 736 0 0 20 0 1 0 220441947 2213908480 38182 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 540505 38182 723 405 0 537450 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2162020 KiB
Current children cumulated memory: 152728 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 14434
/proc/meminfo: memFree=12059360/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2153272 memory=143996 CPUtime=2382.33 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 407070 0 0 0 237480 753 0 0 20 0 1 0 220441947 2204950528 35999 33554432000 4194304 5849708 140734771829056 140734771828056 5312898 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 538318 35999 723 405 0 535263 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2153272 KiB
Current children cumulated memory: 143996 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 14435
/proc/meminfo: memFree=12067968/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2170520 memory=153300 CPUtime=2442.33 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 410645 0 0 0 243462 771 0 0 20 0 1 0 220441947 2222612480 38325 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 542630 38325 723 405 0 539575 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2170520 KiB
Current children cumulated memory: 153300 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 14497
/proc/meminfo: memFree=12130588/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2171992 memory=158912 CPUtime=2502.32 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 415604 0 0 0 249450 782 0 0 20 0 1 0 220441947 2224119808 39728 33554432000 4194304 5849708 140734771829056 140734771828056 140674478686087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 542998 39728 723 405 0 539943 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2171992 KiB
Current children cumulated memory: 158912 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 14498
/proc/meminfo: memFree=12151892/32770624 swapFree=67108496/67108860
[pid=14359] ppid=14356 vsize=2171992 memory=158912 CPUtime=2520.04 cores=0,2,4,6
/proc/14359/stat : 14359 (xcsp_picat) R 14356 14359 14233 0 -1 4202496 417922 0 0 0 251218 786 0 0 20 0 1 0 220441947 2224119808 39728 33554432000 4194304 5849708 140734771829056 140734771828056 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42041344 140734771836086 140734771836164 140734771836164 140734771838922 0
/proc/14359/statm: 542998 39728 723 405 0 539943 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2171992 KiB
Current children cumulated memory: 158912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.18 s, system=7.86914 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.01
CPU time (s): 2520.05
CPU user time (s): 2512.18
CPU system time (s): 7.86914
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2217100
Max. memory (cumulated for all children) (KiB): 207588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.18
system time used= 7.86914
maximum resident set size= 207588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417922
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= 21
involuntary context switches= 831
# summary of solver processes directly reported to runsolver:
# pid: 14359
# total CPU time (s): 2520.05
# total CPU user time (s): 2512.18
# total CPU system time (s): 7.86914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57971 second user time and 18.6773 second system time
The end