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 (10578 MiB free)
memory of node 1: 16384 MiB (6418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303038-1534031110/watcher-4303038-1534031110 -o /tmp/evaluation-result-4303038-1534031110/solver-4303038-1534031110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534027058-25372 --watchdog 2580 xcsp_picat HOME/instance-4303038-1534031110.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
solver pid=25862, runsolver pid=25859
Current StackSize limit: 8192 KiB
[startup+0.100457 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17386300/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2025744 memory=23156 CPUtime=0.09 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 1850 0 0 0 9 0 0 0 20 0 1 0 220674140 2074361856 5789 33554432000 4194304 5849708 140729063365728 140729063365032 4493984 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 506436 5789 593 405 0 503381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23156 KiB
[startup+0.209761 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17372052/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2025744 memory=35444 CPUtime=0.2 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 1856 0 0 0 20 0 0 0 20 0 1 0 220674140 2074361856 8861 33554432000 4194304 5849708 140729063365728 140729063365032 4850480 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 506436 8861 593 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35444 KiB
[startup+0.309576 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17359876/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2025744 memory=47732 CPUtime=0.3 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 1862 0 0 0 30 0 0 0 20 0 1 0 220674140 2074361856 11933 33554432000 4194304 5849708 140729063365728 140729063365032 4507528 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 506436 11933 593 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 47732 KiB
[startup+0.700395 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17335052/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2025744 memory=96884 CPUtime=0.69 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 1886 0 0 0 68 1 0 0 20 0 1 0 220674140 2074361856 24221 33554432000 4194304 5849708 140729063365728 140729063365032 4484420 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 506436 24221 593 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 96884 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17273612/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2025744 memory=192892 CPUtime=1.48 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 2403 0 0 0 146 2 0 0 20 0 1 0 220674140 2074361856 48223 33554432000 4194304 5849708 140729063365728 140729063365032 4677725 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 506436 48223 636 405 0 503381 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 192892 KiB
[startup+3.10943 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17156388/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2106708 memory=260744 CPUtime=3.09 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 6414 0 0 0 303 6 0 0 20 0 1 0 220674140 2157268992 65186 33554432000 4194304 5849708 140729063365728 140729063364760 140198346702727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 526677 65186 706 405 0 523622 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2106708 KiB
Current children cumulated memory: 260744 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17186232/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2131292 memory=285388 CPUtime=6.29 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 7969 0 0 0 612 17 0 0 20 0 1 0 220674140 2182443008 71347 33554432000 4194304 5849708 140729063365728 140729063364760 140198346702727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 532823 71347 706 405 0 529768 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2131292 KiB
Current children cumulated memory: 285388 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17159604/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2188636 memory=342888 CPUtime=12.69 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 10088 0 0 0 1227 42 0 0 20 0 1 0 220674140 2241163264 85722 33554432000 4194304 5849708 140729063365728 140729063364840 140198346702727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 547159 85722 706 405 0 544104 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2188636 KiB
Current children cumulated memory: 342888 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=17028980/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2270556 memory=424808 CPUtime=25.48 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 11701 0 0 0 2460 88 0 0 20 0 1 0 220674140 2325049344 106202 33554432000 4194304 5849708 140729063365728 140729063364840 5300101 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 567639 106202 706 405 0 564584 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2270556 KiB
Current children cumulated memory: 424808 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25863
/proc/meminfo: memFree=16833128/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2434396 memory=591924 CPUtime=51.09 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 13270 0 0 0 4930 179 0 0 20 0 1 0 220674140 2492821504 147981 33554432000 4194304 5849708 140729063365728 140729063364840 140198346702727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 608599 147981 706 405 0 605544 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2434396 KiB
Current children cumulated memory: 591924 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25864
/proc/meminfo: memFree=16511888/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=2767644 memory=927616 CPUtime=102.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 16193 0 0 0 9862 366 0 0 20 0 1 0 220674140 2834067456 231904 33554432000 4194304 5849708 140729063365728 140729063364824 140198346702727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 691911 231904 706 405 0 688856 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2767644 KiB
Current children cumulated memory: 927616 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25865
/proc/meminfo: memFree=15686804/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3580884 memory=1740992 CPUtime=162.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 166151 0 0 0 15759 469 0 0 20 0 1 0 220674140 3666825216 435248 33554432000 4194304 5849708 140729063365728 140729063364216 5319730 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 895221 435248 733 405 0 892166 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 3580884 KiB
Current children cumulated memory: 1740992 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 25866
/proc/meminfo: memFree=15700680/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3580884 memory=1740992 CPUtime=222.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 187048 0 0 0 21758 470 0 0 20 0 1 0 220674140 3666825216 435248 33554432000 4194304 5849708 140729063365728 140729063364216 5319753 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 895221 435248 733 405 0 892166 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 3580884 KiB
Current children cumulated memory: 1740992 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 25867
/proc/meminfo: memFree=16192440/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3086292 memory=1239264 CPUtime=282.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 518314 0 0 0 27740 488 0 0 20 0 1 0 220674140 3160363008 309816 33554432000 4194304 5849708 140729063365728 140729063364600 140198346702727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 771573 309816 740 405 0 768518 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3086292 KiB
Current children cumulated memory: 1239264 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 25876
/proc/meminfo: memFree=15657540/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3610580 memory=1763552 CPUtime=342.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 590206 0 0 0 33729 499 0 0 20 0 1 0 220674140 3697233920 440888 33554432000 4194304 5849708 140729063365728 140729063364216 5319740 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 902645 440888 740 405 0 899590 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 3610580 KiB
Current children cumulated memory: 1763552 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25877
/proc/meminfo: memFree=15655632/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3610580 memory=1763552 CPUtime=402.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 674783 0 0 0 39726 502 0 0 20 0 1 0 220674140 3697233920 440888 33554432000 4194304 5849708 140729063365728 140729063364216 5319753 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 902645 440888 740 405 0 899590 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 3610580 KiB
Current children cumulated memory: 1763552 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25878
/proc/meminfo: memFree=15660064/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3610580 memory=1763552 CPUtime=462.28 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 772410 0 0 0 45722 506 0 0 20 0 1 0 220674140 3697233920 440888 33554432000 4194304 5849708 140729063365728 140729063364216 5319730 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 902645 440888 740 405 0 899590 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 3610580 KiB
Current children cumulated memory: 1763552 KiB
################
# More data... #
################
/proc/25862/statm: 897789 437826 749 405 0 894734 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 1751304 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26004
/proc/meminfo: memFree=15467968/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3591156 memory=1751304 CPUtime=1782.26 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 3534827 0 0 0 177017 1209 0 0 20 0 1 0 220674140 3677343744 437826 33554432000 4194304 5849708 140729063365728 140729063364216 5319753 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 897789 437826 749 405 0 894734 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 1751304 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26005
/proc/meminfo: memFree=15472820/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3591156 memory=1751304 CPUtime=1842.25 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 3640447 0 0 0 183012 1213 0 0 20 0 1 0 220674140 3677343744 437826 33554432000 4194304 5849708 140729063365728 140729063364216 5319728 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 897789 437826 749 405 0 894734 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 1751304 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26006
/proc/meminfo: memFree=16019872/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3042056 memory=1201584 CPUtime=1902.25 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 3937256 0 0 0 188990 1235 0 0 20 0 1 0 220674140 3115065344 300396 33554432000 4194304 5849708 140729063365728 140729063364728 5438180 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 760514 300396 749 405 0 757459 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 3042056 KiB
Current children cumulated memory: 1201584 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26007
/proc/meminfo: memFree=15143992/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3911468 memory=2070996 CPUtime=1962.25 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4043155 0 0 0 194972 1253 0 0 20 0 1 0 220674140 4005343232 517749 33554432000 4194304 5849708 140729063365728 140729063364136 5319753 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 977867 517749 749 405 0 974812 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2070996 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26008
/proc/meminfo: memFree=15154528/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3911468 memory=2070996 CPUtime=2022.25 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4137707 0 0 0 200967 1258 0 0 20 0 1 0 220674140 4005343232 517749 33554432000 4194304 5849708 140729063365728 140729063364136 5319730 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 977867 517749 749 405 0 974812 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2070996 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26009
/proc/meminfo: memFree=15138560/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3911468 memory=2070996 CPUtime=2082.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4249977 0 0 0 206961 1263 0 0 20 0 1 0 220674140 4005343232 517749 33554432000 4194304 5849708 140729063365728 140729063364136 5319740 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 977867 517749 749 405 0 974812 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2070996 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26017
/proc/meminfo: memFree=15116672/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3911468 memory=2070996 CPUtime=2142.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4400964 0 0 0 212954 1270 0 0 20 0 1 0 220674140 4005343232 517749 33554432000 4194304 5849708 140729063365728 140729063364136 4234762 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 977867 517749 749 405 0 974812 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 3911468 KiB
Current children cumulated memory: 2070996 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26018
/proc/meminfo: memFree=15987984/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3039788 memory=1199816 CPUtime=2202.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4659243 0 0 0 218932 1292 0 0 20 0 1 0 220674140 3112742912 299954 33554432000 4194304 5849708 140729063365728 140729063364888 5307573 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 759947 299954 749 405 0 756892 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 3039788 KiB
Current children cumulated memory: 1199816 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 26019
/proc/meminfo: memFree=15168976/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3852056 memory=2012204 CPUtime=2262.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4785147 0 0 0 224912 1312 0 0 20 0 1 0 220674140 3944505344 503051 33554432000 4194304 5849708 140729063365728 140729063364136 5304883 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 963014 503051 749 405 0 959959 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 3852056 KiB
Current children cumulated memory: 2012204 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 26020
/proc/meminfo: memFree=15653816/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3373376 memory=1533524 CPUtime=2322.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 4948126 0 0 0 230896 1328 0 0 20 0 1 0 220674140 3454337024 383381 33554432000 4194304 5849708 140729063365728 140729063364888 5312900 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 843344 383381 749 405 0 840289 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 3373376 KiB
Current children cumulated memory: 1533524 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26021
/proc/meminfo: memFree=15704704/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3557412 memory=1717560 CPUtime=2382.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 5132407 0 0 0 236871 1353 0 0 20 0 1 0 220674140 3642789888 429390 33554432000 4194304 5849708 140729063365728 140729063364600 5301930 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 889353 429390 749 405 0 886298 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 3557412 KiB
Current children cumulated memory: 1717560 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26023
/proc/meminfo: memFree=15317468/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3371388 memory=1531536 CPUtime=2442.24 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 5336757 0 0 0 242847 1377 0 0 20 0 1 0 220674140 3452301312 382884 33554432000 4194304 5849708 140729063365728 140729063364728 5438237 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 842847 382884 749 405 0 839792 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 3371388 KiB
Current children cumulated memory: 1531536 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26024
/proc/meminfo: memFree=15556488/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3031088 memory=1184028 CPUtime=2502.23 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 5475459 0 0 0 248825 1398 0 0 20 0 1 0 220674140 3103834112 296007 33554432000 4194304 5849708 140729063365728 140729063364888 5437828 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 757772 296007 749 405 0 754717 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 3031088 KiB
Current children cumulated memory: 1184028 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26024
/proc/meminfo: memFree=15524032/32770624 swapFree=67108796/67108860
[pid=25862] ppid=25859 vsize=3031088 memory=1184028 CPUtime=2519.94 cores=1,3,5,7
/proc/25862/stat : 25862 (xcsp_picat) R 25859 25862 25340 0 -1 4202496 5500921 0 0 0 250592 1402 0 0 20 0 1 0 220674140 3103834112 296007 33554432000 4194304 5849708 140729063365728 140729063364600 5394760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44584960 140729063367862 140729063367940 140729063367940 140729063370698 0
/proc/25862/statm: 757772 296007 749 405 0 754717 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 3031088 KiB
Current children cumulated memory: 1184028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 25862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.93 s, system=14.0697 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): 2520
CPU user time (s): 2505.93
CPU system time (s): 14.0697
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 3911468
Max. memory (cumulated for all children) (KiB): 2070996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.93
system time used= 14.0697
maximum resident set size= 2070996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5500921
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= 3
involuntary context switches= 783
# summary of solver processes directly reported to runsolver:
# pid: 25862
# total CPU time (s): 2520
# total CPU user time (s): 2505.93
# total CPU system time (s): 14.0697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.98602 second user time and 18.5461 second system time
The end