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 (1562 MiB free)
memory of node 1: 16384 MiB (7863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303083-1534011912/watcher-4303083-1534011912 -o /tmp/evaluation-result-4303083-1534011912/solver-4303083-1534011912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4303083-1534011912.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
solver pid=15673, runsolver pid=15670
Current StackSize limit: 8192 KiB
[startup+0.100832 s]*
/proc/loadavg: 1.89 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9635728/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2027552 memory=18516 CPUtime=0.1 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 2364 0 0 0 10 0 0 0 20 0 1 0 218754062 2076213248 4629 33554432000 4194304 5849708 140723732309840 140723732308488 5391920 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 506888 4629 696 405 0 503833 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027552 KiB
Current children cumulated memory: 18516 KiB
[startup+0.209617 s]*
/proc/loadavg: 1.89 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9635728/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2027552 memory=18516 CPUtime=0.2 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 2364 0 0 0 20 0 0 0 20 0 1 0 218754062 2076213248 4629 33554432000 4194304 5849708 140723732309840 140723732308488 5394542 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 506888 4629 696 405 0 503833 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027552 KiB
Current children cumulated memory: 18516 KiB
[startup+0.308814 s]*
/proc/loadavg: 1.89 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9635728/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2027552 memory=18516 CPUtime=0.3 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 2364 0 0 0 30 0 0 0 20 0 1 0 218754062 2076213248 4629 33554432000 4194304 5849708 140723732309840 140723732308488 5372312 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 506888 4629 696 405 0 503833 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027552 KiB
Current children cumulated memory: 18516 KiB
[startup+0.700274 s]
/proc/loadavg: 1.89 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9634984/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2028640 memory=19696 CPUtime=0.68 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 2746 0 0 0 68 0 0 0 20 0 1 0 218754062 2077327360 4924 33554432000 4194304 5849708 140723732309840 140723732308488 5416945 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 507160 4924 719 405 0 504105 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2028640 KiB
Current children cumulated memory: 19696 KiB
[startup+1.50028 s]
/proc/loadavg: 1.89 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9634012/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2029744 memory=20752 CPUtime=1.49 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 3026 0 0 0 148 1 0 0 20 0 1 0 218754062 2078457856 5188 33554432000 4194304 5849708 140723732309840 140723732307384 4209341 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 507436 5188 723 405 0 504381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2029744 KiB
Current children cumulated memory: 20752 KiB
[startup+3.10935 s]
/proc/loadavg: 1.90 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9632900/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2030864 memory=21668 CPUtime=3.1 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 4978 0 0 0 308 2 0 0 20 0 1 0 218754062 2079604736 5417 33554432000 4194304 5849708 140723732309840 140723732308840 4212051 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 507716 5417 738 405 0 504661 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030864 KiB
Current children cumulated memory: 21668 KiB
[startup+6.30028 s]
/proc/loadavg: 1.90 1.96 2.02 3/188 15674
/proc/meminfo: memFree=11042780/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2032472 memory=23476 CPUtime=6.28 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 6906 0 0 0 623 5 0 0 20 0 1 0 218754062 2081251328 5869 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 508118 5869 738 405 0 505063 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2032472 KiB
Current children cumulated memory: 23476 KiB
[startup+12.7003 s]
/proc/loadavg: 1.91 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9617168/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2031012 memory=21996 CPUtime=12.69 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 13868 0 0 0 1258 11 0 0 20 0 1 0 218754062 2079756288 5499 33554432000 4194304 5849708 140723732309840 140723732308712 4212046 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 507753 5499 738 405 0 504698 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031012 KiB
Current children cumulated memory: 21996 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9569688/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2040916 memory=31980 CPUtime=25.48 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 23279 0 0 0 2525 23 0 0 20 0 1 0 218754062 2089897984 7995 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 510229 7995 738 405 0 507174 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2040916 KiB
Current children cumulated memory: 31980 KiB
[startup+51.1094 s]
/proc/loadavg: 1.95 1.96 2.02 3/188 15674
/proc/meminfo: memFree=9518552/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2044356 memory=35420 CPUtime=51.09 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 54272 0 0 0 5059 50 0 0 20 0 1 0 218754062 2093420544 8855 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511089 8855 738 405 0 508034 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2044356 KiB
Current children cumulated memory: 35420 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.97 2.02 3/188 15675
/proc/meminfo: memFree=9412856/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2050648 memory=41532 CPUtime=102.27 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 79641 0 0 0 10135 92 0 0 20 0 1 0 218754062 2099863552 10383 33554432000 4194304 5849708 140723732309840 140723732308712 5312791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 512662 10383 738 405 0 509607 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2050648 KiB
Current children cumulated memory: 41532 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 2.02 3/188 15676
/proc/meminfo: memFree=9254176/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2075192 memory=65960 CPUtime=162.25 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 89509 0 0 0 16093 132 0 0 20 0 1 0 218754062 2124996608 16490 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 518798 16490 738 405 0 515743 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2075192 KiB
Current children cumulated memory: 65960 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/188 15678
/proc/meminfo: memFree=9120792/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2091000 memory=82016 CPUtime=222.24 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 95994 0 0 0 22065 159 0 0 20 0 1 0 218754062 2141184000 20504 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 522750 20504 738 405 0 519695 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2091000 KiB
Current children cumulated memory: 82016 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 15679
/proc/meminfo: memFree=8986384/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2101620 memory=92752 CPUtime=282.23 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 118911 0 0 0 28039 184 0 0 20 0 1 0 218754062 2152058880 23188 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 525405 23188 738 405 0 522350 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2101620 KiB
Current children cumulated memory: 92752 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 15688
/proc/meminfo: memFree=8923664/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2054860 memory=45864 CPUtime=342.21 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 134607 0 0 0 33997 224 0 0 20 0 1 0 218754062 2104176640 11466 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 513715 11466 738 405 0 510660 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2054860 KiB
Current children cumulated memory: 45864 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 15689
/proc/meminfo: memFree=8774892/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2087104 memory=77912 CPUtime=402.2 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 140210 0 0 0 39961 259 0 0 20 0 1 0 218754062 2137194496 19478 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 521776 19478 738 405 0 518721 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 2087104 KiB
Current children cumulated memory: 77912 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 15690
/proc/meminfo: memFree=8653376/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2100092 memory=91196 CPUtime=462.2 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 156496 0 0 0 45935 285 0 0 20 0 1 0 218754062 2150494208 22799 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 525023 22799 738 405 0 521968 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2100092 KiB
Current children cumulated memory: 91196 KiB
################
# More data... #
################
Current children cumulated memory: 135240 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 15707
/proc/meminfo: memFree=7643596/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2147012 memory=137768 CPUtime=1002.08 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 289759 0 0 0 99697 511 0 0 20 0 1 0 218754062 2198540288 34442 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 536753 34442 738 405 0 533698 0
Current children cumulated CPU time: 1002.08 s
Current children cumulated vsize: 2147012 KiB
Current children cumulated memory: 137768 KiB
[startup+1062.3 s]
/proc/loadavg: 2.44 2.10 2.06 3/188 15708
/proc/meminfo: memFree=9641204/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2112284 memory=103288 CPUtime=1062.07 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 317509 0 0 0 105679 528 0 0 20 0 1 0 218754062 2162978816 25822 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 528071 25822 738 405 0 525016 0
Current children cumulated CPU time: 1062.07 s
Current children cumulated vsize: 2112284 KiB
Current children cumulated memory: 103288 KiB
[startup+1122.3 s]
/proc/loadavg: 2.26 2.12 2.07 3/188 15709
/proc/meminfo: memFree=7403180/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2158440 memory=149444 CPUtime=1122.05 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 327172 0 0 0 111655 550 0 0 20 0 1 0 218754062 2210242560 37361 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 539610 37361 738 405 0 536555 0
Current children cumulated CPU time: 1122.05 s
Current children cumulated vsize: 2158440 KiB
Current children cumulated memory: 149444 KiB
[startup+1182.3 s]
/proc/loadavg: 2.10 2.10 2.06 5/188 15954
/proc/meminfo: memFree=20613884/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2222832 memory=213836 CPUtime=1182.02 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 354718 0 0 0 117632 570 0 0 20 0 1 0 218754062 2276179968 53459 33554432000 4194304 5849708 140723732309840 140723732308840 5437765 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 555708 53459 738 405 0 552653 0
Current children cumulated CPU time: 1182.02 s
Current children cumulated vsize: 2222832 KiB
Current children cumulated memory: 213836 KiB
[startup+1242.3 s]
/proc/loadavg: 2.04 2.08 2.05 3/187 16140
/proc/meminfo: memFree=20432168/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2150924 memory=141868 CPUtime=1242 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 359841 0 0 0 123619 581 0 0 20 0 1 0 218754062 2202546176 35467 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 537731 35467 738 405 0 534676 0
Current children cumulated CPU time: 1242 s
Current children cumulated vsize: 2150924 KiB
Current children cumulated memory: 141868 KiB
[startup+1302.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/187 16141
/proc/meminfo: memFree=20462048/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2126120 memory=120600 CPUtime=1301.97 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 375837 0 0 0 129592 605 0 0 20 0 1 0 218754062 2177146880 30150 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 531530 30150 738 405 0 528475 0
Current children cumulated CPU time: 1301.97 s
Current children cumulated vsize: 2126120 KiB
Current children cumulated memory: 120600 KiB
[startup+1331.14 s]
# the end of solver process 15673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1324.51 s, system=6.31562 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.01 2.07 2.05 3/187 16141
/proc/meminfo: memFree=20462048/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2126120 memory=120600 CPUtime=1305.28 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 375901 0 0 0 129922 606 0 0 20 0 1 0 218754062 2177146880 30150 33554432000 4194304 5849708 140723732309840 140723732308840 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 531530 30150 738 405 0 528475 0
Current children cumulated CPU time: 1305.28 s
Current children cumulated vsize: 2126120 KiB
Current children cumulated memory: 120600 KiB
[startup+1318.4 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 16141
/proc/meminfo: memFree=20551148/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2036128 memory=30428 CPUtime=1318.07 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 379578 0 0 0 131190 617 0 0 20 0 1 0 218754062 2084995072 7607 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 509032 7607 738 405 0 505977 0
Current children cumulated CPU time: 1318.07 s
Current children cumulated vsize: 2036128 KiB
Current children cumulated memory: 30428 KiB
[startup+1324.8 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 16141
/proc/meminfo: memFree=20552416/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2043512 memory=36500 CPUtime=1324.48 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381072 0 0 0 131823 625 0 0 20 0 1 0 218754062 2092556288 9125 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 510878 9125 738 405 0 507823 0
Current children cumulated CPU time: 1324.48 s
Current children cumulated vsize: 2043512 KiB
Current children cumulated memory: 36500 KiB
[startup+1328 s]*
/proc/loadavg: 2.01 2.06 2.05 3/187 16141
/proc/meminfo: memFree=20547268/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2046196 memory=40656 CPUtime=1327.68 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381584 0 0 0 132139 629 0 0 20 0 1 0 218754062 2095304704 10164 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511549 10164 738 405 0 508494 0
Current children cumulated CPU time: 1327.68 s
Current children cumulated vsize: 2046196 KiB
Current children cumulated memory: 40656 KiB
[startup+1329.6 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 16141
/proc/meminfo: memFree=20547344/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2046196 memory=40656 CPUtime=1329.27 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381584 0 0 0 132297 630 0 0 20 0 1 0 218754062 2095304704 10164 33554432000 4194304 5849708 140723732309840 140723732308840 5394657 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511549 10164 738 405 0 508494 0
Current children cumulated CPU time: 1329.27 s
Current children cumulated vsize: 2046196 KiB
Current children cumulated memory: 40656 KiB
[startup+1330.4 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 16142
/proc/meminfo: memFree=20547232/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2046196 memory=40656 CPUtime=1330.07 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381584 0 0 0 132377 630 0 0 20 0 1 0 218754062 2095304704 10164 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511549 10164 738 405 0 508494 0
Current children cumulated CPU time: 1330.07 s
Current children cumulated vsize: 2046196 KiB
Current children cumulated memory: 40656 KiB
[startup+1330.8 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 16142
/proc/meminfo: memFree=20547232/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2046196 memory=40656 CPUtime=1330.47 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381584 0 0 0 132417 630 0 0 20 0 1 0 218754062 2095304704 10164 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511549 10164 738 405 0 508494 0
Current children cumulated CPU time: 1330.47 s
Current children cumulated vsize: 2046196 KiB
Current children cumulated memory: 40656 KiB
[startup+1331 s]*
/proc/loadavg: 2.01 2.06 2.05 3/187 16142
/proc/meminfo: memFree=20547248/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2046196 memory=40656 CPUtime=1330.68 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381584 0 0 0 132437 631 0 0 20 0 1 0 218754062 2095304704 10164 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511549 10164 738 405 0 508494 0
Current children cumulated CPU time: 1330.68 s
Current children cumulated vsize: 2046196 KiB
Current children cumulated memory: 40656 KiB
[startup+1331.11 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 16142
/proc/meminfo: memFree=20547248/32770624 swapFree=67108688/67108860
[pid=15673] ppid=15670 vsize=2046196 memory=40656 CPUtime=1330.78 cores=1,3,5,7
/proc/15673/stat : 15673 (xcsp_picat) R 15670 15673 12810 0 -1 4202496 381584 0 0 0 132447 631 0 0 20 0 1 0 218754062 2095304704 10164 33554432000 4194304 5849708 140723732309840 140723732308840 140674276945799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 46252032 140723732317366 140723732317444 140723732317444 140723732320202 0
/proc/15673/statm: 511549 10164 738 405 0 508494 0
Current children cumulated CPU time: 1330.78 s
Current children cumulated vsize: 2046196 KiB
Current children cumulated memory: 40656 KiB
Child status: 0
Real time (s): 1331.14
CPU time (s): 1330.83
CPU user time (s): 1324.51
CPU system time (s): 6.31562
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 2228868
Max. memory (cumulated for all children) (KiB): 219760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1324.51
system time used= 6.31562
maximum resident set size= 219872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381618
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= 29
involuntary context switches= 2177
# summary of solver processes directly reported to runsolver:
# pid: 15673
# total CPU time (s): 1330.83
# total CPU user time (s): 1324.51
# total CPU system time (s): 6.31562
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39216 second user time and 9.39775 second system time
The end