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 (14573 MiB free)
memory of node 1: 16384 MiB (13245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309666-1534316265/watcher-4309666-1534316265 -o /tmp/evaluation-result-4309666-1534316265/solver-4309666-1534316265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22506 --watchdog 2580 xcsp_picat HOME/instance-4309666-1534316265.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=25347, runsolver pid=25344
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28471380/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2034156 memory=18588 CPUtime=0.1 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 2291 0 0 0 10 0 0 0 20 0 1 0 249189697 2082975744 4647 33554432000 4194304 5849940 140729602114464 140729602114464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 508539 4647 688 405 0 505483 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2034156 KiB
Current children cumulated memory: 18588 KiB
[startup+0.209703 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28465428/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2042484 memory=27020 CPUtime=0.2 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 4382 0 0 0 20 0 0 0 20 0 1 0 249189697 2091503616 6755 33554432000 4194304 5849940 140729602114464 140729602114464 4527332 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 510621 6755 689 405 0 507565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042484 KiB
Current children cumulated memory: 27020 KiB
[startup+0.309523 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28454884/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2048492 memory=33176 CPUtime=0.31 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 5413 0 0 0 30 1 0 0 20 0 1 0 249189697 2097655808 8294 33554432000 4194304 5849940 140729602114464 140729602114464 5376164 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 512123 8294 691 405 0 509067 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2048492 KiB
Current children cumulated memory: 33176 KiB
[startup+0.700445 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28455860/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2057624 memory=41916 CPUtime=0.69 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 6713 0 0 0 68 1 0 0 20 0 1 0 249189697 2107006976 10479 33554432000 4194304 5849940 140729602114464 140729602114464 5360645 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 514406 10479 710 405 0 511350 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2057624 KiB
Current children cumulated memory: 41916 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28448080/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2057744 memory=42020 CPUtime=1.49 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 6974 0 0 0 148 1 0 0 20 0 1 0 249189697 2107129856 10505 33554432000 4194304 5849940 140729602114464 140729602112872 4212042 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 514436 10505 715 405 0 511380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2057744 KiB
Current children cumulated memory: 42020 KiB
[startup+3.10938 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28442332/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2063776 memory=48224 CPUtime=3.1 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 9735 0 0 0 309 1 0 0 20 0 1 0 249189697 2113306624 12056 33554432000 4194304 5849940 140729602114464 140729602112008 4204125 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 515944 12056 719 405 0 512888 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2063776 KiB
Current children cumulated memory: 48224 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28442076/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2063776 memory=48224 CPUtime=6.29 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 10229 0 0 0 628 1 0 0 20 0 1 0 249189697 2113306624 12056 33554432000 4194304 5849940 140729602114464 140729602112008 4211602 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 515944 12056 719 405 0 512888 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2063776 KiB
Current children cumulated memory: 48224 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25348
/proc/meminfo: memFree=28442076/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2063776 memory=48224 CPUtime=12.69 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 15730 0 0 0 1267 2 0 0 20 0 1 0 249189697 2113306624 12056 33554432000 4194304 5849940 140729602114464 140729602112008 4209364 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 515944 12056 719 405 0 512888 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2063776 KiB
Current children cumulated memory: 48224 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25349
/proc/meminfo: memFree=28445164/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2060120 memory=44836 CPUtime=25.49 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 26298 0 0 0 2538 11 0 0 20 0 1 0 249189697 2109562880 11209 33554432000 4194304 5849940 140729602114464 140729602113464 5376194 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 515030 11209 723 405 0 511974 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060120 KiB
Current children cumulated memory: 44836 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25349
/proc/meminfo: memFree=28443472/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2061392 memory=46008 CPUtime=51.09 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 34220 0 0 0 5092 17 0 0 20 0 1 0 249189697 2110865408 11502 33554432000 4194304 5849940 140729602114464 140729602113464 5312986 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 515348 11502 723 405 0 512292 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2061392 KiB
Current children cumulated memory: 46008 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25350
/proc/meminfo: memFree=28427068/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2083432 memory=67932 CPUtime=102.28 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 50126 0 0 0 10201 27 0 0 20 0 1 0 249189697 2133434368 16983 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 520858 16983 723 405 0 517802 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2083432 KiB
Current children cumulated memory: 67932 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25359
/proc/meminfo: memFree=28433252/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2070536 memory=55252 CPUtime=162.28 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 62786 0 0 0 16180 48 0 0 20 0 1 0 249189697 2120228864 13813 33554432000 4194304 5849940 140729602114464 140729602113624 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 517634 13813 723 405 0 514578 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2070536 KiB
Current children cumulated memory: 55252 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25384
/proc/meminfo: memFree=28324292/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2085928 memory=70772 CPUtime=222.27 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 82425 0 0 0 22155 72 0 0 20 0 1 0 249189697 2135990272 17693 33554432000 4194304 5849940 140729602114464 140729602112952 4212122 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 521482 17693 723 405 0 518426 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2085928 KiB
Current children cumulated memory: 70772 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25385
/proc/meminfo: memFree=28299476/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2112304 memory=96924 CPUtime=282.27 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 95308 0 0 0 28129 98 0 0 20 0 1 0 249189697 2162999296 24231 33554432000 4194304 5849940 140729602114464 140729602113464 5395017 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 528076 24231 723 405 0 525020 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2112304 KiB
Current children cumulated memory: 96924 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25386
/proc/meminfo: memFree=28287496/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2104432 memory=89148 CPUtime=342.26 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 109202 0 0 0 34107 119 0 0 20 0 1 0 249189697 2154938368 22287 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 526108 22287 723 405 0 523052 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2104432 KiB
Current children cumulated memory: 89148 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25387
/proc/meminfo: memFree=28278816/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2113300 memory=97936 CPUtime=402.26 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 127492 0 0 0 40087 139 0 0 20 0 1 0 249189697 2164019200 24484 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 528325 24484 723 405 0 525269 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2113300 KiB
Current children cumulated memory: 97936 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25388
/proc/meminfo: memFree=28288320/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2104052 memory=88548 CPUtime=462.25 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 135221 0 0 0 46063 162 0 0 20 0 1 0 249189697 2154549248 22137 33554432000 4194304 5849940 140729602114464 140729602113464 5395051 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 526013 22137 723 405 0 522957 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2104052 KiB
Current children cumulated memory: 88548 KiB
################
# More data... #
################
/proc/25347/statm: 537120 34453 723 405 0 534064 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 2148480 KiB
Current children cumulated memory: 137812 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 4/187 25485
/proc/meminfo: memFree=28444280/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2173056 memory=162260 CPUtime=1782.15 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 293923 0 0 0 177629 586 0 0 20 0 1 0 249189697 2225209344 40565 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 543264 40565 723 405 0 540208 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2173056 KiB
Current children cumulated memory: 162260 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 4/187 25487
/proc/meminfo: memFree=28432188/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2178176 memory=167380 CPUtime=1842.15 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 296955 0 0 0 183612 603 0 0 20 0 1 0 249189697 2230452224 41845 33554432000 4194304 5849940 140729602114464 140729602113464 5335737 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 544544 41845 723 405 0 541488 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2178176 KiB
Current children cumulated memory: 167380 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/187 25488
/proc/meminfo: memFree=28437140/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2181588 memory=170792 CPUtime=1902.14 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 300772 0 0 0 189598 616 0 0 20 0 1 0 249189697 2233946112 42698 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 545397 42698 723 405 0 542341 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 2181588 KiB
Current children cumulated memory: 170792 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 25496
/proc/meminfo: memFree=28407120/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2184664 memory=173868 CPUtime=1962.14 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 307577 0 0 0 195582 632 0 0 20 0 1 0 249189697 2237095936 43467 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 546166 43467 723 405 0 543110 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 2184664 KiB
Current children cumulated memory: 173868 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 25497
/proc/meminfo: memFree=28498616/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2189412 memory=178616 CPUtime=2022.14 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 311091 0 0 0 201567 647 0 0 20 0 1 0 249189697 2241957888 44654 33554432000 4194304 5849940 140729602114464 140729602113336 5437799 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 547353 44654 723 405 0 544297 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 2189412 KiB
Current children cumulated memory: 178616 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 25498
/proc/meminfo: memFree=28456596/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2220552 memory=209884 CPUtime=2082.14 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 320132 0 0 0 207546 668 0 0 20 0 1 0 249189697 2273845248 52471 33554432000 4194304 5849940 140729602114464 140729602113464 5313194 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 555138 52471 723 405 0 552082 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 2220552 KiB
Current children cumulated memory: 209884 KiB
[startup+2142.3 s]
/proc/loadavg: 2.09 2.05 2.05 4/187 25499
/proc/meminfo: memFree=28424852/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2253704 memory=242792 CPUtime=2142.13 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 327297 0 0 0 213524 689 0 0 20 0 1 0 249189697 2307792896 60698 33554432000 4194304 5849940 140729602114464 140729602113464 5335737 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 563426 60698 723 405 0 560370 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2253704 KiB
Current children cumulated memory: 242792 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/187 25500
/proc/meminfo: memFree=28259984/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2179432 memory=168468 CPUtime=2202.13 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 339933 0 0 0 219506 707 0 0 20 0 1 0 249189697 2231738368 42117 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 544858 42117 723 405 0 541802 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 2179432 KiB
Current children cumulated memory: 168468 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/187 25501
/proc/meminfo: memFree=28415232/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2181140 memory=170472 CPUtime=2262.12 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 342879 0 0 0 225486 726 0 0 20 0 1 0 249189697 2233487360 42618 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 545285 42618 723 405 0 542229 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2181140 KiB
Current children cumulated memory: 170472 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 25502
/proc/meminfo: memFree=28089256/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2327144 memory=316348 CPUtime=2322.12 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 356968 0 0 0 231467 745 0 0 20 0 1 0 249189697 2382995456 79087 33554432000 4194304 5849940 140729602114464 140729602113464 5339213 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 581786 79087 723 405 0 578730 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 2327144 KiB
Current children cumulated memory: 316348 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 25503
/proc/meminfo: memFree=28176604/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2227352 memory=216556 CPUtime=2382.11 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 359708 0 0 0 237448 763 0 0 20 0 1 0 249189697 2280808448 54139 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 556838 54139 723 405 0 553782 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2227352 KiB
Current children cumulated memory: 216556 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 25504
/proc/meminfo: memFree=27921028/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2302360 memory=291564 CPUtime=2442.11 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 373998 0 0 0 243434 777 0 0 20 0 1 0 249189697 2357616640 72891 33554432000 4194304 5849940 140729602114464 140729602113464 140017052032903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 575590 72891 723 405 0 572534 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 2302360 KiB
Current children cumulated memory: 291564 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 25505
/proc/meminfo: memFree=28099468/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2442416 memory=431620 CPUtime=2502.11 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 378914 0 0 0 249422 789 0 0 20 0 1 0 249189697 2501033984 107905 33554432000 4194304 5849940 140729602114464 140729602113464 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 610604 107905 723 405 0 607548 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 2442416 KiB
Current children cumulated memory: 431620 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/187 25506
/proc/meminfo: memFree=28065088/32770624 swapFree=67108796/67108860
[pid=25347] ppid=25344 vsize=2442416 memory=431620 CPUtime=2519.81 cores=0,2,4,6
/proc/25347/stat : 25347 (xcsp_picat) R 25344 25347 22475 0 -1 4202496 378920 0 0 0 251189 792 0 0 20 0 1 0 249189697 2501033984 107905 33554432000 4194304 5849940 140729602114464 140729602113464 5435373 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22818816 140729602118838 140729602118916 140729602118916 140729602121674 0
/proc/25347/statm: 610604 107905 723 405 0 607548 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 2442416 KiB
Current children cumulated memory: 431620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25347 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.9 s, system=7.93344 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.83
CPU user time (s): 2511.9
CPU system time (s): 7.93344
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 2442416
Max. memory (cumulated for all children) (KiB): 431620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.9
system time used= 7.93344
maximum resident set size= 431620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378921
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= 17
involuntary context switches= 3151
# summary of solver processes directly reported to runsolver:
# pid: 25347
# total CPU time (s): 2519.83
# total CPU user time (s): 2511.9
# total CPU system time (s): 7.93344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99956 second user time and 19.4161 second system time
The end