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 (9661 MiB free)
memory of node 1: 16384 MiB (11245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395232-1568347295/watcher-4395232-1568347295 -o /tmp/evaluation-result-4395232-1568347295/solver-4395232-1568347295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24210 --watchdog 2580 xcsp_picat HOME/instance-4395232-1568347295.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=31391, runsolver pid=31388
Current StackSize limit: 8192 KiB
[startup+0.100625 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 31392
/proc/meminfo: memFree=21387816/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=23964 CPUtime=0.1 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1571 0 0 0 10 0 0 0 20 0 1 0 410668042 2080477184 5991 33554432000 4194304 5870510 140720929749296 140720929748600 4307600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 5991 846 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23964 KiB
[startup+0.209668 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 31392
/proc/meminfo: memFree=21381524/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=30108 CPUtime=0.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1574 0 0 0 20 0 0 0 20 0 1 0 410668042 2080477184 7527 33554432000 4194304 5870510 140720929749296 140720929748600 140100607790080 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 7527 846 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30108 KiB
[startup+0.30951 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 31392
/proc/meminfo: memFree=21376692/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=36252 CPUtime=0.3 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1577 0 0 0 30 0 0 0 20 0 1 0 410668042 2080477184 9063 33554432000 4194304 5870510 140720929749296 140720929748600 4490968 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 9063 846 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36252 KiB
[startup+0.70028 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 31392
/proc/meminfo: memFree=21364404/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=56732 CPUtime=0.68 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1587 0 0 0 68 0 0 0 20 0 1 0 410668042 2080477184 14183 33554432000 4194304 5870510 140720929749296 140720929748600 4479564 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 14183 846 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 56732 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 31392
/proc/meminfo: memFree=21335656/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=101896 CPUtime=1.49 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1609 0 0 0 148 1 0 0 20 0 1 0 410668042 2080477184 25474 33554432000 4194304 5870510 140720929749296 140720929748600 4461422 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 25474 871 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 101896 KiB
[startup+3.1096 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 31392
/proc/meminfo: memFree=21220100/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=194064 CPUtime=3.09 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1723 0 0 0 307 2 0 0 20 0 1 0 410668042 2080477184 48516 33554432000 4194304 5870510 140720929749296 140720929748600 4538664 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 48516 873 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 194064 KiB
[startup+6.30026 s]
/proc/loadavg: 2.08 2.05 2.05 3/200 31414
/proc/meminfo: memFree=21048464/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=372240 CPUtime=6.28 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1832 0 0 0 617 11 0 0 20 0 1 0 410668042 2080477184 93060 33554432000 4194304 5870510 140720929749296 140720929748600 4462526 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 93060 873 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 372240 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.05 2.05 3/200 31414
/proc/meminfo: memFree=20706364/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=736784 CPUtime=12.68 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 2107 0 0 0 1251 17 0 0 20 0 1 0 410668042 2080477184 184196 33554432000 4194304 5870510 140720929749296 140720929748600 4461422 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 184196 873 410 0 503402 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 736784 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.05 2.05 3/200 31416
/proc/meminfo: memFree=19961408/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2031716 memory=1459728 CPUtime=25.48 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 2588 0 0 0 2519 29 0 0 20 0 1 0 410668042 2080477184 364932 33554432000 4194304 5870510 140720929749296 140720929748600 4429546 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 507929 364932 873 410 0 503402 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1459728 KiB
[startup+51.1097 s]
/proc/loadavg: 2.09 2.06 2.05 3/200 31416
/proc/meminfo: memFree=19224780/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2663436 memory=2214520 CPUtime=51.09 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 20483 0 0 0 4980 129 0 0 20 0 1 0 410668042 2727358464 553630 33554432000 4194304 5870510 140720929749296 140720929748264 5246661 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 665859 553630 912 410 0 661332 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2663436 KiB
Current children cumulated memory: 2214520 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/200 31420
/proc/meminfo: memFree=19186692/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2725904 memory=2320764 CPUtime=102.27 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 59916 0 0 0 9790 437 0 0 20 0 1 0 410668042 2791325696 580191 33554432000 4194304 5870510 140720929749296 140720929748264 5245095 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 681476 580191 912 410 0 676949 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2725904 KiB
Current children cumulated memory: 2320764 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/200 31426
/proc/meminfo: memFree=18933016/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2753828 memory=2603696 CPUtime=162.27 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 99037 0 0 0 15463 764 0 0 20 0 1 0 410668042 2819919872 650924 33554432000 4194304 5870510 140720929749296 140720929748264 5246749 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 688457 650924 912 410 0 683930 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2753828 KiB
Current children cumulated memory: 2603696 KiB
[startup+222.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/200 31430
/proc/meminfo: memFree=18698868/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=2768416 memory=2687708 CPUtime=222.26 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 137702 0 0 0 21153 1073 0 0 20 0 1 0 410668042 2834857984 671927 33554432000 4194304 5870510 140720929749296 140720929748616 5246321 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 692104 671927 912 410 0 687577 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2768416 KiB
Current children cumulated memory: 2687708 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/199 31434
/proc/meminfo: memFree=16742544/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=6681884 memory=4643376 CPUtime=282.25 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 175536 0 0 0 26850 1375 0 0 20 0 1 0 410668042 6842249216 1160844 33554432000 4194304 5870510 140720929749296 140720929748296 5353161 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 1670471 1160844 915 410 0 1665944 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 6681884 KiB
Current children cumulated memory: 4643376 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 31440
/proc/meminfo: memFree=14734304/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=6795264 memory=6642756 CPUtime=342.25 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 184118 0 0 0 32717 1508 0 0 20 0 1 0 410668042 6958350336 1660689 33554432000 4194304 5870510 140720929749296 140720929748616 5252584 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 1698816 1660689 915 410 0 1694289 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 6795264 KiB
Current children cumulated memory: 6642756 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 31444
/proc/meminfo: memFree=15654784/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=6821968 memory=5835916 CPUtime=402.24 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 193497 0 0 0 38572 1652 0 0 20 0 1 0 410668042 6985695232 1458979 33554432000 4194304 5870510 140720929749296 140720929748264 5246343 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 1705492 1458979 915 410 0 1700965 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 6821968 KiB
Current children cumulated memory: 5835916 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 31448
/proc/meminfo: memFree=14889960/32770624 swapFree=66999224/67108860
[pid=31391] ppid=31388 vsize=6841988 memory=6648512 CPUtime=462.24 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 209662 0 0 0 44267 1957 0 0 20 0 1 0 410668042 7006195712 1662128 33554432000 4194304 5870510 140720929749296 140720929748264 5246232 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 1710497 1662128 915 410 0 1705970 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 6841988 KiB
Current children cumulated memory: 6648512 KiB
################
# More data... #
################
/proc/31391/statm: 3471560 2449481 986 410 0 3467033 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 13886240 KiB
Current children cumulated memory: 9797924 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 31579
/proc/meminfo: memFree=11283812/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=1782.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 892121 0 0 0 170701 7519 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5321680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 31583
/proc/meminfo: memFree=11292216/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=1842.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 909605 0 0 0 176700 7520 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261272 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 31587
/proc/meminfo: memFree=11288084/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=1902.19 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 942376 0 0 0 182698 7521 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 31593
/proc/meminfo: memFree=11287632/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=1962.19 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 967833 0 0 0 188697 7522 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261290 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 31597
/proc/meminfo: memFree=11280268/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=2022.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1002080 0 0 0 194696 7524 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31601
/proc/meminfo: memFree=11289248/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=2082.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1027361 0 0 0 200695 7525 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31607
/proc/meminfo: memFree=11285940/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=2142.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1058613 0 0 0 206693 7527 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31611
/proc/meminfo: memFree=11283664/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066636 CPUtime=2202.2 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1090738 0 0 0 212691 7529 0 0 20 0 1 0 410668042 14385201152 2516659 33554432000 4194304 5870510 140720929749296 140720929747800 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516659 996 410 0 3507485 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066636 KiB
[startup+2262.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 31615
/proc/meminfo: memFree=11281932/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066696 CPUtime=2262.21 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1115719 0 0 0 218690 7531 0 0 20 0 1 0 410668042 14385201152 2516674 33554432000 4194304 5870510 140720929749296 140720929747800 5261290 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516674 996 410 0 3507485 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066696 KiB
[startup+2322.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/199 31680
/proc/meminfo: memFree=11696684/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066736 CPUtime=2322.21 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1142785 0 0 0 224688 7533 0 0 20 0 1 0 410668042 14385201152 2516684 33554432000 4194304 5870510 140720929749296 140720929747800 5261272 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516684 996 410 0 3507485 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066736 KiB
[startup+2382.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/200 31692
/proc/meminfo: memFree=11682616/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066772 CPUtime=2382.21 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1173534 0 0 0 230686 7535 0 0 20 0 1 0 410668042 14385201152 2516693 33554432000 4194304 5870510 140720929749296 140720929747800 5261200 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516693 996 410 0 3507485 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 31696
/proc/meminfo: memFree=11680256/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10066816 CPUtime=2442.21 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1203385 0 0 0 236684 7537 0 0 20 0 1 0 410668042 14385201152 2516704 33554432000 4194304 5870510 140720929749296 140720929747800 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516704 996 410 0 3507485 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10066816 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 31702
/proc/meminfo: memFree=11679928/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10067352 CPUtime=2502.21 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1229062 0 0 0 242683 7538 0 0 20 0 1 0 410668042 14385201152 2516838 33554432000 4194304 5870510 140720929749296 140720929747800 5321694 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516838 996 410 0 3507485 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10067352 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 31703
/proc/meminfo: memFree=11669100/32770624 swapFree=66999228/67108860
[pid=31391] ppid=31388 vsize=14048048 memory=10067364 CPUtime=2519.92 cores=0,2,4,6
/proc/31391/stat : 31391 (xcsp_picat) R 31388 31391 24179 0 -1 4202496 1237736 0 0 0 244454 7538 0 0 20 0 1 0 410668042 14385201152 2516841 33554432000 4194304 5870510 140720929749296 140720929747800 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 17473536 140720929752095 140720929752173 140720929752173 140720929755082 0
/proc/31391/statm: 3512012 2516841 996 410 0 3507485 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 14048048 KiB
Current children cumulated memory: 10067364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.12 s]
# the end of solver process 31391 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2444.54 s, system=75.4917 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.12
CPU time (s): 2520.03
CPU user time (s): 2444.54
CPU system time (s): 75.4917
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 14750900
Max. memory (cumulated for all children) (KiB): 10761372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2444.54
system time used= 75.4917
maximum resident set size= 10761372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1237737
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= 5
involuntary context switches= 2940
# summary of solver processes directly reported to runsolver:
# pid: 31391
# total CPU time (s): 2520.03
# total CPU user time (s): 2444.54
# total CPU system time (s): 75.4917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5195 second user time and 18.9069 second system time
The end