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 (11125 MiB free)
memory of node 1: 16384 MiB (15695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395404-1568325539/watcher-4395404-1568325539 -o /tmp/evaluation-result-4395404-1568325539/solver-4395404-1568325539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18696 --watchdog 2580 xcsp_picat HOME/instance-4395404-1568325539.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19965, runsolver pid=19962
[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27442372/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2037104 memory=26492 CPUtime=0.1 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 1712 0 0 0 8 2 0 0 20 0 1 0 408816613 2085994496 6623 33554432000 4194304 5870510 140725600390608 140725600387752 140163663478663 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 509276 6623 931 410 0 504749 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037104 KiB
Current children cumulated memory: 26492 KiB
[startup+0.209614 s]*
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27438652/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2040324 memory=29840 CPUtime=0.21 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 2552 0 0 0 19 2 0 0 20 0 1 0 408816613 2089291776 7460 33554432000 4194304 5870510 140725600390608 140725600387752 5562064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 510081 7460 948 410 0 505554 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 29840 KiB
[startup+0.309253 s]*
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27438652/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2040324 memory=29840 CPUtime=0.31 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 2556 0 0 0 29 2 0 0 20 0 1 0 408816613 2089291776 7460 33554432000 4194304 5870510 140725600390608 140725600387752 5494718 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 510081 7460 948 410 0 505554 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 29840 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27438652/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2040324 memory=29840 CPUtime=0.69 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 2575 0 0 0 67 2 0 0 20 0 1 0 408816613 2089291776 7460 33554432000 4194304 5870510 140725600390608 140725600389704 140163663478663 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 510081 7460 948 410 0 505554 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 29840 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27438404/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2040496 memory=30248 CPUtime=1.49 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 2647 0 0 0 147 2 0 0 20 0 1 0 408816613 2089467904 7562 33554432000 4194304 5870510 140725600390608 140725600389704 5579055 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 510124 7562 951 410 0 505597 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2040496 KiB
Current children cumulated memory: 30248 KiB
[startup+3.10899 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27437744/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2041028 memory=31004 CPUtime=3.09 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 3130 0 0 0 307 2 0 0 20 0 1 0 408816613 2090012672 7751 33554432000 4194304 5870510 140725600390608 140725600389704 140163663478663 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 510257 7751 951 410 0 505730 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2041028 KiB
Current children cumulated memory: 31004 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27436256/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2042012 memory=32492 CPUtime=6.29 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 4082 0 0 0 626 3 0 0 20 0 1 0 408816613 2091020288 8123 33554432000 4194304 5870510 140725600390608 140725600389704 5562064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 510503 8123 951 410 0 505976 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2042012 KiB
Current children cumulated memory: 32492 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27431356/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2046688 memory=39156 CPUtime=12.69 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 8195 0 0 0 1265 4 0 0 20 0 1 0 408816613 2095808512 9789 33554432000 4194304 5870510 140725600390608 140725600389112 5334446 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 511672 9789 961 410 0 507145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2046688 KiB
Current children cumulated memory: 39156 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19966
/proc/meminfo: memFree=27412848/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2071744 memory=54596 CPUtime=25.49 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 19526 0 0 0 2542 7 0 0 20 0 1 0 408816613 2121465856 13649 33554432000 4194304 5870510 140725600390608 140725600389704 5562059 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 517936 13649 990 410 0 513409 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2071744 KiB
Current children cumulated memory: 54596 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.11 3/199 19969
/proc/meminfo: memFree=27427884/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2045632 memory=39628 CPUtime=51.09 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 24473 0 0 0 5099 10 0 0 20 0 1 0 408816613 2094727168 9907 33554432000 4194304 5870510 140725600390608 140725600389848 5562059 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 511408 9907 990 410 0 506881 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2045632 KiB
Current children cumulated memory: 39628 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/200 19974
/proc/meminfo: memFree=27372224/32770624 swapFree=66979680/67108860
[pid=19965] ppid=19962 vsize=2102316 memory=96184 CPUtime=102.29 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 38998 0 0 0 10216 13 0 0 20 0 1 0 408816613 2152771584 24046 33554432000 4194304 5870510 140725600390608 140725600389048 5282588 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 525579 24046 990 410 0 521052 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2102316 KiB
Current children cumulated memory: 96184 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/201 19987
/proc/meminfo: memFree=27366580/32770624 swapFree=66979688/67108860
[pid=19965] ppid=19962 vsize=2121180 memory=101760 CPUtime=162.28 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 47257 0 0 0 16215 13 0 0 20 0 1 0 408816613 2172088320 25440 33554432000 4194304 5870510 140725600390608 140725600389048 5283032 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 530295 25440 990 410 0 525768 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 101760 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/201 20017
/proc/meminfo: memFree=27364580/32770624 swapFree=66979696/67108860
[pid=19965] ppid=19962 vsize=2121180 memory=103808 CPUtime=222.28 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 54905 0 0 0 22215 13 0 0 20 0 1 0 408816613 2172088320 25952 33554432000 4194304 5870510 140725600390608 140725600389048 5262793 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 530295 25952 990 410 0 525768 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 103808 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/201 20021
/proc/meminfo: memFree=27364488/32770624 swapFree=66979696/67108860
[pid=19965] ppid=19962 vsize=2121180 memory=103808 CPUtime=282.28 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 55527 0 0 0 28214 14 0 0 20 0 1 0 408816613 2172088320 25952 33554432000 4194304 5870510 140725600390608 140725600389048 5272224 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 530295 25952 990 410 0 525768 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2121180 KiB
Current children cumulated memory: 103808 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/202 20027
/proc/meminfo: memFree=27352584/32770624 swapFree=66979696/67108860
[pid=19965] ppid=19962 vsize=2121364 memory=115232 CPUtime=342.28 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 63921 0 0 0 34214 14 0 0 20 0 1 0 408816613 2172276736 28808 33554432000 4194304 5870510 140725600390608 140725600389176 5282295 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 530341 28808 990 410 0 525814 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2121364 KiB
Current children cumulated memory: 115232 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/200 20031
/proc/meminfo: memFree=27345196/32770624 swapFree=66979696/67108860
[pid=19965] ppid=19962 vsize=2128548 memory=122232 CPUtime=402.27 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 64198 0 0 0 40213 14 0 0 20 0 1 0 408816613 2179633152 30558 33554432000 4194304 5870510 140725600390608 140725600389176 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 532137 30558 990 410 0 527610 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2128548 KiB
Current children cumulated memory: 122232 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/200 20035
/proc/meminfo: memFree=27345744/32770624 swapFree=66979696/67108860
[pid=19965] ppid=19962 vsize=2128548 memory=122240 CPUtime=462.28 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 72116 0 0 0 46213 15 0 0 20 0 1 0 408816613 2179633152 30560 33554432000 4194304 5870510 140725600390608 140725600389176 5308227 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 532137 30560 990 410 0 527610 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2128548 KiB
Current children cumulated memory: 122240 KiB
################
# More data... #
################
Current children cumulated memory: 153004 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20093
/proc/meminfo: memFree=27314612/32770624 swapFree=66979716/67108860
[pid=19965] ppid=19962 vsize=2159136 memory=153004 CPUtime=1062.26 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 124181 0 0 0 106201 25 0 0 20 0 1 0 408816613 2210955264 38251 33554432000 4194304 5870510 140725600390608 140725600389176 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539784 38251 990 410 0 535257 0
Current children cumulated CPU time: 1062.26 s
Current children cumulated vsize: 2159136 KiB
Current children cumulated memory: 153004 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20097
/proc/meminfo: memFree=27314716/32770624 swapFree=66979716/67108860
[pid=19965] ppid=19962 vsize=2159136 memory=153004 CPUtime=1122.26 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 124226 0 0 0 112201 25 0 0 20 0 1 0 408816613 2210955264 38251 33554432000 4194304 5870510 140725600390608 140725600389176 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539784 38251 990 410 0 535257 0
Current children cumulated CPU time: 1122.26 s
Current children cumulated vsize: 2159136 KiB
Current children cumulated memory: 153004 KiB
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/199 20101
/proc/meminfo: memFree=27320552/32770624 swapFree=66979716/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=146852 CPUtime=1182.25 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 133982 0 0 0 118198 27 0 0 20 0 1 0 408816613 2210947072 36713 33554432000 4194304 5870510 140725600390608 140725600389048 5308411 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 36713 990 410 0 535255 0
Current children cumulated CPU time: 1182.25 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 146852 KiB
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 20107
/proc/meminfo: memFree=27322284/32770624 swapFree=66979716/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=146852 CPUtime=1242.25 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 134108 0 0 0 124198 27 0 0 20 0 1 0 408816613 2210947072 36713 33554432000 4194304 5870510 140725600390608 140725600389048 5277469 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 36713 990 410 0 535255 0
Current children cumulated CPU time: 1242.25 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 146852 KiB
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 20112
/proc/meminfo: memFree=27318884/32770624 swapFree=66979716/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=148900 CPUtime=1302.25 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 141852 0 0 0 130198 27 0 0 20 0 1 0 408816613 2210947072 37225 33554432000 4194304 5870510 140725600390608 140725600389048 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37225 990 410 0 535255 0
Current children cumulated CPU time: 1302.25 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 148900 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20124
/proc/meminfo: memFree=27316708/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=150948 CPUtime=1362.25 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 141976 0 0 0 136198 27 0 0 20 0 1 0 408816613 2210947072 37737 33554432000 4194304 5870510 140725600390608 140725600389048 5262591 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37737 990 410 0 535255 0
Current children cumulated CPU time: 1362.25 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 150948 KiB
[startup+1412.8 s]
# the end of solver process 19965 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1412.46 s, system=0.282991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 1.86 1.98 2.03 3/201 20187
/proc/meminfo: memFree=31510176/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1382.35 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149459 0 0 0 138207 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5282464 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1382.35 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1395.2 s]
/proc/loadavg: 1.81 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31477564/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1395.14 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149519 0 0 0 139486 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5282738 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1395.14 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1401.6 s]
/proc/loadavg: 1.82 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31474436/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1401.54 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149527 0 0 0 140126 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5282590 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1401.54 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1408 s]*
/proc/loadavg: 1.85 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31474184/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1407.95 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149533 0 0 0 140767 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5262779 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1407.95 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1411.2 s]
/proc/loadavg: 1.85 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31469468/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1411.14 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149533 0 0 0 141086 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1411.14 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1412 s]*
/proc/loadavg: 1.86 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31469468/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1411.95 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149533 0 0 0 141167 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5262735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1411.95 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1412.4 s]
/proc/loadavg: 1.86 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31469468/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1412.34 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149533 0 0 0 141206 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5274812 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1412.34 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1412.6 s]
/proc/loadavg: 1.86 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31469468/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1412.54 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149533 0 0 0 141226 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5283072 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1412.54 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
[startup+1412.7 s]
/proc/loadavg: 1.86 1.97 2.03 3/200 20187
/proc/meminfo: memFree=31469468/32770624 swapFree=66979732/67108860
[pid=19965] ppid=19962 vsize=2159128 memory=151012 CPUtime=1412.64 cores=1,3,5,7
/proc/19965/stat : 19965 (xcsp_picat) R 19962 19965 18664 0 -1 4202496 149533 0 0 0 141236 28 0 0 20 0 1 0 408816613 2210947072 37753 33554432000 4194304 5870510 140725600390608 140725600389048 5262579 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 39219200 140725600392223 140725600392301 140725600392301 140725600395210 0
/proc/19965/statm: 539782 37753 990 410 0 535255 0
Current children cumulated CPU time: 1412.64 s
Current children cumulated vsize: 2159128 KiB
Current children cumulated memory: 151012 KiB
Child status: 0
Real time (s): 1412.8
CPU time (s): 1412.74
CPU user time (s): 1412.46
CPU system time (s): 0.282991
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2159136
Max. memory (cumulated for all children) (KiB): 153004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1412.46
system time used= 0.282991
maximum resident set size= 172824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149605
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= 518
# summary of solver processes directly reported to runsolver:
# pid: 19965
# total CPU time (s): 1412.74
# total CPU user time (s): 1412.46
# total CPU system time (s): 0.282991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31486 second user time and 10.4431 second system time
The end