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 (9964 MiB free)
memory of node 1: 16384 MiB (14587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303086-1534012193/watcher-4303086-1534012193 -o /tmp/evaluation-result-4303086-1534012193/solver-4303086-1534012193 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1533992673-18253 --watchdog 2580 xcsp_picat HOME/instance-4303086-1534012193.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=20092, runsolver pid=20089
[startup+0.100244 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 20093
/proc/meminfo: memFree=25120252/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2030048 memory=23292 CPUtime=0.1 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 2987 0 0 0 10 0 0 0 20 0 1 0 218782469 2078769152 5823 33554432000 4194304 5849708 140725239181280 140725239179528 5397043 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 507512 5823 707 405 0 504457 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2030048 KiB
Current children cumulated memory: 23292 KiB
[startup+0.209586 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 20093
/proc/meminfo: memFree=25120252/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2030092 memory=23276 CPUtime=0.21 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 3006 0 0 0 21 0 0 0 20 0 1 0 218782469 2078814208 5819 33554432000 4194304 5849708 140725239181280 140725239179528 5394653 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 507523 5819 711 405 0 504468 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2030092 KiB
Current children cumulated memory: 23276 KiB
[startup+0.309011 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 20093
/proc/meminfo: memFree=25120252/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2030092 memory=23276 CPUtime=0.31 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 3006 0 0 0 31 0 0 0 20 0 1 0 218782469 2078814208 5819 33554432000 4194304 5849708 140725239181280 140725239179528 5397376 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 507523 5819 711 405 0 504468 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2030092 KiB
Current children cumulated memory: 23276 KiB
[startup+0.700359 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20093
/proc/meminfo: memFree=25120252/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2030092 memory=23276 CPUtime=0.69 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 3006 0 0 0 69 0 0 0 20 0 1 0 218782469 2078814208 5819 33554432000 4194304 5849708 140725239181280 140725239179928 5392016 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 507523 5819 711 405 0 504468 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030092 KiB
Current children cumulated memory: 23276 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20093
/proc/meminfo: memFree=25117632/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2032016 memory=25072 CPUtime=1.49 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 3830 0 0 0 149 0 0 0 20 0 1 0 218782469 2080784384 6268 33554432000 4194304 5849708 140725239181280 140725239179928 5319728 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 508004 6268 719 405 0 504949 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032016 KiB
Current children cumulated memory: 25072 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20093
/proc/meminfo: memFree=25116888/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2033040 memory=26344 CPUtime=3.1 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 6349 0 0 0 308 2 0 0 20 0 1 0 218782469 2081832960 6586 33554432000 4194304 5849708 140725239181280 140725239179928 5392620 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 508260 6586 738 405 0 505205 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2033040 KiB
Current children cumulated memory: 26344 KiB
[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 20093
/proc/meminfo: memFree=25114680/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2035092 memory=28396 CPUtime=6.29 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 7863 0 0 0 625 4 0 0 20 0 1 0 218782469 2083934208 7099 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 508773 7099 738 405 0 505718 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2035092 KiB
Current children cumulated memory: 28396 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20101
/proc/meminfo: memFree=25110768/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2041840 memory=35020 CPUtime=12.69 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 15791 0 0 0 1259 10 0 0 20 0 1 0 218782469 2090844160 8755 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 510460 8755 738 405 0 507405 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 35020 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20101
/proc/meminfo: memFree=25107644/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2044808 memory=38112 CPUtime=25.49 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 25497 0 0 0 2530 19 0 0 20 0 1 0 218782469 2093883392 9528 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 511202 9528 738 405 0 508147 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2044808 KiB
Current children cumulated memory: 38112 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20101
/proc/meminfo: memFree=25101380/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2048920 memory=42224 CPUtime=51.1 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 39443 0 0 0 5073 37 0 0 20 0 1 0 218782469 2098094080 10556 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 512230 10556 738 405 0 509175 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2048920 KiB
Current children cumulated memory: 42224 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 20102
/proc/meminfo: memFree=25104340/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2053376 memory=46612 CPUtime=102.3 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 81484 0 0 0 10160 70 0 0 20 0 1 0 218782469 2102657024 11653 33554432000 4194304 5849708 140725239181280 140725239180440 5335582 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 513344 11653 738 405 0 510289 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2053376 KiB
Current children cumulated memory: 46612 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 20103
/proc/meminfo: memFree=25087152/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2052040 memory=45204 CPUtime=162.3 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 118857 0 0 0 16127 103 0 0 20 0 1 0 218782469 2101288960 11301 33554432000 4194304 5849708 140725239181280 140725239180440 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 513010 11301 738 405 0 509955 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2052040 KiB
Current children cumulated memory: 45204 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 20104
/proc/meminfo: memFree=25047236/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2106816 memory=100000 CPUtime=222.3 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 148108 0 0 0 22099 131 0 0 20 0 1 0 218782469 2157379584 25000 33554432000 4194304 5849708 140725239181280 140725239180280 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 526704 25000 738 405 0 523649 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2106816 KiB
Current children cumulated memory: 100000 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20105
/proc/meminfo: memFree=25055092/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2098728 memory=92032 CPUtime=282.3 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 149120 0 0 0 28097 133 0 0 20 0 1 0 218782469 2149097472 23008 33554432000 4194304 5849708 140725239181280 140725239179768 4211688 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 524682 23008 738 405 0 521627 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2098728 KiB
Current children cumulated memory: 92032 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20106
/proc/meminfo: memFree=25012392/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2158100 memory=151184 CPUtime=342.31 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 176010 0 0 0 34075 156 0 0 20 0 1 0 218782469 2209894400 37796 33554432000 4194304 5849708 140725239181280 140725239180280 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 539525 37796 738 405 0 536470 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2158100 KiB
Current children cumulated memory: 151184 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 20107
/proc/meminfo: memFree=25059016/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2095020 memory=88452 CPUtime=402.31 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 188087 0 0 0 40054 177 0 0 20 0 1 0 218782469 2145300480 22113 33554432000 4194304 5849708 140725239181280 140725239179768 4211639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 523755 22113 738 405 0 520700 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2095020 KiB
Current children cumulated memory: 88452 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 20108
/proc/meminfo: memFree=24986164/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2168036 memory=161340 CPUtime=462.32 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 200743 0 0 0 46038 194 0 0 20 0 1 0 218782469 2220068864 40335 33554432000 4194304 5849708 140725239181280 140725239180280 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 542009 40335 738 405 0 538954 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2168036 KiB
Current children cumulated memory: 161340 KiB
################
# More data... #
################
/proc/20092/statm: 605393 104016 738 405 0 602338 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2421572 KiB
Current children cumulated memory: 416064 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/188 20241
/proc/meminfo: memFree=28626852/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2064904 memory=59400 CPUtime=1842.38 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 563582 0 0 0 183721 517 0 0 20 0 1 0 218782469 2114461696 14850 33554432000 4194304 5849708 140725239181280 140725239180440 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 516226 14850 738 405 0 513171 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 2064904 KiB
Current children cumulated memory: 59400 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/188 20264
/proc/meminfo: memFree=28601936/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2077780 memory=72204 CPUtime=1902.39 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 569624 0 0 0 189684 555 0 0 20 0 1 0 218782469 2127646720 18051 33554432000 4194304 5849708 140725239181280 140725239180280 5437705 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 519445 18051 738 405 0 516390 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 2077780 KiB
Current children cumulated memory: 72204 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/188 20265
/proc/meminfo: memFree=28579848/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2084544 memory=78916 CPUtime=1962.39 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 570300 0 0 0 195663 576 0 0 20 0 1 0 218782469 2134573056 19729 33554432000 4194304 5849708 140725239181280 140725239179768 4211621 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 521136 19729 738 405 0 518081 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 2084544 KiB
Current children cumulated memory: 78916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/188 20266
/proc/meminfo: memFree=28548440/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2091508 memory=86004 CPUtime=2022.39 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 580940 0 0 0 201647 592 0 0 20 0 1 0 218782469 2141704192 21501 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 522877 21501 738 405 0 519822 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 2091508 KiB
Current children cumulated memory: 86004 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/188 20267
/proc/meminfo: memFree=28512644/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2100860 memory=95356 CPUtime=2082.4 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 582832 0 0 0 207615 625 0 0 20 0 1 0 218782469 2151280640 23839 33554432000 4194304 5849708 140725239181280 140725239180440 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 525215 23839 738 405 0 522160 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 2100860 KiB
Current children cumulated memory: 95356 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/187 20268
/proc/meminfo: memFree=28543412/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2127376 memory=121872 CPUtime=2142.4 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 595517 0 0 0 213589 651 0 0 20 0 1 0 218782469 2178433024 30468 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 531844 30468 738 405 0 528789 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 2127376 KiB
Current children cumulated memory: 121872 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/187 20269
/proc/meminfo: memFree=28501648/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2127376 memory=121872 CPUtime=2202.4 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 596841 0 0 0 219559 681 0 0 20 0 1 0 218782469 2178433024 30468 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 531844 30468 738 405 0 528789 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 2127376 KiB
Current children cumulated memory: 121872 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/187 20270
/proc/meminfo: memFree=28475812/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2148992 memory=143488 CPUtime=2262.42 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 597658 0 0 0 225536 706 0 0 20 0 1 0 218782469 2200567808 35872 33554432000 4194304 5849708 140725239181280 140725239180152 4230809 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 537248 35872 738 405 0 534193 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2148992 KiB
Current children cumulated memory: 143488 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20271
/proc/meminfo: memFree=28461808/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2148992 memory=143488 CPUtime=2322.42 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 597658 0 0 0 231516 726 0 0 20 0 1 0 218782469 2200567808 35872 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 537248 35872 738 405 0 534193 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 2148992 KiB
Current children cumulated memory: 143488 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20272
/proc/meminfo: memFree=28456472/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2148992 memory=143488 CPUtime=2382.42 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 608234 0 0 0 237493 749 0 0 20 0 1 0 218782469 2200567808 35872 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 537248 35872 738 405 0 534193 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 2148992 KiB
Current children cumulated memory: 143488 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20281
/proc/meminfo: memFree=28398188/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2175708 memory=170112 CPUtime=2442.42 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 612130 0 0 0 243466 776 0 0 20 0 1 0 218782469 2227924992 42528 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 543927 42528 738 405 0 540872 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 2175708 KiB
Current children cumulated memory: 170112 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20282
/proc/meminfo: memFree=28408900/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2165904 memory=160420 CPUtime=2502.43 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 618806 0 0 0 249443 800 0 0 20 0 1 0 218782469 2217885696 40105 33554432000 4194304 5849708 140725239181280 140725239180280 5307677 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 541476 40105 738 405 0 538421 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 2165904 KiB
Current children cumulated memory: 160420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20282
/proc/meminfo: memFree=28397608/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2177124 memory=171500 CPUtime=2520.03 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 619567 0 0 0 251196 807 0 0 20 0 1 0 218782469 2229374976 42875 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 544281 42875 738 405 0 541226 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2177124 KiB
Current children cumulated memory: 171500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 20092 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.97 s, system=8.07853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20282
/proc/meminfo: memFree=28397608/32770624 swapFree=67108804/67108860
[pid=20092] ppid=20089 vsize=2177124 memory=171500 CPUtime=2520.03 cores=1,3,5,7
/proc/20092/stat : 20092 (xcsp_picat) R 20089 20092 18221 0 -1 4202496 619567 0 0 0 251196 807 0 0 20 0 1 0 218782469 2229374976 42875 33554432000 4194304 5849708 140725239181280 140725239180280 140701206368135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 15966208 140725239186614 140725239186692 140725239186692 140725239189450 0
/proc/20092/statm: 544281 42875 738 405 0 541226 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2177124 KiB
Current children cumulated memory: 171500 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.05
CPU user time (s): 2511.97
CPU system time (s): 8.07853
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2585912
Max. memory (cumulated for all children) (KiB): 580404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.97
system time used= 8.07853
maximum resident set size= 580404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619567
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= 35
involuntary context switches= 1115
# summary of solver processes directly reported to runsolver:
# pid: 20092
# total CPU time (s): 2520.05
# total CPU user time (s): 2511.97
# total CPU system time (s): 8.07853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.82372 second user time and 18.2429 second system time
The end