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 (11827 MiB free)
memory of node 1: 16384 MiB (9733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309521-1534306614/watcher-4309521-1534306614 -o /tmp/evaluation-result-4309521-1534306614/solver-4309521-1534306614 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16867 --watchdog 2580 xcsp_picat HOME/instance-4309521-1534306614.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
solver pid=19200, runsolver pid=19197
Current StackSize limit: 8192 KiB
[startup+0.100795 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=22051572/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2025744 memory=29544 CPUtime=0.1 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1959 0 0 0 10 0 0 0 20 0 1 0 248224566 2074361856 7386 33554432000 4194304 5849940 140735844575136 140735844574440 4496901 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 506436 7386 634 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29544 KiB
[startup+0.209774 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=22024480/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2028724 memory=57348 CPUtime=0.21 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 2839 0 0 0 20 1 0 0 20 0 1 0 248224566 2077413376 14337 33554432000 4194304 5849940 140735844575136 140735844574440 139885852258183 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 507181 14337 694 405 0 504125 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028724 KiB
Current children cumulated memory: 57348 KiB
[startup+0.309619 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=22014064/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2041268 memory=69944 CPUtime=0.3 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 5976 0 0 0 29 1 0 0 20 0 1 0 248224566 2090258432 17486 33554432000 4194304 5849940 140735844575136 140735844574440 139885851846560 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 510317 17486 694 405 0 507261 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2041268 KiB
Current children cumulated memory: 69944 KiB
[startup+0.700356 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21975792/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2109876 memory=138560 CPUtime=0.69 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 11375 0 0 0 66 3 0 0 20 0 1 0 248224566 2160513024 34640 33554432000 4194304 5849940 140735844575136 140735844574440 5432168 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 527469 34640 694 405 0 524413 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2109876 KiB
Current children cumulated memory: 138560 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21891280/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2259768 memory=288584 CPUtime=1.49 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 15154 0 0 0 143 6 0 0 20 0 1 0 248224566 2314002432 72146 33554432000 4194304 5849940 140735844575136 140735844574216 4474859 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 564942 72146 694 405 0 561886 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2259768 KiB
Current children cumulated memory: 288584 KiB
[startup+3.10961 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21741496/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2310592 memory=339196 CPUtime=3.09 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 47897 0 0 0 299 10 0 0 20 0 1 0 248224566 2366046208 84799 33554432000 4194304 5849940 140735844575136 140735844573384 5303979 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 577648 84799 706 405 0 574592 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2310592 KiB
Current children cumulated memory: 339196 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21743124/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2310952 memory=337116 CPUtime=6.28 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 57646 0 0 0 617 11 0 0 20 0 1 0 248224566 2366414848 84279 33554432000 4194304 5849940 140735844575136 140735844573384 5338339 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 577738 84279 718 405 0 574682 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2310952 KiB
Current children cumulated memory: 337116 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21603244/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2448516 memory=477384 CPUtime=12.69 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 128504 0 0 0 1253 16 0 0 20 0 1 0 248224566 2507280384 119346 33554432000 4194304 5849940 140735844575136 140735844573624 5309897 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 612129 119346 722 405 0 609073 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2448516 KiB
Current children cumulated memory: 477384 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21603228/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2448284 memory=477168 CPUtime=25.48 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 170778 0 0 0 2530 18 0 0 20 0 1 0 248224566 2507042816 119292 33554432000 4194304 5849940 140735844575136 140735844574136 5311667 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 612071 119292 726 405 0 609015 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2448284 KiB
Current children cumulated memory: 477168 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19201
/proc/meminfo: memFree=21725368/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2325352 memory=354236 CPUtime=51.1 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 222239 0 0 0 5086 24 0 0 20 0 1 0 248224566 2381160448 88559 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 581338 88559 726 405 0 578282 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2325352 KiB
Current children cumulated memory: 354236 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19202
/proc/meminfo: memFree=21786760/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2281608 memory=310492 CPUtime=102.27 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 266554 0 0 0 10197 30 0 0 20 0 1 0 248224566 2336366592 77623 33554432000 4194304 5849940 140735844575136 140735844574296 5437772 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 570402 77623 726 405 0 567346 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2281608 KiB
Current children cumulated memory: 310492 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19203
/proc/meminfo: memFree=21757112/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2282388 memory=311272 CPUtime=162.27 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 299677 0 0 0 16185 42 0 0 20 0 1 0 248224566 2337165312 77818 33554432000 4194304 5849940 140735844575136 140735844573864 5360645 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 570597 77818 726 405 0 567541 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2282388 KiB
Current children cumulated memory: 311272 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19212
/proc/meminfo: memFree=21730400/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2307004 memory=335888 CPUtime=222.26 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 332324 0 0 0 22172 54 0 0 20 0 1 0 248224566 2362372096 83972 33554432000 4194304 5849940 140735844575136 140735844574008 139885852258183 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 576751 83972 726 405 0 573695 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2307004 KiB
Current children cumulated memory: 335888 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19213
/proc/meminfo: memFree=21725452/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2275552 memory=304436 CPUtime=282.26 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 363395 0 0 0 28153 73 0 0 20 0 1 0 248224566 2330165248 76109 33554432000 4194304 5849940 140735844575136 140735844574136 5437796 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 568888 76109 726 405 0 565832 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2275552 KiB
Current children cumulated memory: 304436 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19214
/proc/meminfo: memFree=21668352/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2300912 memory=329592 CPUtime=342.25 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 393434 0 0 0 34131 94 0 0 20 0 1 0 248224566 2356133888 82398 33554432000 4194304 5849940 140735844575136 140735844574136 5354041 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 575228 82398 726 405 0 572172 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2300912 KiB
Current children cumulated memory: 329592 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19215
/proc/meminfo: memFree=21734264/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2276072 memory=304956 CPUtime=402.25 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 422479 0 0 0 40115 110 0 0 20 0 1 0 248224566 2330697728 76239 33554432000 4194304 5849940 140735844575136 140735844574136 5438624 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 569018 76239 726 405 0 565962 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2276072 KiB
Current children cumulated memory: 304956 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19216
/proc/meminfo: memFree=21712700/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2298392 memory=327276 CPUtime=462.24 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 452883 0 0 0 46093 131 0 0 20 0 1 0 248224566 2353553408 81819 33554432000 4194304 5849940 140735844575136 140735844574296 5438029 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 574598 81819 726 405 0 571542 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2298392 KiB
Current children cumulated memory: 327276 KiB
################
# More data... #
################
/proc/19200/statm: 578236 86087 726 405 0 575180 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 2312944 KiB
Current children cumulated memory: 344348 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 19256
/proc/meminfo: memFree=21565840/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2358120 memory=389524 CPUtime=1782.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 929699 0 0 0 177541 677 0 0 20 0 1 0 248224566 2414714880 97381 33554432000 4194304 5849940 140735844575136 140735844574136 5311763 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 589530 97381 726 405 0 586474 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2358120 KiB
Current children cumulated memory: 389524 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 19257
/proc/meminfo: memFree=21579372/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2352860 memory=375360 CPUtime=1842.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 937571 0 0 0 183520 698 0 0 20 0 1 0 248224566 2409328640 93840 33554432000 4194304 5849940 140735844575136 140735844574008 5313373 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 588215 93840 726 405 0 585159 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 2352860 KiB
Current children cumulated memory: 375360 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 19258
/proc/meminfo: memFree=21559776/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2372280 memory=394964 CPUtime=1902.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 944022 0 0 0 189502 716 0 0 20 0 1 0 248224566 2429214720 98741 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 593070 98741 726 405 0 590014 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 2372280 KiB
Current children cumulated memory: 394964 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 19259
/proc/meminfo: memFree=21580072/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2352428 memory=375112 CPUtime=1962.17 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 955381 0 0 0 195483 734 0 0 20 0 1 0 248224566 2408886272 93778 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 588107 93778 726 405 0 585051 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2352428 KiB
Current children cumulated memory: 375112 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 19268
/proc/meminfo: memFree=21559736/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2372028 memory=394576 CPUtime=2022.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 964152 0 0 0 201465 753 0 0 20 0 1 0 248224566 2428956672 98644 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 593007 98644 726 405 0 589951 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 2372028 KiB
Current children cumulated memory: 394576 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 19269
/proc/meminfo: memFree=21587452/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2345152 memory=367808 CPUtime=2082.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 972246 0 0 0 207444 774 0 0 20 0 1 0 248224566 2401435648 91952 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 586288 91952 726 405 0 583232 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 2345152 KiB
Current children cumulated memory: 367808 KiB
[startup+2142.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 19270
/proc/meminfo: memFree=21515756/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2374204 memory=396836 CPUtime=2142.17 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 979040 0 0 0 213423 794 0 0 20 0 1 0 248224566 2431184896 99209 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 593551 99209 726 405 0 590495 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2374204 KiB
Current children cumulated memory: 396836 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 19271
/proc/meminfo: memFree=21532816/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2357280 memory=379824 CPUtime=2202.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 993591 0 0 0 219398 820 0 0 20 0 1 0 248224566 2413854720 94956 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 589320 94956 726 405 0 586264 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 2357280 KiB
Current children cumulated memory: 379824 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 19272
/proc/meminfo: memFree=21517232/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2360792 memory=383532 CPUtime=2262.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1000969 0 0 0 225382 836 0 0 20 0 1 0 248224566 2417451008 95883 33554432000 4194304 5849940 140735844575136 140735844574008 5302016 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 590198 95883 726 405 0 587142 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 2360792 KiB
Current children cumulated memory: 383532 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 19334
/proc/meminfo: memFree=18171804/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2397336 memory=420076 CPUtime=2322.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1012912 0 0 0 231371 847 0 0 20 0 1 0 248224566 2454872064 105019 33554432000 4194304 5849940 140735844575136 140735844574136 5438505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 599334 105019 726 405 0 596278 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 2397336 KiB
Current children cumulated memory: 420076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 19335
/proc/meminfo: memFree=18162644/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2406336 memory=429076 CPUtime=2382.19 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1014664 0 0 0 237352 867 0 0 20 0 1 0 248224566 2464088064 107269 33554432000 4194304 5849940 140735844575136 140735844574136 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 601584 107269 726 405 0 598528 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2406336 KiB
Current children cumulated memory: 429076 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 19336
/proc/meminfo: memFree=18206060/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2362784 memory=385316 CPUtime=2442.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1029064 0 0 0 243337 881 0 0 20 0 1 0 248224566 2419490816 96329 33554432000 4194304 5849940 140735844575136 140735844574296 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 590696 96329 726 405 0 587640 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2362784 KiB
Current children cumulated memory: 385316 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19338
/proc/meminfo: memFree=18194624/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2374532 memory=397272 CPUtime=2502.18 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1038187 0 0 0 249318 900 0 0 20 0 1 0 248224566 2431520768 99318 33554432000 4194304 5849940 140735844575136 140735844574296 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 593633 99318 726 405 0 590577 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2374532 KiB
Current children cumulated memory: 397272 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 19339
/proc/meminfo: memFree=18194336/32770624 swapFree=67105356/67108860
[pid=19200] ppid=19197 vsize=2374532 memory=397272 CPUtime=2519.89 cores=0,2,4,6
/proc/19200/stat : 19200 (xcsp_picat) R 19197 19200 16836 0 -1 4202496 1039355 0 0 0 251085 904 0 0 20 0 1 0 248224566 2431520768 99318 33554432000 4194304 5849940 140735844575136 140735844574136 139885852258183 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 32362496 140735844578486 140735844578564 140735844578564 140735844581322 0
/proc/19200/statm: 593633 99318 726 405 0 590577 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2374532 KiB
Current children cumulated memory: 397272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 19200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.86 s, system=9.04873 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): 2519.91
CPU user time (s): 2510.86
CPU system time (s): 9.04873
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 2458224
Max. memory (cumulated for all children) (KiB): 485308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.86
system time used= 9.04872
maximum resident set size= 485308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1039355
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= 34
involuntary context switches= 1532
# summary of solver processes directly reported to runsolver:
# pid: 19200
# total CPU time (s): 2519.91
# total CPU user time (s): 2510.86
# total CPU system time (s): 9.04873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6594 second user time and 18.1287 second system time
The end