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 (6147 MiB free)
memory of node 1: 16384 MiB (7704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303474-1534003217/watcher-4303474-1534003217 -o /tmp/evaluation-result-4303474-1534003217/solver-4303474-1534003217 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32497 --watchdog 2580 xcsp_picat HOME/instance-4303474-1534003217.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=1931, runsolver pid=1928
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1932
/proc/meminfo: memFree=14164796/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2025744 memory=24408 CPUtime=0.1 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 1682 0 0 0 10 0 0 0 20 0 1 0 217884868 2074361856 6102 33554432000 4194304 5849708 140734842608768 140734842608072 4481152 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506436 6102 611 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24408 KiB
[startup+0.20968 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1932
/proc/meminfo: memFree=14121664/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2025744 memory=67416 CPUtime=0.21 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 1703 0 0 0 21 0 0 0 20 0 1 0 217884868 2074361856 16854 33554432000 4194304 5849708 140734842608768 140734842608072 4554955 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506436 16854 611 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 67416 KiB
[startup+0.309491 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1932
/proc/meminfo: memFree=14078656/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2025744 memory=112600 CPUtime=0.31 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 1725 0 0 0 30 1 0 0 20 0 1 0 217884868 2074361856 28150 33554432000 4194304 5849708 140734842608768 140734842608072 4554796 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506436 28150 616 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 112600 KiB
[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1932
/proc/meminfo: memFree=13996612/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2025744 memory=264616 CPUtime=0.69 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 1950 0 0 0 66 3 0 0 20 0 1 0 217884868 2074361856 66154 33554432000 4194304 5849708 140734842608768 140734842608072 4458274 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506436 66154 626 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 264616 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1932
/proc/meminfo: memFree=13839848/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2025888 memory=347648 CPUtime=1.49 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 2241 0 0 0 145 4 0 0 20 0 1 0 217884868 2074509312 86912 33554432000 4194304 5849708 140734842608768 140734842607512 5518395 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506472 86912 718 405 0 503417 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025888 KiB
Current children cumulated memory: 347648 KiB
[startup+3.10892 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 1932
/proc/meminfo: memFree=13839468/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2026380 memory=348168 CPUtime=3.1 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 2465 0 0 0 305 5 0 0 20 0 1 0 217884868 2075013120 87042 33554432000 4194304 5849708 140734842608768 140734842607864 5522750 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506595 87042 718 405 0 503540 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026380 KiB
Current children cumulated memory: 348168 KiB
[startup+6.30024 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 1932
/proc/meminfo: memFree=13838600/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2027184 memory=348908 CPUtime=6.28 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 2836 0 0 0 622 6 0 0 20 0 1 0 217884868 2075836416 87227 33554432000 4194304 5849708 140734842608768 140734842608008 140078601809799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 506796 87227 718 405 0 503741 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2027184 KiB
Current children cumulated memory: 348908 KiB
[startup+12.7002 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 1932
/proc/meminfo: memFree=13837036/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2028980 memory=350768 CPUtime=12.68 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 3715 0 0 0 1259 9 0 0 20 0 1 0 217884868 2077675520 87692 33554432000 4194304 5849708 140734842608768 140734842607880 140078601809799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 507245 87692 718 405 0 504190 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2028980 KiB
Current children cumulated memory: 350768 KiB
[startup+25.5003 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 1932
/proc/meminfo: memFree=13831456/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2034568 memory=356356 CPUtime=25.49 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 5814 0 0 0 2535 14 0 0 20 0 1 0 217884868 2083397632 89089 33554432000 4194304 5849708 140734842608768 140734842607944 5479940 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 508642 89089 718 405 0 505587 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2034568 KiB
Current children cumulated memory: 356356 KiB
[startup+51.1095 s]
/proc/loadavg: 2.71 2.20 2.11 3/187 1954
/proc/meminfo: memFree=13682452/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2190036 memory=503616 CPUtime=51.1 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 38879 0 0 0 5088 22 0 0 20 0 1 0 217884868 2242596864 125904 33554432000 4194304 5849708 140734842608768 140734842607256 4211387 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 547509 125904 746 405 0 544454 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2190036 KiB
Current children cumulated memory: 503616 KiB
[startup+102.3 s]
/proc/loadavg: 2.36 2.18 2.11 3/187 1955
/proc/meminfo: memFree=13678472/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2190032 memory=507928 CPUtime=102.3 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 70004 0 0 0 10203 27 0 0 20 0 1 0 217884868 2242592768 126982 33554432000 4194304 5849708 140734842608768 140734842607256 4230803 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 547508 126982 750 405 0 544453 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2190032 KiB
Current children cumulated memory: 507928 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/187 1956
/proc/meminfo: memFree=13705336/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2160764 memory=480708 CPUtime=162.31 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 72839 0 0 0 16197 34 0 0 20 0 1 0 217884868 2212622336 120177 33554432000 4194304 5849708 140734842608768 140734842607256 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 540191 120177 750 405 0 537136 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2160764 KiB
Current children cumulated memory: 480708 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/187 1957
/proc/meminfo: memFree=13701728/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2169960 memory=484756 CPUtime=222.32 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 89948 0 0 0 22186 46 0 0 20 0 1 0 217884868 2222039040 121189 33554432000 4194304 5849708 140734842608768 140734842607256 4213532 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 542490 121189 750 405 0 539435 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2169960 KiB
Current children cumulated memory: 484756 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 2.09 2.08 3/187 2018
/proc/meminfo: memFree=14332192/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2169848 memory=484644 CPUtime=282.31 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 103844 0 0 0 28174 57 0 0 20 0 1 0 217884868 2221924352 121161 33554432000 4194304 5849708 140734842608768 140734842607768 5307480 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 542462 121161 750 405 0 539407 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2169848 KiB
Current children cumulated memory: 484644 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.07 2.08 3/187 2019
/proc/meminfo: memFree=14326028/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2169848 memory=489516 CPUtime=342.32 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 104746 0 0 0 34164 68 0 0 20 0 1 0 217884868 2221924352 122379 33554432000 4194304 5849708 140734842608768 140734842607768 5307573 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 542462 122379 750 405 0 539407 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2169848 KiB
Current children cumulated memory: 489516 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/187 2020
/proc/meminfo: memFree=14327844/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2169660 memory=489328 CPUtime=402.32 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 106345 0 0 0 40154 78 0 0 20 0 1 0 217884868 2221731840 122332 33554432000 4194304 5849708 140734842608768 140734842607256 140078601809799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 542415 122332 750 405 0 539360 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2169660 KiB
Current children cumulated memory: 489328 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/187 2021
/proc/meminfo: memFree=14323008/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2169404 memory=493264 CPUtime=462.33 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 106890 0 0 0 46139 94 0 0 20 0 1 0 217884868 2221469696 123316 33554432000 4194304 5849708 140734842608768 140734842607496 5438282 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 542351 123316 750 405 0 539296 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2169404 KiB
Current children cumulated memory: 493264 KiB
################
# More data... #
################
/proc/1931/statm: 561228 142382 750 405 0 558173 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 2244912 KiB
Current children cumulated memory: 569528 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2061
/proc/meminfo: memFree=14247904/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2179296 memory=503912 CPUtime=1782.49 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 320529 0 0 0 177832 417 0 0 20 0 1 0 217884868 2231599104 125978 33554432000 4194304 5849708 140734842608768 140734842607768 140078601809799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 544824 125978 750 405 0 541769 0
Current children cumulated CPU time: 1782.49 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 503912 KiB
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 2070
/proc/meminfo: memFree=14248116/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2179296 memory=503912 CPUtime=1842.5 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 339139 0 0 0 183816 434 0 0 20 0 1 0 217884868 2231599104 125978 33554432000 4194304 5849708 140734842608768 140734842607768 140078601809799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 544824 125978 750 405 0 541769 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 503912 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 2071
/proc/meminfo: memFree=14247856/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2179296 memory=503912 CPUtime=1902.51 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 340906 0 0 0 189801 450 0 0 20 0 1 0 217884868 2231599104 125978 33554432000 4194304 5849708 140734842608768 140734842607768 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 544824 125978 750 405 0 541769 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 503912 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 2072
/proc/meminfo: memFree=14248280/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2179296 memory=503912 CPUtime=1962.52 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 355596 0 0 0 195785 467 0 0 20 0 1 0 217884868 2231599104 125978 33554432000 4194304 5849708 140734842608768 140734842607768 5376002 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 544824 125978 750 405 0 541769 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 503912 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2073
/proc/meminfo: memFree=14183180/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2244760 memory=569320 CPUtime=2022.53 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 360639 0 0 0 201772 481 0 0 20 0 1 0 217884868 2298634240 142330 33554432000 4194304 5849708 140734842608768 140734842607768 140078601809799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 561190 142330 750 405 0 558135 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2244760 KiB
Current children cumulated memory: 569320 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2074
/proc/meminfo: memFree=14247920/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2179608 memory=504224 CPUtime=2082.54 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 374827 0 0 0 207760 494 0 0 20 0 1 0 217884868 2231918592 126056 33554432000 4194304 5849708 140734842608768 140734842607768 5437623 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 544902 126056 750 405 0 541847 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 2179608 KiB
Current children cumulated memory: 504224 KiB
[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 2075
/proc/meminfo: memFree=14212932/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2181916 memory=506532 CPUtime=2142.54 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 377954 0 0 0 213743 511 0 0 20 0 1 0 217884868 2234281984 126633 33554432000 4194304 5849708 140734842608768 140734842607768 5339043 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 545479 126633 750 405 0 542424 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 2181916 KiB
Current children cumulated memory: 506532 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 2076
/proc/meminfo: memFree=14174764/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2251836 memory=576240 CPUtime=2202.55 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 398627 0 0 0 219726 529 0 0 20 0 1 0 217884868 2305880064 144060 33554432000 4194304 5849708 140734842608768 140734842607256 4213532 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 562959 144060 750 405 0 559904 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 2251836 KiB
Current children cumulated memory: 576240 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2077
/proc/meminfo: memFree=14239000/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2186808 memory=511172 CPUtime=2262.56 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 399504 0 0 0 225712 544 0 0 20 0 1 0 217884868 2239291392 127793 33554432000 4194304 5849708 140734842608768 140734842607768 140078601809799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 546702 127793 750 405 0 543647 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 2186808 KiB
Current children cumulated memory: 511172 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2078
/proc/meminfo: memFree=14238504/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2186236 memory=510904 CPUtime=2322.56 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 414475 0 0 0 231695 561 0 0 20 0 1 0 217884868 2238705664 127726 33554432000 4194304 5849708 140734842608768 140734842607768 5437925 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 546559 127726 750 405 0 543504 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 510904 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 2079
/proc/meminfo: memFree=14238548/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2186236 memory=510904 CPUtime=2382.58 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 418028 0 0 0 237680 578 0 0 20 0 1 0 217884868 2238705664 127726 33554432000 4194304 5849708 140734842608768 140734842607768 5437901 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 546559 127726 750 405 0 543504 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 510904 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 2088
/proc/meminfo: memFree=14237648/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2186724 memory=511392 CPUtime=2442.58 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 437734 0 0 0 243661 597 0 0 20 0 1 0 217884868 2239205376 127848 33554432000 4194304 5849708 140734842608768 140734842607768 5353818 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 546681 127848 750 405 0 543626 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 2186724 KiB
Current children cumulated memory: 511392 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2089
/proc/meminfo: memFree=14236920/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2186236 memory=510904 CPUtime=2502.59 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 438837 0 0 0 249650 609 0 0 20 0 1 0 217884868 2238705664 127726 33554432000 4194304 5849708 140734842608768 140734842607640 5437544 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 546559 127726 750 405 0 543504 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 510904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2090
/proc/meminfo: memFree=14236608/32770624 swapFree=67108504/67108860
[pid=1931] ppid=1928 vsize=2186236 memory=510904 CPUtime=2520.09 cores=0,2,4,6
/proc/1931/stat : 1931 (xcsp_picat) R 1928 1931 32466 0 -1 4202496 439585 0 0 0 251398 611 0 0 20 0 1 0 217884868 2238705664 127726 33554432000 4194304 5849708 140734842608768 140734842607640 5438096 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19673088 140734842610870 140734842610948 140734842610948 140734842613706 0
/proc/1931/statm: 546559 127726 750 405 0 543504 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 510904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 1931 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.98 s, system=6.12175 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): 2519.81
CPU time (s): 2520.11
CPU user time (s): 2513.98
CPU system time (s): 6.12175
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2252344
Max. memory (cumulated for all children) (KiB): 576928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.98
system time used= 6.12175
maximum resident set size= 576928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439585
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= 22
involuntary context switches= 816
# summary of solver processes directly reported to runsolver:
# pid: 1931
# total CPU time (s): 2520.11
# total CPU user time (s): 2513.98
# total CPU system time (s): 6.12175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.35604 second user time and 18.6407 second system time
The end