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 (7801 MiB free)
memory of node 1: 16384 MiB (8221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292960-1532298663/watcher-4292960-1532298663 -o /tmp/evaluation-result-4292960-1532298663/solver-4292960-1532298663 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8378 --watchdog 2580 xcsp_picat HOME/instance-4292960-1532298663.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
solver pid=8663, runsolver pid=8660
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.04 1.97 3/192 8664
/proc/meminfo: memFree=17096280/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=119504 memory=32040 CPUtime=0.1 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 1530 0 0 0 10 0 0 0 20 0 1 0 47429463 122372096 8010 33554432000 4194304 5849740 140720898770656 140720898769960 4924399 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 29876 8010 636 405 0 26820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 32040 KiB
[startup+0.210039 s]*
/proc/loadavg: 1.92 2.02 1.97 3/190 8664
/proc/meminfo: memFree=17102460/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=119504 memory=45364 CPUtime=0.21 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 1785 0 0 0 20 1 0 0 20 0 1 0 47429463 122372096 11341 33554432000 4194304 5849740 140720898770656 140720898769960 4467524 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 29876 11341 644 405 0 26820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 45364 KiB
[startup+0.309679 s]*
/proc/loadavg: 1.92 2.02 1.97 3/199 8687
/proc/meminfo: memFree=17068736/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=145472 memory=74564 CPUtime=0.31 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 3585 0 0 0 30 1 0 0 20 0 1 0 47429463 148963328 18641 33554432000 4194304 5849740 140720898770656 140720898769960 4492437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 36368 18641 674 405 0 33312 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 145472 KiB
Current children cumulated memory: 74564 KiB
[startup+0.700348 s]
/proc/loadavg: 1.92 2.02 1.97 3/187 8700
/proc/meminfo: memFree=17065044/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=147456 memory=85240 CPUtime=0.69 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 4781 0 0 0 67 2 0 0 20 0 1 0 47429463 150994944 21310 33554432000 4194304 5849740 140720898770656 140720898769960 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 36864 21310 740 405 0 33808 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147456 KiB
Current children cumulated memory: 85240 KiB
[startup+1.50034 s]
/proc/loadavg: 1.92 2.02 1.97 3/192 8725
/proc/meminfo: memFree=17039880/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=153600 memory=91312 CPUtime=1.49 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 6317 0 0 0 142 7 0 0 20 0 1 0 47429463 157286400 22828 33554432000 4194304 5849740 140720898770656 140720898769752 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 38400 22828 740 405 0 35344 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 153600 KiB
Current children cumulated memory: 91312 KiB
[startup+3.10936 s]
/proc/loadavg: 1.92 2.02 1.97 3/192 8725
/proc/meminfo: memFree=17036680/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=155648 memory=93556 CPUtime=3.1 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 7209 0 0 0 300 10 0 0 20 0 1 0 47429463 159383552 23389 33554432000 4194304 5849740 140720898770656 140720898769688 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 38912 23389 740 405 0 35856 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 155648 KiB
Current children cumulated memory: 93556 KiB
[startup+6.30043 s]
/proc/loadavg: 1.93 2.02 1.97 3/192 8725
/proc/meminfo: memFree=17024932/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=179952 memory=114760 CPUtime=6.29 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 11960 0 0 0 615 14 0 0 20 0 1 0 47429463 184270848 28690 33554432000 4194304 5849740 140720898770656 140720898769304 5360437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 44988 28690 759 405 0 41932 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 179952 KiB
Current children cumulated memory: 114760 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.02 1.97 3/192 8725
/proc/meminfo: memFree=17019044/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=171760 memory=109196 CPUtime=12.68 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 15106 0 0 0 1253 15 0 0 20 0 1 0 47429463 175882240 27299 33554432000 4194304 5849740 140720898770656 140720898769816 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 42940 27299 769 405 0 39884 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 171760 KiB
Current children cumulated memory: 109196 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.02 1.97 3/193 8790
/proc/meminfo: memFree=16930948/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=171760 memory=109208 CPUtime=25.49 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 16981 0 0 0 2529 20 0 0 20 0 1 0 47429463 175882240 27302 33554432000 4194304 5849740 140720898770656 140720898769304 5361388 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 42940 27302 772 405 0 39884 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 171760 KiB
Current children cumulated memory: 109208 KiB
[startup+51.1099 s]
/proc/loadavg: 1.97 2.02 1.97 3/193 8790
/proc/meminfo: memFree=16899772/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=171760 memory=116048 CPUtime=51.1 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 17411 0 0 0 5081 29 0 0 20 0 1 0 47429463 175882240 29012 33554432000 4194304 5849740 140720898770656 140720898769656 5438248 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 42940 29012 772 405 0 39884 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 171760 KiB
Current children cumulated memory: 116048 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 1.97 3/193 8791
/proc/meminfo: memFree=16893444/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=176936 memory=121848 CPUtime=102.29 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 19449 0 0 0 10173 56 0 0 20 0 1 0 47429463 181182464 30462 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 44234 30462 781 405 0 41178 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 176936 KiB
Current children cumulated memory: 121848 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.97 3/193 8792
/proc/meminfo: memFree=16886668/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=185128 memory=129808 CPUtime=162.3 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 20594 0 0 0 16136 94 0 0 20 0 1 0 47429463 189571072 32452 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 46282 32452 781 405 0 43226 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 185128 KiB
Current children cumulated memory: 129808 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/193 8793
/proc/meminfo: memFree=16880920/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=185128 memory=130040 CPUtime=222.3 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 22057 0 0 0 22102 128 0 0 20 0 1 0 47429463 189571072 32510 33554432000 4194304 5849740 140720898770656 140720898769816 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 46282 32510 781 405 0 43226 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 185128 KiB
Current children cumulated memory: 130040 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 8795
/proc/meminfo: memFree=16879484/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=187640 memory=132296 CPUtime=282.31 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 23108 0 0 0 28066 165 0 0 20 0 1 0 47429463 192143360 33074 33554432000 4194304 5849740 140720898770656 140720898769528 5312657 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 46910 33074 781 405 0 43854 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 187640 KiB
Current children cumulated memory: 132296 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 8796
/proc/meminfo: memFree=16848868/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=188716 memory=133572 CPUtime=342.31 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 24846 0 0 0 34030 201 0 0 20 0 1 0 47429463 193245184 33393 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 47179 33393 781 405 0 44123 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 188716 KiB
Current children cumulated memory: 133572 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 8797
/proc/meminfo: memFree=16845480/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=191992 memory=136660 CPUtime=402.31 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 25679 0 0 0 39993 238 0 0 20 0 1 0 47429463 196599808 34165 33554432000 4194304 5849740 140720898770656 140720898769656 5437808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 47998 34165 781 405 0 44942 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 191992 KiB
Current children cumulated memory: 136660 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 8798
/proc/meminfo: memFree=16833924/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=202288 memory=147332 CPUtime=462.32 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 33048 0 0 0 45942 290 0 0 20 0 1 0 47429463 207142912 36833 33554432000 4194304 5849740 140720898770656 140720898769656 5359586 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 50572 36833 782 405 0 47516 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 202288 KiB
Current children cumulated memory: 147332 KiB
################
# More data... #
################
/proc/8663/statm: 66100 51020 782 405 0 63044 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 264400 KiB
Current children cumulated memory: 204080 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/194 8878
/proc/meminfo: memFree=16681004/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=266248 memory=211292 CPUtime=1842.4 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 72355 0 0 0 183077 1163 0 0 20 0 1 0 47429463 272637952 52823 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 66562 52823 782 405 0 63506 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 266248 KiB
Current children cumulated memory: 211292 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/194 8879
/proc/meminfo: memFree=16660924/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=320040 memory=264952 CPUtime=1902.4 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 75323 0 0 0 189032 1208 0 0 20 0 1 0 47429463 327720960 66238 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 80010 66238 782 405 0 76954 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 320040 KiB
Current children cumulated memory: 264952 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/194 8880
/proc/meminfo: memFree=16693456/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=287272 memory=232188 CPUtime=1962.41 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 82652 0 0 0 194985 1256 0 0 20 0 1 0 47429463 294166528 58047 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 71818 58047 782 405 0 68762 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 287272 KiB
Current children cumulated memory: 232188 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/194 8881
/proc/meminfo: memFree=16670568/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2022.41 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 92465 0 0 0 200956 1285 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 8882
/proc/meminfo: memFree=16635536/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2082.41 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 99767 0 0 0 206921 1320 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 8883
/proc/meminfo: memFree=16667060/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2142.41 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 100280 0 0 0 212886 1355 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769816 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 8884
/proc/meminfo: memFree=16633932/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2202.42 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 108311 0 0 0 218857 1385 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769816 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 8885
/proc/meminfo: memFree=16662948/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2262.43 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 108552 0 0 0 224819 1424 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769816 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 8887
/proc/meminfo: memFree=16630468/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2322.42 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 109091 0 0 0 230785 1457 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 8896
/proc/meminfo: memFree=16640416/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2382.43 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 109104 0 0 0 236756 1487 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769816 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 8897
/proc/meminfo: memFree=16607620/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2442.43 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 109577 0 0 0 242726 1517 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
[startup+2502.3 s]
/proc/loadavg: 2.55 2.18 2.05 3/192 8898
/proc/meminfo: memFree=16607800/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=300568 memory=245484 CPUtime=2502.43 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 109583 0 0 0 248692 1551 0 0 20 0 1 0 47429463 307781632 61371 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 75142 61371 782 405 0 72086 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 300568 KiB
Current children cumulated memory: 245484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.43 2.17 2.05 3/192 8898
/proc/meminfo: memFree=16592592/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=348532 memory=293448 CPUtime=2520.03 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 113300 0 0 0 250436 1567 0 0 20 0 1 0 47429463 356896768 73362 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 87133 73362 782 405 0 84077 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 348532 KiB
Current children cumulated memory: 293448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 8663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2504.37 s, system=15.6781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.43 2.17 2.05 3/192 8898
/proc/meminfo: memFree=16592592/32770624 swapFree=67108860/67108860
[pid=8663] ppid=8660 vsize=348532 memory=293448 CPUtime=2520.03 cores=0,2,4,6
/proc/8663/stat : 8663 (xcsp_picat) R 8660 8663 8347 0 -1 4202496 113300 0 0 0 250436 1567 0 0 20 0 1 0 47429463 356896768 73362 33554432000 4194304 5849740 140720898770656 140720898769656 140251219160967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19517440 140720898774198 140720898774276 140720898774276 140720898777034 0
/proc/8663/statm: 87133 73362 782 405 0 84077 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 348532 KiB
Current children cumulated memory: 293448 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2504.37
CPU system time (s): 15.6781
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 391332
Max. memory (cumulated for all children) (KiB): 336024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.37
system time used= 15.6781
maximum resident set size= 336248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113300
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= 38
involuntary context switches= 818
# summary of solver processes directly reported to runsolver:
# pid: 8663
# total CPU time (s): 2520.04
# total CPU user time (s): 2504.37
# total CPU system time (s): 15.6781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.83418 second user time and 19.0323 second system time
The end