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 (3433 MiB free)
memory of node 1: 16384 MiB (770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303117-1534008998/watcher-4303117-1534008998 -o /tmp/evaluation-result-4303117-1534008998/solver-4303117-1534008998 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303117-1534008998.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=23378, runsolver pid=23375
[startup+0.100498 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 23379
/proc/meminfo: memFree=4283504/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=24416 CPUtime=0.1 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 1705 0 0 0 10 0 0 0 20 0 1 0 218462999 2074361856 6104 33554432000 4194304 5849708 140735618058976 140735618058280 4515035 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 6104 596 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24416 KiB
[startup+0.209561 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 23379
/proc/meminfo: memFree=4271000/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=38968 CPUtime=0.2 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 1712 0 0 0 20 0 0 0 20 0 1 0 218462999 2074361856 9742 33554432000 4194304 5849708 140735618058976 140735618058280 4515027 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 9742 599 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 38968 KiB
[startup+0.309492 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 23379
/proc/meminfo: memFree=4258712/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=51256 CPUtime=0.3 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 1718 0 0 0 30 0 0 0 20 0 1 0 218462999 2074361856 12814 33554432000 4194304 5849708 140735618058976 140735618058280 4507666 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 12814 599 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 51256 KiB
[startup+0.700328 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 23379
/proc/meminfo: memFree=4234136/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=98360 CPUtime=0.68 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 1741 0 0 0 67 1 0 0 20 0 1 0 218462999 2074361856 24590 33554432000 4194304 5849708 140735618058976 140735618058280 4531443 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 24590 599 405 0 503381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 98360 KiB
[startup+1.50034 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 23379
/proc/meminfo: memFree=4172360/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=196664 CPUtime=1.48 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 1789 0 0 0 146 2 0 0 20 0 1 0 218462999 2074361856 49166 33554432000 4194304 5849708 140735618058976 140735618058280 4454556 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 49166 599 405 0 503381 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 196664 KiB
[startup+3.10932 s]
/proc/loadavg: 1.91 1.98 2.03 3/187 23379
/proc/meminfo: memFree=3924180/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=397368 CPUtime=3.1 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 2128 0 0 0 304 6 0 0 20 0 1 0 218462999 2074361856 99342 33554432000 4194304 5849708 140735618058976 140735618058280 4548541 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 99342 599 405 0 503381 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 397368 KiB
[startup+6.30032 s]
/proc/loadavg: 1.91 1.98 2.03 3/187 23379
/proc/meminfo: memFree=3550296/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2025744 memory=792632 CPUtime=6.29 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 2385 0 0 0 617 12 0 0 20 0 1 0 218462999 2074361856 198158 33554432000 4194304 5849708 140735618058976 140735618058280 4537680 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 506436 198158 599 405 0 503381 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 792632 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 23379
/proc/meminfo: memFree=3233188/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2180200 memory=1158872 CPUtime=12.68 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 10906 0 0 0 1232 36 0 0 20 0 1 0 218462999 2232524800 289718 33554432000 4194304 5849708 140735618058976 140735618058296 4484955 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 545050 289718 653 405 0 541995 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2180200 KiB
Current children cumulated memory: 1158872 KiB
[startup+25.5002 s]
/proc/loadavg: 1.93 1.98 2.03 3/187 23379
/proc/meminfo: memFree=3057568/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2267152 memory=1248380 CPUtime=25.49 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 18646 0 0 0 2453 96 0 0 20 0 1 0 218462999 2321563648 312095 33554432000 4194304 5849708 140735618058976 140735618058072 140474376327047 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 566788 312095 702 405 0 563733 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2267152 KiB
Current children cumulated memory: 1248380 KiB
[startup+51.1093 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 23379
/proc/meminfo: memFree=2909220/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2385940 memory=1367168 CPUtime=51.09 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 22720 0 0 0 4921 188 0 0 20 0 1 0 218462999 2443202560 341792 33554432000 4194304 5849708 140735618058976 140735618058088 140474376327047 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 596485 341792 702 405 0 593430 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2385940 KiB
Current children cumulated memory: 1367168 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 23505
/proc/meminfo: memFree=2824012/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2586644 memory=1567872 CPUtime=102.27 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 26988 0 0 0 9847 380 0 0 20 0 1 0 218462999 2648723456 391968 33554432000 4194304 5849708 140735618058976 140735618058088 140474375865155 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 646661 391968 702 405 0 643606 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2586644 KiB
Current children cumulated memory: 1567872 KiB
[startup+162.3 s]
/proc/loadavg: 1.83 1.94 2.02 3/187 23506
/proc/meminfo: memFree=643808/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2848788 memory=1830016 CPUtime=162.24 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 98010 0 0 0 15600 624 0 0 20 0 1 0 218462999 2917158912 457504 33554432000 4194304 5849708 140735618058976 140735618057976 140474376327047 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 712197 457504 702 405 0 709142 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2848788 KiB
Current children cumulated memory: 1830016 KiB
[startup+222.3 s]
/proc/loadavg: 1.90 1.95 2.02 3/188 23515
/proc/meminfo: memFree=313940/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=2979860 memory=1961088 CPUtime=222.25 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 117729 0 0 0 21372 853 0 0 20 0 1 0 218462999 3051376640 490272 33554432000 4194304 5849708 140735618058976 140735618058216 140474376327047 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 744965 490272 702 405 0 741910 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2979860 KiB
Current children cumulated memory: 1961088 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.96 2.02 3/188 23516
/proc/meminfo: memFree=217372/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=3504148 memory=2485376 CPUtime=282.24 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 278208 0 0 0 27110 1114 0 0 20 0 1 0 218462999 3588247552 621344 33554432000 4194304 5849708 140735618058976 140735618058072 140474376327047 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 876037 621344 702 405 0 872982 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 3504148 KiB
Current children cumulated memory: 2485376 KiB
[startup+342.3 s]
/proc/loadavg: 1.95 1.95 2.01 3/188 23517
/proc/meminfo: memFree=201348/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=3770388 memory=2751616 CPUtime=342.23 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 366132 0 0 0 32875 1348 0 0 20 0 1 0 218462999 3860877312 687904 33554432000 4194304 5849708 140735618058976 140735618058072 140474376327047 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 942597 687904 702 405 0 939542 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 3770388 KiB
Current children cumulated memory: 2751616 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 1.96 2.01 3/188 23518
/proc/meminfo: memFree=247020/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=3778580 memory=2759808 CPUtime=402.22 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 411298 0 0 0 38648 1574 0 0 20 0 1 0 218462999 3869265920 689952 33554432000 4194304 5849708 140735618058976 140735618058152 5471990 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 944645 689952 702 405 0 941590 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 3778580 KiB
Current children cumulated memory: 2759808 KiB
[startup+462.3 s]
/proc/loadavg: 1.95 1.95 2.01 3/188 23519
/proc/meminfo: memFree=247240/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=3778580 memory=2759808 CPUtime=462.22 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 462236 0 0 0 44422 1800 0 0 20 0 1 0 218462999 3869265920 689952 33554432000 4194304 5849708 140735618058976 140735618057912 140474376327047 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 944645 689952 702 405 0 941590 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 3778580 KiB
Current children cumulated memory: 2759808 KiB
################
# More data... #
################
/proc/meminfo: memFree=919512/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=4724840 memory=3706132 CPUtime=1782.16 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 3325803 0 0 0 175161 3055 0 0 20 0 1 0 218462999 4838236160 926533 33554432000 4194304 5849708 140735618058976 140735618057224 5391852 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1181210 926533 718 405 0 1178155 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 4724840 KiB
Current children cumulated memory: 3706132 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23605
/proc/meminfo: memFree=920776/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=4724840 memory=3706132 CPUtime=1842.16 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 3401990 0 0 0 181154 3062 0 0 20 0 1 0 218462999 4838236160 926533 33554432000 4194304 5849708 140735618058976 140735618057224 5310543 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1181210 926533 718 405 0 1178155 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 4724840 KiB
Current children cumulated memory: 3706132 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23606
/proc/meminfo: memFree=926228/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=4724840 memory=3706132 CPUtime=1902.15 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 3476887 0 0 0 187147 3068 0 0 20 0 1 0 218462999 4838236160 926533 33554432000 4194304 5849708 140735618058976 140735618057224 5310539 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1181210 926533 718 405 0 1178155 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 4724840 KiB
Current children cumulated memory: 3706132 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23607
/proc/meminfo: memFree=925644/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=4724840 memory=3706132 CPUtime=1962.15 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 3553202 0 0 0 193142 3073 0 0 20 0 1 0 218462999 4838236160 926533 33554432000 4194304 5849708 140735618058976 140735618057224 5391852 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1181210 926533 718 405 0 1178155 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 4724840 KiB
Current children cumulated memory: 3706132 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23616
/proc/meminfo: memFree=923248/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=4730832 memory=3708332 CPUtime=2022.15 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 4145346 0 0 0 199109 3106 0 0 20 0 1 0 218462999 4844371968 927083 33554432000 4194304 5849708 140735618058976 140735618057688 5312861 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1182708 927083 723 405 0 1179653 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 4730832 KiB
Current children cumulated memory: 3708332 KiB
[startup+2082.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 23617
/proc/meminfo: memFree=255920/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4756928 CPUtime=2082.14 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 5157467 0 0 0 205002 3212 0 0 20 0 1 0 218462999 5918113792 1189232 33554432000 4194304 5849708 140735618058976 140735618057688 5322673 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1189232 728 405 0 1441797 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4756928 KiB
[startup+2142.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 23618
/proc/meminfo: memFree=255068/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4756928 CPUtime=2142.14 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 5897445 0 0 0 210964 3250 0 0 20 0 1 0 218462999 5918113792 1189232 33554432000 4194304 5849708 140735618058976 140735618057976 5307459 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1189232 728 405 0 1441797 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4756928 KiB
[startup+2202.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 23619
/proc/meminfo: memFree=274636/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4756928 CPUtime=2202.13 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 6851913 0 0 0 216913 3300 0 0 20 0 1 0 218462999 5918113792 1189232 33554432000 4194304 5849708 140735618058976 140735618057688 5340254 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1189232 728 405 0 1441797 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4756928 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 23620
/proc/meminfo: memFree=272900/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4756928 CPUtime=2262.14 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 7639019 0 0 0 222874 3340 0 0 20 0 1 0 218462999 5918113792 1189232 33554432000 4194304 5849708 140735618058976 140735618057976 5385621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1189232 728 405 0 1441797 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4756928 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 23621
/proc/meminfo: memFree=318756/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4760768 CPUtime=2322.13 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 8482916 0 0 0 228832 3381 0 0 20 0 1 0 218462999 5918113792 1190192 33554432000 4194304 5849708 140735618058976 140735618057976 5339871 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1190192 728 405 0 1441797 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4760768 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 23622
/proc/meminfo: memFree=316940/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4760768 CPUtime=2382.13 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 9253287 0 0 0 234791 3422 0 0 20 0 1 0 218462999 5918113792 1190192 33554432000 4194304 5849708 140735618058976 140735618058136 5437837 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1190192 728 405 0 1441797 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4760768 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 23623
/proc/meminfo: memFree=316924/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4760768 CPUtime=2442.12 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 10050791 0 0 0 240753 3459 0 0 20 0 1 0 218462999 5918113792 1190192 33554432000 4194304 5849708 140735618058976 140735618057976 5438246 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1190192 728 405 0 1441797 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4760768 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 23624
/proc/meminfo: memFree=316204/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4760768 CPUtime=2502.12 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 10973527 0 0 0 246708 3504 0 0 20 0 1 0 218462999 5918113792 1190192 33554432000 4194304 5849708 140735618058976 140735618057848 5312851 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1190192 728 405 0 1441797 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4760768 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 23625
/proc/meminfo: memFree=315956/32770624 swapFree=67108796/67108860
[pid=23378] ppid=23375 vsize=5779408 memory=4760768 CPUtime=2519.83 cores=0,2,4,6
/proc/23378/stat : 23378 (xcsp_picat) R 23375 23378 21527 0 -1 4202496 11058129 0 0 0 248471 3512 0 0 20 0 1 0 218462999 5918113792 1190192 33554432000 4194304 5849708 140735618058976 140735618057976 5438443 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17104896 140735618065590 140735618065668 140735618065668 140735618068426 0
/proc/23378/statm: 1444852 1190192 728 405 0 1441797 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 5779408 KiB
Current children cumulated memory: 4760768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.2 s]
# the end of solver process 23378 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2484.72 s, system=35.3116 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.11 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 23625
/proc/meminfo: memFree=2442220/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.2
CPU time (s): 2520.03
CPU user time (s): 2484.72
CPU system time (s): 35.3116
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 5779408
Max. memory (cumulated for all children) (KiB): 4760768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2484.72
system time used= 35.3116
maximum resident set size= 4760768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11058129
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= 4
involuntary context switches= 2459
# summary of solver processes directly reported to runsolver:
# pid: 23378
# total CPU time (s): 2520.03
# total CPU user time (s): 2484.72
# total CPU system time (s): 35.3116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.77173 second user time and 17.532 second system time
The end