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 (135 MiB free)
memory of node 1: 16384 MiB (5757 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302969-1533991815/watcher-4302969-1533991815 -o /tmp/evaluation-result-4302969-1533991815/solver-4302969-1533991815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32498 --watchdog 2580 xcsp_picat HOME/instance-4302969-1533991815.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=32527, runsolver pid=32520
Current StackSize limit: 8192 KiB
[startup+0.100645 s]*
/proc/loadavg: 1.00 1.01 1.07 4/188 32529
/proc/meminfo: memFree=6005752/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2025744 memory=20040 CPUtime=0.1 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 1623 0 0 0 10 0 0 0 20 0 1 0 216744686 2074361856 5010 33554432000 4194304 5849708 140722177691920 140722177691224 4492535 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 506436 5010 643 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 20040 KiB
[startup+0.20943 s]*
/proc/loadavg: 1.00 1.01 1.07 2/186 32529
/proc/meminfo: memFree=6011116/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2025744 memory=24136 CPUtime=0.21 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 1625 0 0 0 21 0 0 0 20 0 1 0 216744686 2074361856 6034 33554432000 4194304 5849708 140722177691920 140722177691224 4492368 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 506436 6034 643 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24136 KiB
[startup+0.309272 s]*
/proc/loadavg: 1.00 1.01 1.07 2/186 32537
/proc/meminfo: memFree=6004828/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2025744 memory=28232 CPUtime=0.31 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 1627 0 0 0 31 0 0 0 20 0 1 0 216744686 2074361856 7058 33554432000 4194304 5849708 140722177691920 140722177691224 4492560 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 506436 7058 643 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28232 KiB
[startup+0.700233 s]
/proc/loadavg: 1.00 1.01 1.07 3/183 32537
/proc/meminfo: memFree=5996848/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2027976 memory=37228 CPUtime=0.69 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 2302 0 0 0 69 0 0 0 20 0 1 0 216744686 2076647424 9307 33554432000 4194304 5849708 140722177691920 140722177691224 5615881 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 506994 9307 718 405 0 503939 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027976 KiB
Current children cumulated memory: 37228 KiB
[startup+1.50023 s]
/proc/loadavg: 1.00 1.01 1.07 2/182 32575
/proc/meminfo: memFree=5997920/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2028488 memory=37492 CPUtime=1.49 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 2430 0 0 0 149 0 0 0 20 0 1 0 216744686 2077171712 9373 33554432000 4194304 5849708 140722177691920 140722177691016 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 507122 9373 719 405 0 504067 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028488 KiB
Current children cumulated memory: 37492 KiB
[startup+3.10896 s]
/proc/loadavg: 1.00 1.01 1.07 3/188 32590
/proc/meminfo: memFree=5977400/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2029512 memory=38832 CPUtime=3.1 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 2940 0 0 0 310 0 0 0 20 0 1 0 216744686 2078220288 9708 33554432000 4194304 5849708 140722177691920 140722177691160 5534957 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 507378 9708 719 405 0 504323 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029512 KiB
Current children cumulated memory: 38832 KiB
[startup+6.30022 s]
/proc/loadavg: 1.00 1.01 1.07 3/188 32590
/proc/meminfo: memFree=5974640/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2030536 memory=39856 CPUtime=6.29 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 3545 0 0 0 629 0 0 0 20 0 1 0 216744686 2079268864 9964 33554432000 4194304 5849708 140722177691920 140722177691160 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 507634 9964 719 405 0 504579 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2030536 KiB
Current children cumulated memory: 39856 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.05 1.08 3/188 32590
/proc/meminfo: memFree=5970612/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2034632 memory=45996 CPUtime=12.69 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 5165 0 0 0 1268 1 0 0 20 0 1 0 216744686 2083463168 11499 33554432000 4194304 5849708 140722177691920 140722177691016 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 508658 11499 719 405 0 505603 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2034632 KiB
Current children cumulated memory: 45996 KiB
[startup+25.5002 s]
/proc/loadavg: 1.29 1.08 1.09 4/188 32590
/proc/meminfo: memFree=5961148/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2044288 memory=55504 CPUtime=25.49 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 15179 0 0 0 2545 4 0 0 20 0 1 0 216744686 2093350912 13876 33554432000 4194304 5849708 140722177691920 140722177690408 4211654 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 511072 13876 751 405 0 508017 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2044288 KiB
Current children cumulated memory: 55504 KiB
[startup+51.1089 s]
/proc/loadavg: 1.53 1.15 1.11 3/188 32718
/proc/meminfo: memFree=5930232/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2067692 memory=80780 CPUtime=51.1 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 21035 0 0 0 5101 9 0 0 20 0 1 0 216744686 2117316608 20195 33554432000 4194304 5849708 140722177691920 140722177690408 4212035 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 516923 20195 760 405 0 513868 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2067692 KiB
Current children cumulated memory: 80780 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 1.28 1.16 3/188 32718
/proc/meminfo: memFree=5916392/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2067692 memory=80608 CPUtime=102.3 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 37784 0 0 0 10183 47 0 0 20 0 1 0 216744686 2117316608 20152 33554432000 4194304 5849708 140722177691920 140722177690648 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 516923 20152 760 405 0 513868 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2067692 KiB
Current children cumulated memory: 80608 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.41 1.21 3/188 32719
/proc/meminfo: memFree=5923096/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2067652 memory=80812 CPUtime=162.31 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 45072 0 0 0 16155 76 0 0 20 0 1 0 216744686 2117275648 20203 33554432000 4194304 5849708 140722177691920 140722177690408 4211868 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 516913 20203 760 405 0 513858 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 80812 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 1.53 1.27 3/188 32720
/proc/meminfo: memFree=5910532/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2084000 memory=96968 CPUtime=222.31 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 45592 0 0 0 22111 120 0 0 20 0 1 0 216744686 2134016000 24242 33554432000 4194304 5849708 140722177691920 140722177690408 4211627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 521000 24242 760 405 0 517945 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 96968 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.62 1.31 3/188 32721
/proc/meminfo: memFree=5876104/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2100388 memory=113560 CPUtime=282.32 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 49480 0 0 0 28071 161 0 0 20 0 1 0 216744686 2150797312 28390 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 525097 28390 760 405 0 522042 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2100388 KiB
Current children cumulated memory: 113560 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.69 1.36 3/186 319
/proc/meminfo: memFree=5935608/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2066916 memory=79980 CPUtime=342.33 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 53032 0 0 0 34048 185 0 0 20 0 1 0 216744686 2116521984 19995 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 516729 19995 760 405 0 513674 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2066916 KiB
Current children cumulated memory: 79980 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.77 1.41 3/187 387
/proc/meminfo: memFree=5910056/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2078648 memory=91820 CPUtime=402.33 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 58866 0 0 0 40005 228 0 0 20 0 1 0 216744686 2128535552 22955 33554432000 4194304 5849708 140722177691920 140722177690920 5355922 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 519662 22955 760 405 0 516607 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2078648 KiB
Current children cumulated memory: 91820 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.80 1.44 3/187 388
/proc/meminfo: memFree=5910736/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2078648 memory=91820 CPUtime=462.34 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 59186 0 0 0 45967 267 0 0 20 0 1 0 216744686 2128535552 22955 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 519662 22955 760 405 0 516607 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2078648 KiB
Current children cumulated memory: 91820 KiB
[startup+522.3 s]
/proc/loadavg: 1.93 1.82 1.47 3/187 458
/proc/meminfo: memFree=5912064/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2066908 memory=79996 CPUtime=522.35 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 60578 0 0 0 51942 293 0 0 20 0 1 0 216744686 2116513792 19999 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 516727 19999 760 405 0 513672 0
Current children cumulated CPU time: 522.35 s
Current children cumulated vsize: 2066908 KiB
Current children cumulated memory: 79996 KiB
[startup+582.3 s]
/proc/loadavg: 1.97 1.85 1.50 3/187 459
/proc/meminfo: memFree=5904412/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2078624 memory=91624 CPUtime=582.35 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 61976 0 0 0 57903 332 0 0 20 0 1 0 216744686 2128510976 22906 33554432000 4194304 5849708 140722177691920 140722177690408 4211675 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 519656 22906 760 405 0 516601 0
Current children cumulated CPU time: 582.35 s
Current children cumulated vsize: 2078624 KiB
Current children cumulated memory: 91624 KiB
[startup+642.3 s]
/proc/loadavg: 1.99 1.88 1.53 3/188 468
/proc/meminfo: memFree=5891872/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2060264 memory=73436 CPUtime=642.37 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 65474 0 0 0 63875 362 0 0 20 0 1 0 216744686 2109710336 18359 33554432000 4194304 5849708 140722177691920 140722177690408 4212529 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 515066 18359 760 405 0 512011 0
Current children cumulated CPU time: 642.37 s
Current children cumulated vsize: 2060264 KiB
Current children cumulated memory: 73436 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.90 1.56 3/188 492
/proc/meminfo: memFree=5898716/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2060264 memory=73436 CPUtime=702.37 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 66782 0 0 0 69836 401 0 0 20 0 1 0 216744686 2109710336 18359 33554432000 4194304 5849708 140722177691920 140722177690792 4211889 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 515066 18359 760 405 0 512011 0
Current children cumulated CPU time: 702.37 s
Current children cumulated vsize: 2060264 KiB
Current children cumulated memory: 73436 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 1.92 1.59 3/188 493
/proc/meminfo: memFree=5897204/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2070736 memory=83728 CPUtime=762.37 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 68901 0 0 0 75798 439 0 0 20 0 1 0 216744686 2120433664 20932 33554432000 4194304 5849708 140722177691920 140722177690408 4209338 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 517684 20932 760 405 0 514629 0
Current children cumulated CPU time: 762.37 s
Current children cumulated vsize: 2070736 KiB
Current children cumulated memory: 83728 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 1.93 1.61 3/188 494
/proc/meminfo: memFree=5920192/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2030940 memory=43968 CPUtime=822.39 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 72866 0 0 0 81773 466 0 0 20 0 1 0 216744686 2079682560 10992 33554432000 4194304 5849708 140722177691920 140722177691160 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 507735 10992 760 405 0 504680 0
Current children cumulated CPU time: 822.39 s
Current children cumulated vsize: 2030940 KiB
Current children cumulated memory: 43968 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.64 3/188 495
/proc/meminfo: memFree=5876364/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2067816 memory=73088 CPUtime=882.39 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 79365 0 0 0 87747 492 0 0 20 0 1 0 216744686 2117443584 18272 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 516954 18272 760 405 0 513899 0
Current children cumulated CPU time: 882.39 s
Current children cumulated vsize: 2067816 KiB
Current children cumulated memory: 73088 KiB
[startup+937.821 s]
# the end of solver process 32527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=932.691 s, system=5.2356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 2.00 1.95 1.64 3/187 495
/proc/meminfo: memFree=5865716/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2070560 memory=83732 CPUtime=896.1 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 80036 0 0 0 89112 498 0 0 20 0 1 0 216744686 2120253440 20933 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 517640 20933 760 405 0 514585 0
Current children cumulated CPU time: 896.1 s
Current children cumulated vsize: 2070560 KiB
Current children cumulated memory: 83732 KiB
[startup+921.6 s]
/proc/loadavg: 2.00 1.95 1.65 3/187 495
/proc/meminfo: memFree=5904184/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2070560 memory=83732 CPUtime=921.7 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 80049 0 0 0 91657 513 0 0 20 0 1 0 216744686 2120253440 20933 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 517640 20933 760 405 0 514585 0
Current children cumulated CPU time: 921.7 s
Current children cumulated vsize: 2070560 KiB
Current children cumulated memory: 83732 KiB
[startup+928 s]*
/proc/loadavg: 2.00 1.95 1.66 3/187 495
/proc/meminfo: memFree=5897424/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2070560 memory=83732 CPUtime=928.11 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 80049 0 0 0 92293 518 0 0 20 0 1 0 216744686 2120253440 20933 33554432000 4194304 5849708 140722177691920 140722177690920 5313014 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 517640 20933 760 405 0 514585 0
Current children cumulated CPU time: 928.11 s
Current children cumulated vsize: 2070560 KiB
Current children cumulated memory: 83732 KiB
[startup+934.4 s]
/proc/loadavg: 2.00 1.95 1.66 3/187 496
/proc/meminfo: memFree=5880696/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2087208 memory=100188 CPUtime=934.5 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 81656 0 0 0 92928 522 0 0 20 0 1 0 216744686 2137300992 25047 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 521802 25047 760 405 0 518747 0
Current children cumulated CPU time: 934.5 s
Current children cumulated vsize: 2087208 KiB
Current children cumulated memory: 100188 KiB
[startup+936 s]*
/proc/loadavg: 2.00 1.95 1.66 3/187 496
/proc/meminfo: memFree=5880704/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2087208 memory=100188 CPUtime=936.1 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 81656 0 0 0 93088 522 0 0 20 0 1 0 216744686 2137300992 25047 33554432000 4194304 5849708 140722177691920 140722177690920 5438346 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 521802 25047 760 405 0 518747 0
Current children cumulated CPU time: 936.1 s
Current children cumulated vsize: 2087208 KiB
Current children cumulated memory: 100188 KiB
[startup+936.8 s]
/proc/loadavg: 2.00 1.95 1.66 3/187 496
/proc/meminfo: memFree=5880704/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2087208 memory=100188 CPUtime=936.89 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 81656 0 0 0 93167 522 0 0 20 0 1 0 216744686 2137300992 25047 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 521802 25047 760 405 0 518747 0
Current children cumulated CPU time: 936.89 s
Current children cumulated vsize: 2087208 KiB
Current children cumulated memory: 100188 KiB
[startup+937.6 s]
/proc/loadavg: 2.00 1.96 1.66 3/187 496
/proc/meminfo: memFree=5880704/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2087208 memory=100188 CPUtime=937.7 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 81656 0 0 0 93247 523 0 0 20 0 1 0 216744686 2137300992 25047 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 521802 25047 760 405 0 518747 0
Current children cumulated CPU time: 937.7 s
Current children cumulated vsize: 2087208 KiB
Current children cumulated memory: 100188 KiB
[startup+937.8 s]
/proc/loadavg: 2.00 1.96 1.66 3/187 496
/proc/meminfo: memFree=5880704/32770624 swapFree=67108504/67108860
[pid=32527] ppid=32520 vsize=2087208 memory=100188 CPUtime=937.9 cores=1,3,5,7
/proc/32527/stat : 32527 (xcsp_picat) R 32520 32527 32466 0 -1 4202496 81656 0 0 0 93267 523 0 0 20 0 1 0 216744686 2137300992 25047 33554432000 4194304 5849708 140722177691920 140722177690920 139737153273735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19378176 140722177692854 140722177692932 140722177692932 140722177695690 0
/proc/32527/statm: 521802 25047 760 405 0 518747 0
Current children cumulated CPU time: 937.9 s
Current children cumulated vsize: 2087208 KiB
Current children cumulated memory: 100188 KiB
Child status: 0
Real time (s): 937.821
CPU time (s): 937.926
CPU user time (s): 932.691
CPU system time (s): 5.2356
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 2116772
Max. memory (cumulated for all children) (KiB): 129700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 932.691
system time used= 5.2356
maximum resident set size= 129700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81736
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= 3
involuntary context switches= 356
# summary of solver processes directly reported to runsolver:
# pid: 32527
# total CPU time (s): 937.926
# total CPU user time (s): 932.691
# total CPU system time (s): 5.2356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.40191 second user time and 6.51976 second system time
The end