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 (13827 MiB free)
memory of node 1: 16384 MiB (9404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309482-1534317627/watcher-4309482-1534317627 -o /tmp/evaluation-result-4309482-1534317627/solver-4309482-1534317627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534293186-11148 --watchdog 2580 xcsp_picat HOME/instance-4309482-1534317627.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14673, runsolver pid=14670
[startup+0.100331 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23760732/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2025744 memory=34092 CPUtime=0.1 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 1538 0 0 0 10 0 0 0 20 0 1 0 249325841 2074361856 8523 33554432000 4194304 5849940 140720556753392 140720556752696 4593482 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 506436 8523 609 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 34092 KiB
[startup+0.210038 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23741108/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2025744 memory=51492 CPUtime=0.21 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 1835 0 0 0 21 0 0 0 20 0 1 0 249325841 2074361856 12873 33554432000 4194304 5849940 140720556753392 140720556752696 4457035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 506436 12873 625 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 51492 KiB
[startup+0.309998 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23723732/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2025744 memory=68908 CPUtime=0.3 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 2105 0 0 0 30 0 0 0 20 0 1 0 249325841 2074361856 17227 33554432000 4194304 5849940 140720556753392 140720556752696 4488955 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 506436 17227 644 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 68908 KiB
[startup+0.700315 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23707784/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2028396 memory=86312 CPUtime=0.69 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 2920 0 0 0 67 2 0 0 20 0 1 0 249325841 2077077504 21578 33554432000 4194304 5849940 140720556753392 140720556752696 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 507099 21578 723 405 0 504043 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028396 KiB
Current children cumulated memory: 86312 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23680432/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2111036 memory=171008 CPUtime=1.49 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 9833 0 0 0 145 4 0 0 20 0 1 0 249325841 2161700864 42752 33554432000 4194304 5849940 140720556753392 140720556752600 4493994 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 527759 42752 725 405 0 524703 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2111036 KiB
Current children cumulated memory: 171008 KiB
[startup+3.10928 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23587400/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2176572 memory=236796 CPUtime=3.1 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 10526 0 0 0 304 6 0 0 20 0 1 0 249325841 2228809728 59199 33554432000 4194304 5849940 140720556753392 140720556752488 5471402 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 544143 59199 725 405 0 541087 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2176572 KiB
Current children cumulated memory: 236796 KiB
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23586076/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2190440 memory=248676 CPUtime=6.29 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 35315 0 0 0 621 8 0 0 20 0 1 0 249325841 2243010560 62169 33554432000 4194304 5849940 140720556753392 140720556752504 5366701 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 547610 62169 737 405 0 544554 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2190440 KiB
Current children cumulated memory: 248676 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23572440/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2193636 memory=253752 CPUtime=12.69 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 61612 0 0 0 1257 12 0 0 20 0 1 0 249325841 2246283264 63438 33554432000 4194304 5849940 140720556753392 140720556752040 5309808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 548409 63438 753 405 0 545353 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2193636 KiB
Current children cumulated memory: 253752 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23570804/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2193636 memory=253844 CPUtime=25.49 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 89798 0 0 0 2535 14 0 0 20 0 1 0 249325841 2246283264 63461 33554432000 4194304 5849940 140720556753392 140720556750936 4211660 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 548409 63461 753 405 0 545353 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2193636 KiB
Current children cumulated memory: 253844 KiB
[startup+51.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14674
/proc/meminfo: memFree=23526652/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2199464 memory=259688 CPUtime=51.1 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 130559 0 0 0 5079 31 0 0 20 0 1 0 249325841 2252251136 64922 33554432000 4194304 5849940 140720556753392 140720556752392 5303979 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 549866 64922 757 405 0 546810 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2199464 KiB
Current children cumulated memory: 259688 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14675
/proc/meminfo: memFree=23516788/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2208200 memory=267984 CPUtime=102.3 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 182557 0 0 0 10179 51 0 0 20 0 1 0 249325841 2261196800 66996 33554432000 4194304 5849940 140720556753392 140720556752040 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 552050 66996 757 405 0 548994 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2208200 KiB
Current children cumulated memory: 267984 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14676
/proc/meminfo: memFree=23487952/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2206016 memory=265800 CPUtime=162.3 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 210193 0 0 0 16150 80 0 0 20 0 1 0 249325841 2258960384 66450 33554432000 4194304 5849940 140720556753392 140720556752392 5438301 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 551504 66450 757 405 0 548448 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2206016 KiB
Current children cumulated memory: 265800 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14677
/proc/meminfo: memFree=23481908/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2211880 memory=272104 CPUtime=222.31 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 215994 0 0 0 22128 103 0 0 20 0 1 0 249325841 2264965120 68026 33554432000 4194304 5849940 140720556753392 140720556751880 5302125 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 552970 68026 757 405 0 549914 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2211880 KiB
Current children cumulated memory: 272104 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/191 14680
/proc/meminfo: memFree=23428700/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2232332 memory=288804 CPUtime=282.31 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 243699 0 0 0 28103 128 0 0 20 0 1 0 249325841 2285907968 72201 33554432000 4194304 5849940 140720556753392 140720556750936 5306135 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 558083 72201 757 405 0 555027 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2232332 KiB
Current children cumulated memory: 288804 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 14681
/proc/meminfo: memFree=23433700/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2226752 memory=283288 CPUtime=342.32 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 248095 0 0 0 34075 157 0 0 20 0 1 0 249325841 2280194048 70822 33554432000 4194304 5849940 140720556753392 140720556752104 5303964 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 556688 70822 757 405 0 553632 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2226752 KiB
Current children cumulated memory: 283288 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 14682
/proc/meminfo: memFree=23400960/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2215260 memory=275484 CPUtime=402.32 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 280725 0 0 0 40047 185 0 0 20 0 1 0 249325841 2268426240 68871 33554432000 4194304 5849940 140720556753392 140720556752264 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 553815 68871 757 405 0 550759 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2215260 KiB
Current children cumulated memory: 275484 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 14685
/proc/meminfo: memFree=23344296/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2215408 memory=275580 CPUtime=462.33 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 309036 0 0 0 46021 212 0 0 20 0 1 0 249325841 2268577792 68895 33554432000 4194304 5849940 140720556753392 140720556752264 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 553852 68895 757 405 0 550796 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2215408 KiB
Current children cumulated memory: 275580 KiB
################
# More data... #
################
/proc/14673/statm: 640452 156063 757 405 0 637396 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2561808 KiB
Current children cumulated memory: 624252 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14796
/proc/meminfo: memFree=23122292/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561808 memory=624252 CPUtime=1842.39 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 681731 0 0 0 183392 847 0 0 20 0 1 0 249325841 2623291392 156063 33554432000 4194304 5849940 140720556753392 140720556752392 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640452 156063 757 405 0 637396 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 2561808 KiB
Current children cumulated memory: 624252 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14797
/proc/meminfo: memFree=23114136/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561072 memory=623516 CPUtime=1902.4 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 687183 0 0 0 189367 873 0 0 20 0 1 0 249325841 2622537728 155879 33554432000 4194304 5849940 140720556753392 140720556752392 5438271 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640268 155879 757 405 0 637212 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2561072 KiB
Current children cumulated memory: 623516 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14799
/proc/meminfo: memFree=23063836/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2623908 memory=686352 CPUtime=1962.4 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 697914 0 0 0 195347 893 0 0 20 0 1 0 249325841 2686881792 171588 33554432000 4194304 5849940 140720556753392 140720556752392 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 655977 171588 757 405 0 652921 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2623908 KiB
Current children cumulated memory: 686352 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14800
/proc/meminfo: memFree=23114612/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2567596 memory=630040 CPUtime=2022.4 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 707168 0 0 0 201321 919 0 0 20 0 1 0 249325841 2629218304 157510 33554432000 4194304 5849940 140720556753392 140720556752392 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 641899 157510 757 405 0 638843 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 2567596 KiB
Current children cumulated memory: 630040 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14802
/proc/meminfo: memFree=23129944/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561764 memory=624208 CPUtime=2082.4 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 716281 0 0 0 207294 946 0 0 20 0 1 0 249325841 2623246336 156052 33554432000 4194304 5849940 140720556753392 140720556752264 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640441 156052 757 405 0 637385 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 2561764 KiB
Current children cumulated memory: 624208 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14803
/proc/meminfo: memFree=23127548/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561060 memory=623504 CPUtime=2142.41 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 722651 0 0 0 213277 964 0 0 20 0 1 0 249325841 2622525440 155876 33554432000 4194304 5849940 140720556753392 140720556752392 5437750 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640265 155876 757 405 0 637209 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 2561060 KiB
Current children cumulated memory: 623504 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14804
/proc/meminfo: memFree=23102204/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561060 memory=623504 CPUtime=2202.42 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 729030 0 0 0 219250 992 0 0 20 0 1 0 249325841 2622525440 155876 33554432000 4194304 5849940 140720556753392 140720556752392 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640265 155876 757 405 0 637209 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2561060 KiB
Current children cumulated memory: 623504 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14806
/proc/meminfo: memFree=23138092/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561792 memory=624236 CPUtime=2262.42 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 734490 0 0 0 225227 1015 0 0 20 0 1 0 249325841 2623275008 156059 33554432000 4194304 5849940 140720556753392 140720556752392 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640448 156059 757 405 0 637392 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2561792 KiB
Current children cumulated memory: 624236 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14808
/proc/meminfo: memFree=23134652/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561048 memory=623492 CPUtime=2322.43 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 740879 0 0 0 231211 1032 0 0 20 0 1 0 249325841 2622513152 155873 33554432000 4194304 5849940 140720556753392 140720556752392 5437675 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640262 155873 757 405 0 637206 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 2561048 KiB
Current children cumulated memory: 623492 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14817
/proc/meminfo: memFree=23133772/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561048 memory=623492 CPUtime=2382.43 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 743102 0 0 0 237186 1057 0 0 20 0 1 0 249325841 2622513152 155873 33554432000 4194304 5849940 140720556753392 140720556752392 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640262 155873 757 405 0 637206 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 2561048 KiB
Current children cumulated memory: 623492 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14840
/proc/meminfo: memFree=23122760/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561716 memory=624160 CPUtime=2442.44 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 746740 0 0 0 243155 1089 0 0 20 0 1 0 249325841 2623197184 156040 33554432000 4194304 5849940 140720556753392 140720556752392 140089749651335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640429 156040 757 405 0 637373 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 2561716 KiB
Current children cumulated memory: 624160 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14841
/proc/meminfo: memFree=23124476/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561048 memory=623492 CPUtime=2502.44 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 754873 0 0 0 249131 1113 0 0 20 0 1 0 249325841 2622513152 155873 33554432000 4194304 5849940 140720556753392 140720556752392 5438291 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640262 155873 757 405 0 637206 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 2561048 KiB
Current children cumulated memory: 623492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14841
/proc/meminfo: memFree=23124600/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561048 memory=623492 CPUtime=2520.04 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 756964 0 0 0 250889 1115 0 0 20 0 1 0 249325841 2622513152 155873 33554432000 4194304 5849940 140720556753392 140720556752392 5437799 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640262 155873 757 405 0 637206 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2561048 KiB
Current children cumulated memory: 623492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 14673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.89 s, system=11.1628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14841
/proc/meminfo: memFree=23124600/32770624 swapFree=67108852/67108860
[pid=14673] ppid=14670 vsize=2561048 memory=623492 CPUtime=2520.04 cores=1,3,5,7
/proc/14673/stat : 14673 (xcsp_picat) R 14670 14673 11116 0 -1 4202496 756964 0 0 0 250889 1115 0 0 20 0 1 0 249325841 2622513152 155873 33554432000 4194304 5849940 140720556753392 140720556752392 5437799 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 46362624 140720556758198 140720556758276 140720556758276 140720556761034 0
/proc/14673/statm: 640262 155873 757 405 0 637206 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2561048 KiB
Current children cumulated memory: 623492 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.06
CPU user time (s): 2508.89
CPU system time (s): 11.1628
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2880648
Max. memory (cumulated for all children) (KiB): 942996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.89
system time used= 11.1628
maximum resident set size= 942996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756965
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= 51
involuntary context switches= 834
# summary of solver processes directly reported to runsolver:
# pid: 14673
# total CPU time (s): 2520.06
# total CPU user time (s): 2508.89
# total CPU system time (s): 11.1628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0316 second user time and 18.5773 second system time
The end