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 (6668 MiB free)
memory of node 1: 16384 MiB (9389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303326-1534029114/watcher-4303326-1534029114 -o /tmp/evaluation-result-4303326-1534029114/solver-4303326-1534029114 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534026591-4845 --watchdog 2580 xcsp_picat HOME/instance-4303326-1534029114.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
Current StackSize limit: 8192 KiB
solver pid=5228, runsolver pid=5225
[startup+0.100115 s]*
/proc/loadavg: 2.00 2.12 2.05 3/188 5229
/proc/meminfo: memFree=16424808/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2034156 memory=20832 CPUtime=0.1 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 1830 0 0 0 10 0 0 0 20 0 1 0 220474560 2082975744 5208 33554432000 4194304 5849708 140731294905648 140731294905648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 508539 5208 688 405 0 505484 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2034156 KiB
Current children cumulated memory: 20832 KiB
[startup+0.20966 s]*
/proc/loadavg: 2.00 2.12 2.05 3/188 5229
/proc/meminfo: memFree=16417740/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2042484 memory=29268 CPUtime=0.21 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 3921 0 0 0 21 0 0 0 20 0 1 0 220474560 2091503616 7317 33554432000 4194304 5849708 140731294905648 140731294905648 4558815 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 510621 7317 689 405 0 507566 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2042484 KiB
Current children cumulated memory: 29268 KiB
[startup+0.309633 s]*
/proc/loadavg: 1.92 2.10 2.05 3/188 5229
/proc/meminfo: memFree=16408064/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2048492 memory=35424 CPUtime=0.3 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 4952 0 0 0 30 0 0 0 20 0 1 0 220474560 2097655808 8856 33554432000 4194304 5849708 140731294905648 140731294905648 5375961 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 512123 8856 691 405 0 509068 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2048492 KiB
Current children cumulated memory: 35424 KiB
[startup+0.700347 s]
/proc/loadavg: 1.92 2.10 2.05 3/188 5229
/proc/meminfo: memFree=16409884/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2057624 memory=41864 CPUtime=0.69 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 6186 0 0 0 69 0 0 0 20 0 1 0 220474560 2107006976 10466 33554432000 4194304 5849708 140731294905648 140731294905648 140553071859616 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 514406 10466 710 405 0 511351 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2057624 KiB
Current children cumulated memory: 41864 KiB
[startup+1.50033 s]
/proc/loadavg: 1.92 2.10 2.05 3/188 5229
/proc/meminfo: memFree=16401176/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2057744 memory=44268 CPUtime=1.49 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 6514 0 0 0 148 1 0 0 20 0 1 0 220474560 2107129856 11067 33554432000 4194304 5849708 140731294905648 140731294903896 5308741 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 514436 11067 715 405 0 511381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2057744 KiB
Current children cumulated memory: 44268 KiB
[startup+3.10918 s]
/proc/loadavg: 1.92 2.10 2.05 3/188 5229
/proc/meminfo: memFree=16392412/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2063776 memory=50476 CPUtime=3.1 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 10164 0 0 0 309 1 0 0 20 0 1 0 220474560 2113306624 12619 33554432000 4194304 5849708 140731294905648 140731294903192 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 515944 12619 719 405 0 512889 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2063776 KiB
Current children cumulated memory: 50476 KiB
[startup+6.30023 s]
/proc/loadavg: 1.93 2.10 2.05 3/188 5229
/proc/meminfo: memFree=16384744/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2063776 memory=50476 CPUtime=6.29 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 13150 0 0 0 628 1 0 0 20 0 1 0 220474560 2113306624 12619 33554432000 4194304 5849708 140731294905648 140731294903192 4211671 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 515944 12619 719 405 0 512889 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2063776 KiB
Current children cumulated memory: 50476 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.10 2.05 3/188 5229
/proc/meminfo: memFree=16382960/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2063776 memory=50476 CPUtime=12.69 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 16696 0 0 0 1268 1 0 0 20 0 1 0 220474560 2113306624 12619 33554432000 4194304 5849708 140731294905648 140731294903192 4211600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 515944 12619 719 405 0 512889 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2063776 KiB
Current children cumulated memory: 50476 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.09 2.05 3/188 5229
/proc/meminfo: memFree=16376636/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2060120 memory=47088 CPUtime=25.49 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 27874 0 0 0 2538 11 0 0 20 0 1 0 220474560 2109562880 11772 33554432000 4194304 5849708 140731294905648 140731294904648 4234725 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 515030 11772 723 405 0 511975 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060120 KiB
Current children cumulated memory: 47088 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.08 2.05 3/188 5229
/proc/meminfo: memFree=16367220/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2061392 memory=48260 CPUtime=51.1 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 35870 0 0 0 5089 21 0 0 20 0 1 0 220474560 2110865408 12065 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 515348 12065 723 405 0 512293 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2061392 KiB
Current children cumulated memory: 48260 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.07 2.05 3/188 5230
/proc/meminfo: memFree=16336028/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2087484 memory=74452 CPUtime=102.3 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 56834 0 0 0 10197 33 0 0 20 0 1 0 220474560 2137583616 18613 33554432000 4194304 5849708 140731294905648 140731294904648 5312612 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 521871 18613 723 405 0 518816 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2087484 KiB
Current children cumulated memory: 74452 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.06 2.05 3/188 5231
/proc/meminfo: memFree=16334900/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2070536 memory=57504 CPUtime=162.3 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 67251 0 0 0 16178 52 0 0 20 0 1 0 220474560 2120228864 14376 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 517634 14376 723 405 0 514579 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2070536 KiB
Current children cumulated memory: 57504 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 5232
/proc/meminfo: memFree=16324868/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2085928 memory=73024 CPUtime=222.32 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 81193 0 0 0 22156 76 0 0 20 0 1 0 220474560 2135990272 18256 33554432000 4194304 5849708 140731294905648 140731294904520 4211600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 521482 18256 723 405 0 518427 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2085928 KiB
Current children cumulated memory: 73024 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 5233
/proc/meminfo: memFree=16285568/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2112304 memory=99272 CPUtime=282.33 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 89336 0 0 0 28133 100 0 0 20 0 1 0 220474560 2162999296 24818 33554432000 4194304 5849708 140731294905648 140731294904648 5391852 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 528076 24818 723 405 0 525021 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 2112304 KiB
Current children cumulated memory: 99272 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5234
/proc/meminfo: memFree=16291840/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2104432 memory=91260 CPUtime=342.33 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 100965 0 0 0 34113 120 0 0 20 0 1 0 220474560 2154938368 22815 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 526108 22815 723 405 0 523053 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2104432 KiB
Current children cumulated memory: 91260 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5235
/proc/meminfo: memFree=16258144/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2129688 memory=116572 CPUtime=402.34 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 108327 0 0 0 40093 141 0 0 20 0 1 0 220474560 2180800512 29143 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 532422 29143 723 405 0 529367 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 2129688 KiB
Current children cumulated memory: 116572 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5236
/proc/meminfo: memFree=16291792/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2104052 memory=90764 CPUtime=462.34 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 114763 0 0 0 46069 165 0 0 20 0 1 0 220474560 2154549248 22691 33554432000 4194304 5849708 140731294905648 140731294904648 5394875 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 526013 22691 723 405 0 522958 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2104052 KiB
Current children cumulated memory: 90764 KiB
################
# More data... #
################
/proc/5228/statm: 551674 49914 723 405 0 548619 0
Current children cumulated CPU time: 1722.48 s
Current children cumulated vsize: 2206696 KiB
Current children cumulated memory: 199656 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5281
/proc/meminfo: memFree=16149408/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2205828 memory=198700 CPUtime=1782.49 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 260632 0 0 0 177658 591 0 0 20 0 1 0 220474560 2258767872 49675 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 551457 49675 723 405 0 548402 0
Current children cumulated CPU time: 1782.49 s
Current children cumulated vsize: 2205828 KiB
Current children cumulated memory: 198700 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5282
/proc/meminfo: memFree=16189996/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2178176 memory=171240 CPUtime=1842.5 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 261214 0 0 0 183642 608 0 0 20 0 1 0 220474560 2230452224 42810 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 544544 42810 723 405 0 541489 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 2178176 KiB
Current children cumulated memory: 171240 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5283
/proc/meminfo: memFree=16197820/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2181588 memory=174612 CPUtime=1902.51 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 261573 0 0 0 189628 623 0 0 20 0 1 0 220474560 2233946112 43653 33554432000 4194304 5849708 140731294905648 140731294904136 4211646 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 545397 43653 723 405 0 542342 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2181588 KiB
Current children cumulated memory: 174612 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5284
/proc/meminfo: memFree=16205936/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2181976 memory=175040 CPUtime=1962.51 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 263799 0 0 0 195611 640 0 0 20 0 1 0 220474560 2234343424 43760 33554432000 4194304 5849708 140731294905648 140731294904648 5437664 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 545494 43760 723 405 0 542439 0
Current children cumulated CPU time: 1962.51 s
Current children cumulated vsize: 2181976 KiB
Current children cumulated memory: 175040 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5285
/proc/meminfo: memFree=16109448/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2192840 memory=185800 CPUtime=2022.52 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 271453 0 0 0 201597 655 0 0 20 0 1 0 220474560 2245468160 46450 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 548210 46450 723 405 0 545155 0
Current children cumulated CPU time: 2022.52 s
Current children cumulated vsize: 2192840 KiB
Current children cumulated memory: 185800 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5286
/proc/meminfo: memFree=16154476/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2162816 memory=155904 CPUtime=2082.53 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 273145 0 0 0 207582 671 0 0 20 0 1 0 220474560 2214723584 38976 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 540704 38976 723 405 0 537649 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 2162816 KiB
Current children cumulated memory: 155904 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5287
/proc/meminfo: memFree=16101544/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2216456 memory=209368 CPUtime=2142.53 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 279718 0 0 0 213561 692 0 0 20 0 1 0 220474560 2269650944 52342 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 554114 52342 723 405 0 551059 0
Current children cumulated CPU time: 2142.53 s
Current children cumulated vsize: 2216456 KiB
Current children cumulated memory: 209368 KiB
[startup+2202.3 s]
/proc/loadavg: 2.39 2.11 2.08 3/187 5288
/proc/meminfo: memFree=16169984/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2184804 memory=177764 CPUtime=2202.55 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 288125 0 0 0 219542 713 0 0 20 0 1 0 220474560 2237239296 44441 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 546201 44441 723 405 0 543146 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 2184804 KiB
Current children cumulated memory: 177764 KiB
[startup+2262.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/187 5289
/proc/meminfo: memFree=16098460/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2249752 memory=242712 CPUtime=2262.55 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 296113 0 0 0 225524 731 0 0 20 0 1 0 220474560 2303746048 60678 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 562438 60678 723 405 0 559383 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 2249752 KiB
Current children cumulated memory: 242712 KiB
[startup+2322.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/187 5297
/proc/meminfo: memFree=16127648/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2224292 memory=217252 CPUtime=2322.55 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 297767 0 0 0 231509 746 0 0 20 0 1 0 220474560 2277675008 54313 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 556073 54313 723 405 0 553018 0
Current children cumulated CPU time: 2322.55 s
Current children cumulated vsize: 2224292 KiB
Current children cumulated memory: 217252 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 5298
/proc/meminfo: memFree=16130272/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2219908 memory=212868 CPUtime=2382.56 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 301423 0 0 0 237493 763 0 0 20 0 1 0 220474560 2273185792 53217 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 554977 53217 723 405 0 551922 0
Current children cumulated CPU time: 2382.56 s
Current children cumulated vsize: 2219908 KiB
Current children cumulated memory: 212868 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 5299
/proc/meminfo: memFree=16015552/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2302360 memory=295320 CPUtime=2442.57 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 314419 0 0 0 243478 779 0 0 20 0 1 0 220474560 2357616640 73830 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 575590 73830 723 405 0 572535 0
Current children cumulated CPU time: 2442.57 s
Current children cumulated vsize: 2302360 KiB
Current children cumulated memory: 295320 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 5300
/proc/meminfo: memFree=15885864/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2442416 memory=435340 CPUtime=2502.58 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 319639 0 0 0 249466 792 0 0 20 0 1 0 220474560 2501033984 108835 33554432000 4194304 5849708 140731294905648 140731294904808 5335584 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 610604 108835 723 405 0 607549 0
Current children cumulated CPU time: 2502.58 s
Current children cumulated vsize: 2442416 KiB
Current children cumulated memory: 435340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.06 2.06 3/182 5330
/proc/meminfo: memFree=16027696/32770624 swapFree=67108504/67108860
[pid=5228] ppid=5225 vsize=2442416 memory=435340 CPUtime=2520.09 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp_picat) R 5225 5228 4813 0 -1 4202496 319639 0 0 0 251214 795 0 0 20 0 1 0 220474560 2501033984 108835 33554432000 4194304 5849708 140731294905648 140731294904648 140553072271239 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 22921216 140731294909622 140731294909700 140731294909700 140731294912458 0
/proc/5228/statm: 610604 108835 723 405 0 607549 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2442416 KiB
Current children cumulated memory: 435340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 5228 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.14 s, system=7.95899 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): 2519.81
CPU time (s): 2520.1
CPU user time (s): 2512.14
CPU system time (s): 7.95899
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2442416
Max. memory (cumulated for all children) (KiB): 435340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.14
system time used= 7.95899
maximum resident set size= 435376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319639
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= 24
involuntary context switches= 864
# summary of solver processes directly reported to runsolver:
# pid: 5228
# total CPU time (s): 2520.1
# total CPU user time (s): 2512.14
# total CPU system time (s): 7.95899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97338 second user time and 17.6852 second system time
The end