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 (14803 MiB free)
memory of node 1: 16384 MiB (15181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395372-1568342003/watcher-4395372-1568342003 -o /tmp/evaluation-result-4395372-1568342003/solver-4395372-1568342003 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25671 --watchdog 2580 xcsp_picat HOME/instance-4395372-1568342003.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=31419, runsolver pid=31416
Current StackSize limit: 8192 KiB
[startup+0.100583 s]*
/proc/loadavg: 2.01 2.03 2.05 3/198 31420
/proc/meminfo: memFree=30681720/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2031716 memory=25816 CPUtime=0.09 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 2041 0 0 0 9 0 0 0 20 0 1 0 410455032 2080477184 6454 33554432000 4194304 5870510 140722193056304 140722193055608 4477333 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 507929 6454 839 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 25816 KiB
[startup+0.209685 s]*
/proc/loadavg: 2.01 2.03 2.05 3/198 31420
/proc/meminfo: memFree=30667276/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2031716 memory=44248 CPUtime=0.2 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 2050 0 0 0 20 0 0 0 20 0 1 0 410455032 2080477184 11062 33554432000 4194304 5870510 140722193056304 140722193055608 4466537 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 507929 11062 839 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 44248 KiB
[startup+0.309654 s]*
/proc/loadavg: 2.01 2.03 2.05 3/198 31420
/proc/meminfo: memFree=30652940/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2031716 memory=54488 CPUtime=0.3 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 2055 0 0 0 30 0 0 0 20 0 1 0 410455032 2080477184 13622 33554432000 4194304 5870510 140722193056304 140722193055608 4840447 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 507929 13622 839 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 54488 KiB
[startup+0.700326 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 31420
/proc/meminfo: memFree=30621812/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2031716 memory=109920 CPUtime=0.68 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 2082 0 0 0 67 1 0 0 20 0 1 0 410455032 2080477184 27480 33554432000 4194304 5870510 140722193056304 140722193055608 4838467 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 507929 27480 846 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 109920 KiB
[startup+1.50032 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 31420
/proc/meminfo: memFree=30554104/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2062968 memory=223164 CPUtime=1.48 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 2436 0 0 0 145 3 0 0 20 0 1 0 410455032 2112479232 55791 33554432000 4194304 5870510 140722193056304 140722193055608 4459739 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 515742 55791 847 410 0 511215 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2062968 KiB
Current children cumulated memory: 223164 KiB
[startup+3.10958 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 31420
/proc/meminfo: memFree=30202040/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2169820 memory=531088 CPUtime=3.09 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 5007 0 0 0 302 7 0 0 20 0 1 0 410455032 2221895680 132772 33554432000 4194304 5870510 140722193056304 140722193055624 4795412 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 542455 132772 901 410 0 537928 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2169820 KiB
Current children cumulated memory: 531088 KiB
[startup+6.30031 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 31420
/proc/meminfo: memFree=29763532/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2505008 memory=964392 CPUtime=6.28 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 5645 0 0 0 614 14 0 0 20 0 1 0 410455032 2565128192 241098 33554432000 4194304 5870510 140722193056304 140722193055624 5245065 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 626252 241098 901 410 0 621725 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2505008 KiB
Current children cumulated memory: 964392 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.01 2.04 3/198 31420
/proc/meminfo: memFree=29682248/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2541932 memory=854112 CPUtime=12.68 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 9957 0 0 0 1234 34 0 0 20 0 1 0 410455032 2602938368 213528 33554432000 4194304 5870510 140722193056304 140722193055272 5246661 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 635483 213528 901 410 0 630956 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2541932 KiB
Current children cumulated memory: 854112 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.01 2.04 3/198 31423
/proc/meminfo: memFree=29283312/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2671908 memory=1101828 CPUtime=25.48 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 20158 0 0 0 2440 108 0 0 20 0 1 0 410455032 2736033792 275457 33554432000 4194304 5870510 140722193056304 140722193055272 5245016 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 667977 275457 901 410 0 663450 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2671908 KiB
Current children cumulated memory: 1101828 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 2.01 2.04 3/198 31423
/proc/meminfo: memFree=29394372/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=2874096 memory=1349860 CPUtime=51.09 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 37682 0 0 0 4850 259 0 0 20 0 1 0 410455032 2943074304 337465 33554432000 4194304 5870510 140722193056304 140722193055272 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 718524 337465 901 410 0 713997 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2874096 KiB
Current children cumulated memory: 1349860 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/198 31427
/proc/meminfo: memFree=27700724/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=3866060 memory=3006756 CPUtime=102.27 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 82655 0 0 0 9718 509 0 0 20 0 1 0 410455032 3958845440 751689 33554432000 4194304 5870510 140722193056304 140722193055400 5307553 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 966515 751689 970 410 0 961988 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3866060 KiB
Current children cumulated memory: 3006756 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/198 31433
/proc/meminfo: memFree=26922096/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=4772720 memory=3776804 CPUtime=162.28 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 150658 0 0 0 15702 526 0 0 20 0 1 0 410455032 4887265280 944201 33554432000 4194304 5870510 140722193056304 140722193054808 5321686 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193180 944201 973 410 0 1188653 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 4772720 KiB
Current children cumulated memory: 3776804 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 31437
/proc/meminfo: memFree=26922116/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=4772720 memory=3776972 CPUtime=222.28 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 162553 0 0 0 21701 527 0 0 20 0 1 0 410455032 4887265280 944243 33554432000 4194304 5870510 140722193056304 140722193054808 5321694 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193180 944243 977 410 0 1188653 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 4772720 KiB
Current children cumulated memory: 3776972 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 31441
/proc/meminfo: memFree=26922872/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=4772720 memory=3776972 CPUtime=282.27 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 191551 0 0 0 27699 528 0 0 20 0 1 0 410455032 4887265280 944243 33554432000 4194304 5870510 140722193056304 140722193054808 5337550 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193180 944243 977 410 0 1188653 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 4772720 KiB
Current children cumulated memory: 3776972 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/198 31447
/proc/meminfo: memFree=26922512/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=4772720 memory=3776972 CPUtime=342.26 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 221397 0 0 0 33697 529 0 0 20 0 1 0 410455032 4887265280 944243 33554432000 4194304 5870510 140722193056304 140722193054808 5337393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193180 944243 977 410 0 1188653 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 4772720 KiB
Current children cumulated memory: 3776972 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/198 31451
/proc/meminfo: memFree=26922008/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=4772720 memory=3776972 CPUtime=402.26 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 245370 0 0 0 39696 530 0 0 20 0 1 0 410455032 4887265280 944243 33554432000 4194304 5870510 140722193056304 140722193054808 5321686 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193180 944243 977 410 0 1188653 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 4772720 KiB
Current children cumulated memory: 3776972 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31455
/proc/meminfo: memFree=26915804/32770624 swapFree=66996672/67108860
[pid=31419] ppid=31416 vsize=4772720 memory=3776972 CPUtime=462.27 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 270013 0 0 0 45695 532 0 0 20 0 1 0 410455032 4887265280 944243 33554432000 4194304 5870510 140722193056304 140722193054808 5321600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193180 944243 977 410 0 1188653 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 4772720 KiB
Current children cumulated memory: 3776972 KiB
################
# More data... #
################
/proc/31419/statm: 1193280 945242 1001 410 0 1188753 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3780968 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31977
/proc/meminfo: memFree=26697452/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3780968 CPUtime=1782.23 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 979236 0 0 0 177627 596 0 0 20 0 1 0 410455032 4887674880 945242 33554432000 4194304 5870510 140722193056304 140722193054808 5261272 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945242 1001 410 0 1188753 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3780968 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31981
/proc/meminfo: memFree=26707900/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3780968 CPUtime=1842.23 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1002830 0 0 0 183625 598 0 0 20 0 1 0 410455032 4887674880 945242 33554432000 4194304 5870510 140722193056304 140722193054808 5321680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945242 1001 410 0 1188753 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3780968 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31985
/proc/meminfo: memFree=26691244/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3780968 CPUtime=1902.23 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1029558 0 0 0 189625 598 0 0 20 0 1 0 410455032 4887674880 945242 33554432000 4194304 5870510 140722193056304 140722193054808 5321600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945242 1001 410 0 1188753 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3780968 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31991
/proc/meminfo: memFree=26685312/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3780968 CPUtime=1962.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1055202 0 0 0 195623 599 0 0 20 0 1 0 410455032 4887674880 945242 33554432000 4194304 5870510 140722193056304 140722193054808 5321600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945242 1001 410 0 1188753 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3780968 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31995
/proc/meminfo: memFree=26689792/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3780968 CPUtime=2022.23 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1080486 0 0 0 201622 601 0 0 20 0 1 0 410455032 4887674880 945242 33554432000 4194304 5870510 140722193056304 140722193054808 5321611 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945242 1001 410 0 1188753 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3780968 KiB
[startup+2082.3 s]
/proc/loadavg: 2.52 2.14 2.08 3/198 31999
/proc/meminfo: memFree=26688564/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3781664 CPUtime=2082.23 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1098233 0 0 0 207621 602 0 0 20 0 1 0 410455032 4887674880 945416 33554432000 4194304 5870510 140722193056304 140722193054808 5261019 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945416 1001 410 0 1188753 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3781664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.33 2.17 2.10 3/198 32005
/proc/meminfo: memFree=26682448/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3781664 CPUtime=2142.23 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1194789 0 0 0 213616 607 0 0 20 0 1 0 410455032 4887674880 945416 33554432000 4194304 5870510 140722193056304 140722193054808 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945416 1001 410 0 1188753 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3781664 KiB
[startup+2202.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/198 32009
/proc/meminfo: memFree=26672532/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3781908 CPUtime=2202.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1260550 0 0 0 219612 610 0 0 20 0 1 0 410455032 4887674880 945477 33554432000 4194304 5870510 140722193056304 140722193054808 5337488 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945477 1001 410 0 1188753 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3781908 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/198 32013
/proc/meminfo: memFree=26676756/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3783576 CPUtime=2262.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1310060 0 0 0 225610 612 0 0 20 0 1 0 410455032 4887674880 945894 33554432000 4194304 5870510 140722193056304 140722193054808 5337584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945894 1001 410 0 1188753 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3783576 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/198 32026
/proc/meminfo: memFree=26672140/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3783576 CPUtime=2322.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1353763 0 0 0 231607 615 0 0 20 0 1 0 410455032 4887674880 945894 33554432000 4194304 5870510 140722193056304 140722193054808 5337379 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 945894 1001 410 0 1188753 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3783576 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/198 32030
/proc/meminfo: memFree=26661876/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773120 memory=3786140 CPUtime=2382.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1541494 0 0 0 237599 623 0 0 20 0 1 0 410455032 4887674880 946535 33554432000 4194304 5870510 140722193056304 140722193054808 5337600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193280 946535 1001 410 0 1188753 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 4773120 KiB
Current children cumulated memory: 3786140 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/198 32034
/proc/meminfo: memFree=26864236/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4452260 memory=3624256 CPUtime=2442.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1774630 0 0 0 243560 662 0 0 20 0 1 0 410455032 4559114240 906064 33554432000 4194304 5870510 140722193056304 140722193055032 139873870801881 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1113065 906064 1001 410 0 1108538 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 4452260 KiB
Current children cumulated memory: 3624256 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/198 32040
/proc/meminfo: memFree=26666352/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773116 memory=3783572 CPUtime=2502.22 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1807671 0 0 0 249553 669 0 0 20 0 1 0 410455032 4887670784 945893 33554432000 4194304 5870510 140722193056304 140722193054808 5320954 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193279 945893 1001 410 0 1188752 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 4773116 KiB
Current children cumulated memory: 3783572 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.05 2.06 3/198 32040
/proc/meminfo: memFree=26661944/32770624 swapFree=66996696/67108860
[pid=31419] ppid=31416 vsize=4773116 memory=3783572 CPUtime=2519.92 cores=0,2,4,6
/proc/31419/stat : 31419 (xcsp_picat) R 31416 31419 25640 0 -1 4202496 1816659 0 0 0 251323 669 0 0 20 0 1 0 410455032 4887670784 945893 33554432000 4194304 5870510 140722193056304 140722193054808 5337532 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 33038336 140722193064991 140722193065069 140722193065069 140722193067978 0
/proc/31419/statm: 1193279 945893 1001 410 0 1188752 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 4773116 KiB
Current children cumulated memory: 3783572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 31419 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.24 s, system=6.74886 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.06
CPU time (s): 2519.99
CPU user time (s): 2513.24
CPU system time (s): 6.74886
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 5285216
Max. memory (cumulated for all children) (KiB): 4098120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.24
system time used= 6.74886
maximum resident set size= 4098120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1816659
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= 26
involuntary context switches= 927
# summary of solver processes directly reported to runsolver:
# pid: 31419
# total CPU time (s): 2519.99
# total CPU user time (s): 2513.24
# total CPU system time (s): 6.74886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.26511 second user time and 17.2459 second system time
The end