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 (15149 MiB free)
memory of node 1: 16384 MiB (15080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395729-1568341134/watcher-4395729-1568341134 -o /tmp/evaluation-result-4395729-1568341134/solver-4395729-1568341134 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31468 --watchdog 2560 xcsp_picat HOME/instance-4395729-1568341134.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4685, runsolver pid=4682
[startup+0.10095 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 4686
/proc/meminfo: memFree=30926848/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2038732 memory=32476 CPUtime=0.09 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 2209 0 0 0 9 0 0 0 20 0 1 0 410362931 2087661568 8119 33554432000 4194304 5870510 140733483204912 140733483203464 140222582738823 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 509683 8119 933 410 0 505156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2038732 KiB
Current children cumulated memory: 32476 KiB
[startup+0.209858 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 4686
/proc/meminfo: memFree=30925360/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2040412 memory=34156 CPUtime=0.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 2720 0 0 0 20 1 0 0 20 0 1 0 410362931 2089381888 8539 33554432000 4194304 5870510 140733483204912 140733483203464 5337403 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 510103 8539 947 410 0 505576 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040412 KiB
Current children cumulated memory: 34156 KiB
[startup+0.309732 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 4686
/proc/meminfo: memFree=30925796/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2038372 memory=33752 CPUtime=0.31 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 3358 0 0 0 30 1 0 0 20 0 1 0 410362931 2087292928 8438 33554432000 4194304 5870510 140733483204912 140733483203464 5306761 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 509593 8438 977 410 0 505066 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2038372 KiB
Current children cumulated memory: 33752 KiB
[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4686
/proc/meminfo: memFree=30924652/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2040312 memory=36096 CPUtime=0.69 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 3917 0 0 0 68 1 0 0 20 0 1 0 410362931 2089279488 9024 33554432000 4194304 5870510 140733483204912 140733483204168 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 510078 9024 977 410 0 505551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040312 KiB
Current children cumulated memory: 36096 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4686
/proc/meminfo: memFree=30919476/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2047980 memory=43660 CPUtime=1.49 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 5767 0 0 0 148 1 0 0 20 0 1 0 410362931 2097131520 10915 33554432000 4194304 5870510 140733483204912 140733483203272 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 511995 10915 979 410 0 507468 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2047980 KiB
Current children cumulated memory: 43660 KiB
[startup+3.10984 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4686
/proc/meminfo: memFree=30898672/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2056116 memory=48116 CPUtime=3.1 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 9285 0 0 0 308 2 0 0 20 0 1 0 410362931 2105462784 12029 33554432000 4194304 5870510 140733483204912 140733483203272 5278069 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 514029 12029 979 410 0 509502 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056116 KiB
Current children cumulated memory: 48116 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4686
/proc/meminfo: memFree=30899560/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2068372 memory=61064 CPUtime=6.29 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 11961 0 0 0 625 4 0 0 20 0 1 0 410362931 2118012928 15266 33554432000 4194304 5870510 140733483204912 140733483203336 5274519 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 517093 15266 979 410 0 512566 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068372 KiB
Current children cumulated memory: 61064 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4686
/proc/meminfo: memFree=30875612/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2120112 memory=112056 CPUtime=12.69 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 15292 0 0 0 1263 6 0 0 20 0 1 0 410362931 2170994688 28014 33554432000 4194304 5870510 140733483204912 140733483203480 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 530028 28014 989 410 0 525501 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2120112 KiB
Current children cumulated memory: 112056 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4686
/proc/meminfo: memFree=30898044/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2070676 memory=60832 CPUtime=25.48 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 20780 0 0 0 2542 6 0 0 20 0 1 0 410362931 2120372224 15208 33554432000 4194304 5870510 140733483204912 140733483203352 5307331 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 517669 15208 989 410 0 513142 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2070676 KiB
Current children cumulated memory: 60832 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4689
/proc/meminfo: memFree=30868488/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2094644 memory=90608 CPUtime=51.09 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 25002 0 0 0 5102 7 0 0 20 0 1 0 410362931 2144915456 22652 33554432000 4194304 5870510 140733483204912 140733483203480 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 523661 22652 989 410 0 519134 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2094644 KiB
Current children cumulated memory: 90608 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4693
/proc/meminfo: memFree=30855156/32770624 swapFree=66966404/67108860
[pid=4685] ppid=4682 vsize=2113320 memory=103744 CPUtime=102.29 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 32207 0 0 0 10221 8 0 0 20 0 1 0 410362931 2164039680 25936 33554432000 4194304 5870510 140733483204912 140733483203352 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 528330 25936 989 410 0 523803 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2113320 KiB
Current children cumulated memory: 103744 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4706
/proc/meminfo: memFree=30842804/32770624 swapFree=66966416/67108860
[pid=4685] ppid=4682 vsize=2125348 memory=116128 CPUtime=162.28 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 36408 0 0 0 16220 8 0 0 20 0 1 0 410362931 2176356352 29032 33554432000 4194304 5870510 140733483204912 140733483203352 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 531337 29032 989 410 0 526810 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2125348 KiB
Current children cumulated memory: 116128 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4712
/proc/meminfo: memFree=30838768/32770624 swapFree=66966416/67108860
[pid=4685] ppid=4682 vsize=2125348 memory=116128 CPUtime=222.28 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 39800 0 0 0 22219 9 0 0 20 0 1 0 410362931 2176356352 29032 33554432000 4194304 5870510 140733483204912 140733483203352 5272920 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 531337 29032 989 410 0 526810 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2125348 KiB
Current children cumulated memory: 116128 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4716
/proc/meminfo: memFree=30833216/32770624 swapFree=66966416/67108860
[pid=4685] ppid=4682 vsize=2125664 memory=121112 CPUtime=282.28 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 40544 0 0 0 28219 9 0 0 20 0 1 0 410362931 2176679936 30278 33554432000 4194304 5870510 140733483204912 140733483203480 5283102 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 531416 30278 989 410 0 526889 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2125664 KiB
Current children cumulated memory: 121112 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4720
/proc/meminfo: memFree=30833072/32770624 swapFree=66966416/67108860
[pid=4685] ppid=4682 vsize=2125664 memory=121112 CPUtime=342.27 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 44491 0 0 0 34218 9 0 0 20 0 1 0 410362931 2176679936 30278 33554432000 4194304 5870510 140733483204912 140733483203480 5282717 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 531416 30278 989 410 0 526889 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2125664 KiB
Current children cumulated memory: 121112 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4726
/proc/meminfo: memFree=30826708/32770624 swapFree=66966416/67108860
[pid=4685] ppid=4682 vsize=2156004 memory=126368 CPUtime=402.27 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 45093 0 0 0 40218 9 0 0 20 0 1 0 410362931 2207748096 31592 33554432000 4194304 5870510 140733483204912 140733483203352 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 539001 31592 989 410 0 534474 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2156004 KiB
Current children cumulated memory: 126368 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4731
/proc/meminfo: memFree=30814960/32770624 swapFree=66966416/67108860
[pid=4685] ppid=4682 vsize=2156004 memory=126368 CPUtime=462.27 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 48837 0 0 0 46217 10 0 0 20 0 1 0 410362931 2207748096 31592 33554432000 4194304 5870510 140733483204912 140733483203352 5282680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 539001 31592 989 410 0 534474 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2156004 KiB
Current children cumulated memory: 126368 KiB
################
# More data... #
################
/proc/4685/statm: 538786 39132 989 410 0 534259 0
Current children cumulated CPU time: 1662.22 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 156528 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 4911
/proc/meminfo: memFree=30024444/32770624 swapFree=66966420/67108860
[pid=4685] ppid=4682 vsize=2155144 memory=156528 CPUtime=1722.22 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 102627 0 0 0 172202 20 0 0 20 0 1 0 410362931 2206867456 39132 33554432000 4194304 5870510 140733483204912 140733483203480 5275207 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 538786 39132 989 410 0 534259 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 156528 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 4915
/proc/meminfo: memFree=30020180/32770624 swapFree=66966420/67108860
[pid=4685] ppid=4682 vsize=2155144 memory=156528 CPUtime=1782.22 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 107080 0 0 0 178202 20 0 0 20 0 1 0 410362931 2206867456 39132 33554432000 4194304 5870510 140733483204912 140733483203480 5283094 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 538786 39132 989 410 0 534259 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 156528 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 4921
/proc/meminfo: memFree=30038072/32770624 swapFree=66966420/67108860
[pid=4685] ppid=4682 vsize=2155144 memory=156528 CPUtime=1842.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 107625 0 0 0 184201 20 0 0 20 0 1 0 410362931 2206867456 39132 33554432000 4194304 5870510 140733483204912 140733483203480 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 538786 39132 989 410 0 534259 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 156528 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 4925
/proc/meminfo: memFree=30013864/32770624 swapFree=66966420/67108860
[pid=4685] ppid=4682 vsize=2155144 memory=156528 CPUtime=1902.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 112109 0 0 0 190201 20 0 0 20 0 1 0 410362931 2206867456 39132 33554432000 4194304 5870510 140733483204912 140733483203480 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 538786 39132 989 410 0 534259 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2155144 KiB
Current children cumulated memory: 156528 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4937
/proc/meminfo: memFree=30035436/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2108188 memory=104892 CPUtime=1962.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 116322 0 0 0 196199 22 0 0 20 0 1 0 410362931 2158784512 26223 33554432000 4194304 5870510 140733483204912 140733483203352 5274872 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 527047 26223 989 410 0 522520 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2108188 KiB
Current children cumulated memory: 104892 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4944
/proc/meminfo: memFree=29987300/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2120536 memory=115180 CPUtime=2022.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 120846 0 0 0 202199 22 0 0 20 0 1 0 410362931 2171428864 28795 33554432000 4194304 5870510 140733483204912 140733483203352 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 530134 28795 989 410 0 525607 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 115180 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4948
/proc/meminfo: memFree=30031444/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2120536 memory=115196 CPUtime=2082.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 120871 0 0 0 208199 22 0 0 20 0 1 0 410362931 2171428864 28799 33554432000 4194304 5870510 140733483204912 140733483203352 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 530134 28799 989 410 0 525607 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 115196 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4952
/proc/meminfo: memFree=30056440/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2120536 memory=115196 CPUtime=2142.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 125354 0 0 0 214198 23 0 0 20 0 1 0 410362931 2171428864 28799 33554432000 4194304 5870510 140733483204912 140733483203352 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 530134 28799 989 410 0 525607 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 115196 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 4959
/proc/meminfo: memFree=30044108/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2120536 memory=117244 CPUtime=2202.21 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 125386 0 0 0 220198 23 0 0 20 0 1 0 410362931 2171428864 29311 33554432000 4194304 5870510 140733483204912 140733483203352 5312810 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 530134 29311 989 410 0 525607 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2120536 KiB
Current children cumulated memory: 117244 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4964
/proc/meminfo: memFree=30043032/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2132696 memory=121348 CPUtime=2262.2 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 129822 0 0 0 226197 23 0 0 20 0 1 0 410362931 2183880704 30337 33554432000 4194304 5870510 140733483204912 140733483203352 5262944 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 533174 30337 989 410 0 528647 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2132696 KiB
Current children cumulated memory: 121348 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4968
/proc/meminfo: memFree=30003796/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2139880 memory=138716 CPUtime=2322.2 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 130732 0 0 0 232196 24 0 0 20 0 1 0 410362931 2191237120 34679 33554432000 4194304 5870510 140733483204912 140733483203480 5281745 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 534970 34679 989 410 0 530443 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2139880 KiB
Current children cumulated memory: 138716 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4974
/proc/meminfo: memFree=29998396/32770624 swapFree=66966436/67108860
[pid=4685] ppid=4682 vsize=2158564 memory=153764 CPUtime=2382.2 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 135234 0 0 0 238196 24 0 0 20 0 1 0 410362931 2210369536 38441 33554432000 4194304 5870510 140733483204912 140733483203480 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 539641 38441 989 410 0 535114 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 153764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4975
/proc/meminfo: memFree=30013732/32770624 swapFree=66966440/67108860
[pid=4685] ppid=4682 vsize=2158564 memory=153764 CPUtime=2400 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 135365 0 0 0 239976 24 0 0 20 0 1 0 410362931 2210369536 38441 33554432000 4194304 5870510 140733483204912 140733483203480 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 539641 38441 989 410 0 535114 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 153764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 4685 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.77 s, system=0.251991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4975
/proc/meminfo: memFree=30013732/32770624 swapFree=66966440/67108860
[pid=4685] ppid=4682 vsize=2158564 memory=153764 CPUtime=2400 cores=1,3,5,7
/proc/4685/stat : 4685 (xcsp_picat) R 4682 4685 31436 0 -1 4202496 135365 0 0 0 239976 24 0 0 20 0 1 0 410362931 2210369536 38441 33554432000 4194304 5870510 140733483204912 140733483203480 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31043584 140733483209759 140733483209837 140733483209837 140733483212746 0
/proc/4685/statm: 539641 38441 989 410 0 535114 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2158564 KiB
Current children cumulated memory: 153764 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.02
CPU user time (s): 2399.77
CPU system time (s): 0.251991
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2158564
Max. memory (cumulated for all children) (KiB): 156528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.77
system time used= 0.251991
maximum resident set size= 156528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135365
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= 14
involuntary context switches= 1263
# summary of solver processes directly reported to runsolver:
# pid: 4685
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.77
# total CPU system time (s): 0.251991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71883 second user time and 18.2383 second system time
The end