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 (10701 MiB free)
memory of node 1: 16384 MiB (6108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303026-1534024330/watcher-4303026-1534024330 -o /tmp/evaluation-result-4303026-1534024330/solver-4303026-1534024330 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303026-1534024330.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
Current StackSize limit: 8192 KiB
solver pid=25063, runsolver pid=25060
[startup+0.100215 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=17185792/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2033560 memory=31604 CPUtime=0.1 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 1950 0 0 0 10 0 0 0 20 0 1 0 219996159 2082365440 7901 33554432000 4194304 5849708 140729720226480 140729720225784 4516917 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 508390 7901 618 405 0 505335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 31604 KiB
[startup+0.209868 s]*
/proc/loadavg: 2.00 2.03 2.05 4/188 25064
/proc/meminfo: memFree=17167664/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2033560 memory=47988 CPUtime=0.21 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 1958 0 0 0 21 0 0 0 20 0 1 0 219996159 2082365440 11997 33554432000 4194304 5849708 140729720226480 140729720225784 4488034 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 508390 11997 618 405 0 505335 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 47988 KiB
[startup+0.309537 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=17151280/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2033560 memory=64372 CPUtime=0.31 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 1966 0 0 0 31 0 0 0 20 0 1 0 219996159 2082365440 16093 33554432000 4194304 5849708 140729720226480 140729720225784 4488935 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 508390 16093 618 405 0 505335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 64372 KiB
[startup+0.700443 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=17116340/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2033560 memory=130048 CPUtime=0.69 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 1998 0 0 0 67 2 0 0 20 0 1 0 219996159 2082365440 32512 33554432000 4194304 5849708 140729720226480 140729720225784 4491536 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 508390 32512 628 405 0 505335 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 130048 KiB
[startup+1.50045 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=17034296/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2033560 memory=257024 CPUtime=1.49 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 2067 0 0 0 145 4 0 0 20 0 1 0 219996159 2082365440 64256 33554432000 4194304 5849708 140729720226480 140729720225784 4476345 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 508390 64256 628 405 0 505335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 257024 KiB
[startup+3.10955 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=16864512/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2045400 memory=350712 CPUtime=3.1 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 6311 0 0 0 286 24 0 0 20 0 1 0 219996159 2094489600 87678 33554432000 4194304 5849708 140729720226480 140729720225640 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 511350 87678 705 405 0 508295 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2045400 KiB
Current children cumulated memory: 350712 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=16846064/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2063552 memory=368932 CPUtime=6.29 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 8886 0 0 0 579 50 0 0 20 0 1 0 219996159 2113077248 92233 33554432000 4194304 5849708 140729720226480 140729720225576 5606192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 515888 92233 722 405 0 512833 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2063552 KiB
Current children cumulated memory: 368932 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=16825624/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2118920 memory=424100 CPUtime=12.69 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 19156 0 0 0 1212 57 0 0 20 0 1 0 219996159 2169774080 106025 33554432000 4194304 5849708 140729720226480 140729720225416 5365065 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 529730 106025 734 405 0 526675 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2118920 KiB
Current children cumulated memory: 424100 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 25064
/proc/meminfo: memFree=16752032/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2160200 memory=463012 CPUtime=25.49 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 45367 0 0 0 2488 61 0 0 20 0 1 0 219996159 2212044800 115753 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 540050 115753 754 405 0 536995 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2160200 KiB
Current children cumulated memory: 463012 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 25064
/proc/meminfo: memFree=16756340/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2153152 memory=458456 CPUtime=51.09 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 56418 0 0 0 4991 118 0 0 20 0 1 0 219996159 2204827648 114614 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 538288 114614 763 405 0 535233 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2153152 KiB
Current children cumulated memory: 458456 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 25077
/proc/meminfo: memFree=16745464/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2162324 memory=467740 CPUtime=102.29 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 71298 0 0 0 10097 132 0 0 20 0 1 0 219996159 2214219776 116935 33554432000 4194304 5849708 140729720226480 140729720225208 5358846 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 540581 116935 763 405 0 537526 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2162324 KiB
Current children cumulated memory: 467740 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25078
/proc/meminfo: memFree=16805228/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2164496 memory=467876 CPUtime=162.28 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 94599 0 0 0 16078 150 0 0 20 0 1 0 219996159 2216443904 116969 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 541124 116969 763 405 0 538069 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2164496 KiB
Current children cumulated memory: 467876 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25141
/proc/meminfo: memFree=16598020/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2169764 memory=474144 CPUtime=222.27 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 108210 0 0 0 22062 165 0 0 20 0 1 0 219996159 2221838336 118536 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 542441 118536 763 405 0 539386 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2169764 KiB
Current children cumulated memory: 474144 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25142
/proc/meminfo: memFree=16587632/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2169764 memory=474500 CPUtime=282.26 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 111582 0 0 0 28044 182 0 0 20 0 1 0 219996159 2221838336 118625 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 542441 118625 763 405 0 539386 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2169764 KiB
Current children cumulated memory: 474500 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25143
/proc/meminfo: memFree=16568904/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2179624 memory=488748 CPUtime=342.25 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 113304 0 0 0 34027 198 0 0 20 0 1 0 219996159 2231934976 122187 33554432000 4194304 5849708 140729720226480 140729720225640 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 544906 122187 763 405 0 541851 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2179624 KiB
Current children cumulated memory: 488748 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25145
/proc/meminfo: memFree=16541292/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2179624 memory=488748 CPUtime=402.25 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 113669 0 0 0 40009 216 0 0 20 0 1 0 219996159 2231934976 122187 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 544906 122187 763 405 0 541851 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2179624 KiB
Current children cumulated memory: 488748 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25146
/proc/meminfo: memFree=16548300/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2190640 memory=489692 CPUtime=462.25 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 115779 0 0 0 45993 232 0 0 20 0 1 0 219996159 2243215360 122423 33554432000 4194304 5849708 140729720226480 140729720225480 5437647 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 547660 122423 763 405 0 544605 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2190640 KiB
Current children cumulated memory: 489692 KiB
################
# More data... #
################
/proc/25063/statm: 571504 149007 763 405 0 568449 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 2286016 KiB
Current children cumulated memory: 596028 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25218
/proc/meminfo: memFree=16261420/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2301840 memory=611772 CPUtime=1782.15 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 270912 0 0 0 177572 643 0 0 20 0 1 0 219996159 2357084160 152943 33554432000 4194304 5849708 140729720226480 140729720225480 5339661 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 575460 152943 763 405 0 572405 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 611772 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25219
/proc/meminfo: memFree=16252920/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2301840 memory=611772 CPUtime=1842.15 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 277457 0 0 0 183552 663 0 0 20 0 1 0 219996159 2357084160 152943 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 575460 152943 763 405 0 572405 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 611772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25220
/proc/meminfo: memFree=16252112/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2301840 memory=611772 CPUtime=1902.15 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 287065 0 0 0 189523 692 0 0 20 0 1 0 219996159 2357084160 152943 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 575460 152943 763 405 0 572405 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 611772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25221
/proc/meminfo: memFree=16193800/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2301840 memory=611772 CPUtime=1962.14 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 291780 0 0 0 195495 719 0 0 20 0 1 0 219996159 2357084160 152943 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 575460 152943 763 405 0 572405 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 611772 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25223
/proc/meminfo: memFree=16180760/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2301840 memory=611772 CPUtime=2022.14 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 305678 0 0 0 201468 746 0 0 20 0 1 0 219996159 2357084160 152943 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 575460 152943 763 405 0 572405 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 611772 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25224
/proc/meminfo: memFree=16202644/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2301840 memory=611772 CPUtime=2082.13 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 313333 0 0 0 207437 776 0 0 20 0 1 0 219996159 2357084160 152943 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 575460 152943 763 405 0 572405 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 611772 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25225
/proc/meminfo: memFree=16105776/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2365016 memory=674948 CPUtime=2142.13 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 331141 0 0 0 213401 812 0 0 20 0 1 0 219996159 2421776384 168737 33554432000 4194304 5849708 140729720226480 140729720225352 5392034 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 591254 168737 763 405 0 588199 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2365016 KiB
Current children cumulated memory: 674948 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25227
/proc/meminfo: memFree=15982200/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2497120 memory=807052 CPUtime=2202.12 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 357433 0 0 0 219366 846 0 0 20 0 1 0 219996159 2557050880 201763 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 624280 201763 763 405 0 621225 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 2497120 KiB
Current children cumulated memory: 807052 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25228
/proc/meminfo: memFree=16012020/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2475360 memory=785292 CPUtime=2262.12 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 383965 0 0 0 225338 874 0 0 20 0 1 0 219996159 2534768640 196323 33554432000 4194304 5849708 140729720226480 140729720225352 5355985 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 618840 196323 763 405 0 615785 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2475360 KiB
Current children cumulated memory: 785292 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25236
/proc/meminfo: memFree=16036016/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2466460 memory=776392 CPUtime=2322.12 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 411718 0 0 0 231310 902 0 0 20 0 1 0 219996159 2525655040 194098 33554432000 4194304 5849708 140729720226480 140729720225480 5313256 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 616615 194098 763 405 0 613560 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 776392 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25237
/proc/meminfo: memFree=16021572/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2466460 memory=776392 CPUtime=2382.11 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 435480 0 0 0 237280 931 0 0 20 0 1 0 219996159 2525655040 194098 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 616615 194098 763 405 0 613560 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 776392 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25238
/proc/meminfo: memFree=16035508/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2466460 memory=776392 CPUtime=2442.11 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 456176 0 0 0 243250 961 0 0 20 0 1 0 219996159 2525655040 194098 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 616615 194098 763 405 0 613560 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 776392 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25239
/proc/meminfo: memFree=16004108/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2466460 memory=776392 CPUtime=2502.11 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 480019 0 0 0 249219 992 0 0 20 0 1 0 219996159 2525655040 194098 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 616615 194098 763 405 0 613560 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 776392 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25239
/proc/meminfo: memFree=16033644/32770624 swapFree=67108796/67108860
[pid=25063] ppid=25060 vsize=2466460 memory=776392 CPUtime=2519.81 cores=0,2,4,6
/proc/25063/stat : 25063 (xcsp_picat) R 25060 25063 21527 0 -1 4202496 495823 0 0 0 250981 1000 0 0 20 0 1 0 219996159 2525655040 194098 33554432000 4194304 5849708 140729720226480 140729720225480 140144865161095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 41426944 140729720235190 140729720235268 140729720235268 140729720238026 0
/proc/25063/statm: 616615 194098 763 405 0 613560 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 776392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25063 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.81 s, system=10.0193 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.02
CPU time (s): 2519.83
CPU user time (s): 2509.81
CPU system time (s): 10.0193
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 2499040
Max. memory (cumulated for all children) (KiB): 808972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.81
system time used= 10.0193
maximum resident set size= 808972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495823
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= 20
involuntary context switches= 3173
# summary of solver processes directly reported to runsolver:
# pid: 25063
# total CPU time (s): 2519.83
# total CPU user time (s): 2509.81
# total CPU system time (s): 10.0193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0773 second user time and 18.3425 second system time
The end