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 (273 MiB free)
memory of node 1: 16384 MiB (6586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293900-1532392274/watcher-4293900-1532392274 -o /tmp/evaluation-result-4293900-1532392274/solver-4293900-1532392274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580 xcsp_picat HOME/instance-4293900-1532392274.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=16062, runsolver pid=16059
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=7002436/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=128332 memory=24612 CPUtime=0.1 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 1733 0 0 0 10 0 0 0 20 0 1 0 56790641 131411968 6153 33554432000 4194304 5849740 140729175885824 140729175885824 4488926 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 32083 6153 634 405 0 29027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128332 KiB
Current children cumulated memory: 24612 KiB
[startup+0.209748 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=7000636/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=128448 memory=26696 CPUtime=0.21 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 1951 0 0 0 21 0 0 0 20 0 1 0 56790641 131530752 6674 33554432000 4194304 5849740 140729175885824 140729175885824 140019295349760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 32112 6674 634 405 0 29056 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128448 KiB
Current children cumulated memory: 26696 KiB
[startup+0.3097 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6996252/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=128448 memory=32840 CPUtime=0.31 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 1954 0 0 0 31 0 0 0 20 0 1 0 56790641 131530752 8210 33554432000 4194304 5849740 140729175885824 140729175885128 140019295349760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 32112 8210 634 405 0 29056 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 128448 KiB
Current children cumulated memory: 32840 KiB
[startup+0.700368 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6986588/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=141712 memory=40984 CPUtime=0.69 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 3917 0 0 0 68 1 0 0 20 0 1 0 56790641 145113088 10246 33554432000 4194304 5849740 140729175885824 140729175885128 5251261 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 35428 10246 634 405 0 32372 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 141712 KiB
Current children cumulated memory: 40984 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6969832/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=148812 memory=68660 CPUtime=1.49 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 5572 0 0 0 146 3 0 0 20 0 1 0 56790641 152383488 17165 33554432000 4194304 5849740 140729175885824 140729175884792 140019295349760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 37203 17165 634 405 0 34147 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148812 KiB
Current children cumulated memory: 68660 KiB
[startup+3.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6943012/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=162280 memory=94476 CPUtime=3.1 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 13468 0 0 0 295 15 0 0 20 0 1 0 56790641 166174720 23619 33554432000 4194304 5849740 140729175885824 140729175884792 140019295349760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 40570 23619 634 405 0 37514 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 162280 KiB
Current children cumulated memory: 94476 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6907948/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=178620 memory=90404 CPUtime=6.29 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 27381 0 0 0 587 42 0 0 20 0 1 0 56790641 182906880 22601 33554432000 4194304 5849740 140729175885824 140729175884792 5251112 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 44655 22601 634 405 0 41599 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 178620 KiB
Current children cumulated memory: 90404 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6887164/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=286748 memory=210056 CPUtime=12.69 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 41564 0 0 0 1191 78 0 0 20 0 1 0 56790641 293629952 52514 33554432000 4194304 5849740 140729175885824 140729175884792 4488915 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 71687 52514 635 405 0 68631 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 286748 KiB
Current children cumulated memory: 210056 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16063
/proc/meminfo: memFree=6694872/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=533660 memory=389868 CPUtime=25.49 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 71996 0 0 0 2367 182 0 0 20 0 1 0 56790641 546467840 97467 33554432000 4194304 5849740 140729175885824 140729175884792 140019295349760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 133415 97467 635 405 0 130359 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 533660 KiB
Current children cumulated memory: 389868 KiB
[startup+51.1101 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=11210576/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=1467324 memory=1309880 CPUtime=51.09 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 115477 0 0 0 4808 301 0 0 20 0 1 0 56790641 1502539776 345967 33554432000 4194304 5849740 140729175885824 140729175884792 5252781 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 366831 327470 665 405 0 363775 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1467324 KiB
Current children cumulated memory: 1309880 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16188
/proc/meminfo: memFree=10644672/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2597152 memory=1612992 CPUtime=102.29 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 125089 0 0 0 9889 340 0 0 20 0 1 0 56790641 2659483648 403248 33554432000 4194304 5849740 140729175885824 140729175884824 5307615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 649288 403248 757 405 0 646232 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2597152 KiB
Current children cumulated memory: 1612992 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16189
/proc/meminfo: memFree=10069396/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2558712 memory=1574564 CPUtime=162.29 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 126550 0 0 0 15864 365 0 0 20 0 1 0 56790641 2620121088 393641 33554432000 4194304 5849740 140729175885824 140729175884824 5395109 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 639678 393641 760 405 0 636622 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2558712 KiB
Current children cumulated memory: 1574564 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16190
/proc/meminfo: memFree=6163524/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2557676 memory=1573528 CPUtime=222.29 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 132946 0 0 0 21834 395 0 0 20 0 1 0 56790641 2619060224 393382 33554432000 4194304 5849740 140729175885824 140729175884824 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 639419 393382 760 405 0 636363 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2557676 KiB
Current children cumulated memory: 1573528 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16191
/proc/meminfo: memFree=7443224/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2539100 memory=1554988 CPUtime=282.29 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 144460 0 0 0 27798 431 0 0 20 0 1 0 56790641 2600038400 388747 33554432000 4194304 5849740 140729175885824 140729175884472 5317714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 634775 388747 769 405 0 631719 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2539100 KiB
Current children cumulated memory: 1554988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16192
/proc/meminfo: memFree=7451640/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535100 memory=1550988 CPUtime=342.29 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 153669 0 0 0 33780 449 0 0 20 0 1 0 56790641 2595942400 387747 33554432000 4194304 5849740 140729175885824 140729175884312 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633775 387747 769 405 0 630719 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2535100 KiB
Current children cumulated memory: 1550988 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16193
/proc/meminfo: memFree=7404784/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2581336 memory=1597224 CPUtime=402.3 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 159875 0 0 0 39766 464 0 0 20 0 1 0 56790641 2643288064 399306 33554432000 4194304 5849740 140729175885824 140729175884312 5307054 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 645334 399306 769 405 0 642278 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2581336 KiB
Current children cumulated memory: 1597224 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16194
/proc/meminfo: memFree=7381180/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2605176 memory=1621064 CPUtime=462.3 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 167318 0 0 0 45749 481 0 0 20 0 1 0 56790641 2667700224 405266 33554432000 4194304 5849740 140729175885824 140729175884312 5319737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 651294 405266 769 405 0 648238 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2605176 KiB
Current children cumulated memory: 1621064 KiB
################
# More data... #
################
Current children cumulated memory: 1563780 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16265
/proc/meminfo: memFree=7375104/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2642920 memory=1663760 CPUtime=1842.32 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 379348 0 0 0 183188 1044 0 0 20 0 1 0 56790641 2706350080 415940 33554432000 4194304 5849740 140729175885824 140729175884232 5319724 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 660730 415940 769 405 0 657674 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2642920 KiB
Current children cumulated memory: 1663760 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16266
/proc/meminfo: memFree=7483184/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535024 memory=1555924 CPUtime=1902.32 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 388911 0 0 0 189152 1080 0 0 20 0 1 0 56790641 2595864576 388981 33554432000 4194304 5849740 140729175885824 140729175884824 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633756 388981 769 405 0 630700 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2535024 KiB
Current children cumulated memory: 1555924 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16267
/proc/meminfo: memFree=7375880/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2642780 memory=1663424 CPUtime=1962.33 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 397189 0 0 0 195135 1098 0 0 20 0 1 0 56790641 2706206720 415856 33554432000 4194304 5849740 140729175885824 140729175884232 5319737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 660695 415856 769 405 0 657639 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2642780 KiB
Current children cumulated memory: 1663424 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16268
/proc/meminfo: memFree=7401536/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2616936 memory=1637768 CPUtime=2022.32 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 411415 0 0 0 201104 1128 0 0 20 0 1 0 56790641 2679742464 409442 33554432000 4194304 5849740 140729175885824 140729175884312 5319714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 654234 409442 769 405 0 651178 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2616936 KiB
Current children cumulated memory: 1637768 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16269
/proc/meminfo: memFree=7492748/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2525432 memory=1546332 CPUtime=2082.33 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 413701 0 0 0 207089 1144 0 0 20 0 1 0 56790641 2586042368 386583 33554432000 4194304 5849740 140729175885824 140729175885064 5605448 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 631358 386583 769 405 0 628302 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2525432 KiB
Current children cumulated memory: 1546332 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16270
/proc/meminfo: memFree=7481884/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535964 memory=1556864 CPUtime=2142.32 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 421391 0 0 0 213071 1161 0 0 20 0 1 0 56790641 2596827136 389216 33554432000 4194304 5849740 140729175885824 140729175884312 4211600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633991 389216 769 405 0 630935 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2535964 KiB
Current children cumulated memory: 1556864 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16271
/proc/meminfo: memFree=7408276/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2610024 memory=1630924 CPUtime=2202.33 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 436090 0 0 0 219055 1178 0 0 20 0 1 0 56790641 2672664576 407731 33554432000 4194304 5849740 140729175885824 140729175884824 5338897 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 652506 407731 769 405 0 649450 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2610024 KiB
Current children cumulated memory: 1630924 KiB
[startup+2231.35 s]
# the end of solver process 16062 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2219.37 s, system=12.0132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2214.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7482276/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535968 memory=1556868 CPUtime=2214.43 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 436090 0 0 0 220257 1186 0 0 20 0 1 0 56790641 2596831232 389217 33554432000 4194304 5849740 140729175885824 140729175884824 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633992 389217 769 405 0 630936 0
Current children cumulated CPU time: 2214.43 s
Current children cumulated vsize: 2535968 KiB
Current children cumulated memory: 1556868 KiB
[startup+2220.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7482796/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556180 CPUtime=2220.82 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 436100 0 0 0 220891 1191 0 0 20 0 1 0 56790641 2596126720 389045 33554432000 4194304 5849740 140729175885824 140729175884824 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389045 769 405 0 630764 0
Current children cumulated CPU time: 2220.82 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556180 KiB
[startup+2227.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7483020/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556180 CPUtime=2227.23 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 437102 0 0 0 221525 1198 0 0 20 0 1 0 56790641 2596126720 389045 33554432000 4194304 5849740 140729175885824 140729175884824 5355792 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389045 769 405 0 630764 0
Current children cumulated CPU time: 2227.23 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556180 KiB
[startup+2228.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7483144/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556180 CPUtime=2228.83 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 437221 0 0 0 221684 1199 0 0 20 0 1 0 56790641 2596126720 389045 33554432000 4194304 5849740 140729175885824 140729175884824 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389045 769 405 0 630764 0
Current children cumulated CPU time: 2228.83 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556180 KiB
[startup+2230.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7483144/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556180 CPUtime=2230.43 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 437242 0 0 0 221843 1200 0 0 20 0 1 0 56790641 2596126720 389045 33554432000 4194304 5849740 140729175885824 140729175884984 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389045 769 405 0 630764 0
Current children cumulated CPU time: 2230.43 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556180 KiB
[startup+2230.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7483144/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556180 CPUtime=2230.82 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 437408 0 0 0 221882 1200 0 0 20 0 1 0 56790641 2596126720 389045 33554432000 4194304 5849740 140729175885824 140729175884984 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389045 769 405 0 630764 0
Current children cumulated CPU time: 2230.82 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556180 KiB
[startup+2231.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7483144/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556180 CPUtime=2231.22 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 437408 0 0 0 221922 1200 0 0 20 0 1 0 56790641 2596126720 389045 33554432000 4194304 5849740 140729175885824 140729175884984 140019295371143 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389045 769 405 0 630764 0
Current children cumulated CPU time: 2231.22 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556180 KiB
[startup+2231.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16272
/proc/meminfo: memFree=7483144/32770624 swapFree=67108860/67108860
[pid=16062] ppid=16059 vsize=2535280 memory=1556184 CPUtime=2231.32 cores=1,3,5,7
/proc/16062/stat : 16062 (xcsp_picat) R 16059 16062 13954 0 -1 4202496 437847 0 0 0 221932 1200 0 0 20 0 1 0 56790641 2596126720 389046 33554432000 4194304 5849740 140729175885824 140729175884984 4539885 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 18100224 140729175893174 140729175893252 140729175893252 140729175896010 0
/proc/16062/statm: 633820 389046 770 405 0 630764 0
Current children cumulated CPU time: 2231.32 s
Current children cumulated vsize: 2535280 KiB
Current children cumulated memory: 1556184 KiB
Child status: 0
Real time (s): 2231.35
CPU time (s): 2231.39
CPU user time (s): 2219.37
CPU system time (s): 12.0132
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3467536
Max. memory (cumulated for all children) (KiB): 2401028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2219.37
system time used= 12.0132
maximum resident set size= 2401028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438020
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= 2
involuntary context switches= 970
# summary of solver processes directly reported to runsolver:
# pid: 16062
# total CPU time (s): 2231.39
# total CPU user time (s): 2219.37
# total CPU system time (s): 12.0132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57855 second user time and 15.635 second system time
The end