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 (12589 MiB free)
memory of node 1: 16384 MiB (12489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407824-1569513046/watcher-4407824-1569513046 -o /var/tmp/evaluation-result-4407824-1569513046/solver-4407824-1569513046 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569509596-6733 --watchdog 2560 xcsp_picat HOME/instance-4407824-1569513046.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8206, runsolver pid=8203
[startup+0.100352 s]*
/proc/loadavg: 1.90 1.96 1.95 3/199 8207
/proc/meminfo: memFree=25656952/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2039532 memory=30096 CPUtime=0.1 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 1572 0 0 0 10 0 0 0 20 0 1 0 527553094 2088480768 7524 33554432000 4194304 5870510 140730190049456 140730190048824 4515519 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 509883 7524 855 410 0 505356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 30096 KiB
[startup+0.209826 s]*
/proc/loadavg: 1.90 1.96 1.95 3/199 8207
/proc/meminfo: memFree=25630576/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2039532 memory=56720 CPUtime=0.2 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 1586 0 0 0 20 0 0 0 20 0 1 0 527553094 2088480768 14180 33554432000 4194304 5870510 140730190049456 140730190048824 4804433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 509883 14180 855 410 0 505356 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 56720 KiB
[startup+0.30974 s]*
/proc/loadavg: 1.90 1.96 1.95 3/199 8207
/proc/meminfo: memFree=25606000/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2039532 memory=79248 CPUtime=0.3 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 1597 0 0 0 30 0 0 0 20 0 1 0 527553094 2088480768 19812 33554432000 4194304 5870510 140730190049456 140730190048824 4520571 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 509883 19812 855 410 0 505356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 79248 KiB
[startup+0.700366 s]
/proc/loadavg: 1.90 1.96 1.95 3/199 8207
/proc/meminfo: memFree=25558276/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2039532 memory=163324 CPUtime=0.69 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 1670 0 0 0 69 0 0 0 20 0 1 0 527553094 2088480768 40831 33554432000 4194304 5870510 140730190049456 140730190048824 4461693 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 509883 40831 873 410 0 505356 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 163324 KiB
[startup+1.50039 s]
/proc/loadavg: 1.90 1.96 1.95 3/199 8207
/proc/meminfo: memFree=25482480/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2039532 memory=257660 CPUtime=1.49 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 1716 0 0 0 147 2 0 0 20 0 1 0 527553094 2088480768 64415 33554432000 4194304 5870510 140730190049456 140730190048824 4475280 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 509883 64415 873 410 0 505356 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 257660 KiB
[startup+3.10967 s]
/proc/loadavg: 1.90 1.96 1.95 3/200 8215
/proc/meminfo: memFree=25199616/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2435764 memory=491088 CPUtime=3.1 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 11596 0 0 0 304 6 0 0 20 0 1 0 527553094 2494222336 122772 33554432000 4194304 5870510 140730190049456 140730190048824 4804280 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 608941 122772 888 410 0 604414 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2435764 KiB
Current children cumulated memory: 491088 KiB
[startup+6.30035 s]
/proc/loadavg: 1.91 1.96 1.95 3/200 8215
/proc/meminfo: memFree=25010104/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2638288 memory=660368 CPUtime=6.29 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 37136 0 0 0 617 12 0 0 20 0 1 0 527553094 2701606912 165092 33554432000 4194304 5870510 140730190049456 140730190048632 5337584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 659572 165092 929 410 0 655045 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2638288 KiB
Current children cumulated memory: 660368 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 1.96 1.95 3/200 8215
/proc/meminfo: memFree=25003776/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2644436 memory=666604 CPUtime=12.69 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 42150 0 0 0 1257 12 0 0 20 0 1 0 527553094 2707902464 166651 33554432000 4194304 5870510 140730190049456 140730190048024 5261008 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 661109 166651 929 410 0 656582 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2644436 KiB
Current children cumulated memory: 666604 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 1.95 3/200 8215
/proc/meminfo: memFree=24979848/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2658280 memory=680448 CPUtime=25.49 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 48811 0 0 0 2536 13 0 0 20 0 1 0 527553094 2722078720 170112 33554432000 4194304 5870510 140730190049456 140730190048472 5321680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 664570 170112 929 410 0 660043 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2658280 KiB
Current children cumulated memory: 680448 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 1.97 1.95 3/200 8217
/proc/meminfo: memFree=24946084/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2675580 memory=697748 CPUtime=51.1 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 68400 0 0 0 5095 15 0 0 20 0 1 0 527553094 2739793920 174437 33554432000 4194304 5870510 140730190049456 140730190048472 5337584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 668895 174437 929 410 0 664368 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2675580 KiB
Current children cumulated memory: 697748 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.97 1.95 3/200 8221
/proc/meminfo: memFree=24891540/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2714508 memory=736692 CPUtime=102.3 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 87591 0 0 0 10212 18 0 0 20 0 1 0 527553094 2779656192 184173 33554432000 4194304 5870510 140730190049456 140730190048472 5321680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 678627 184173 929 410 0 674100 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2714508 KiB
Current children cumulated memory: 736692 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/201 8227
/proc/meminfo: memFree=25019128/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=624388 CPUtime=162.3 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 129867 0 0 0 16206 24 0 0 20 0 1 0 527553094 2649432064 156097 33554432000 4194304 5870510 140730190049456 140730190048568 5282310 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 156097 955 410 0 642307 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 624388 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/200 8231
/proc/meminfo: memFree=24960632/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=635108 CPUtime=222.31 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 148940 0 0 0 22204 27 0 0 20 0 1 0 527553094 2649432064 158777 33554432000 4194304 5870510 140730190049456 140730190048472 5272722 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 158777 955 410 0 642307 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 635108 KiB
[startup+282.3 s]
/proc/loadavg: 2.22 2.03 1.97 3/200 8235
/proc/meminfo: memFree=24965056/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=629380 CPUtime=282.32 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 170913 0 0 0 28202 30 0 0 20 0 1 0 527553094 2649432064 157345 33554432000 4194304 5870510 140730190049456 140730190048472 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 157345 955 410 0 642307 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 629380 KiB
[startup+342.3 s]
/proc/loadavg: 2.32 2.12 2.00 3/200 8242
/proc/meminfo: memFree=24961320/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=633444 CPUtime=342.33 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 205831 0 0 0 34198 35 0 0 20 0 1 0 527553094 2649432064 158361 33554432000 4194304 5870510 140730190049456 140730190048472 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 158361 955 410 0 642307 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 633444 KiB
[startup+402.3 s]
/proc/loadavg: 2.12 2.09 2.00 3/199 8246
/proc/meminfo: memFree=24907804/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=637744 CPUtime=402.33 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 225656 0 0 0 40196 37 0 0 20 0 1 0 527553094 2649432064 159436 33554432000 4194304 5870510 140730190049456 140730190048472 5282688 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 159436 955 410 0 642307 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 637744 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.08 2.00 3/199 8250
/proc/meminfo: memFree=24945140/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=641740 CPUtime=462.34 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 246589 0 0 0 46194 40 0 0 20 0 1 0 527553094 2649432064 160435 33554432000 4194304 5870510 140730190049456 140730190048472 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160435 955 410 0 642307 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 641740 KiB
[startup+522.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/200 8257
/proc/meminfo: memFree=24909936/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=633908 CPUtime=522.34 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 271237 0 0 0 52189 45 0 0 20 0 1 0 527553094 2649432064 158477 33554432000 4194304 5870510 140730190049456 140730190048472 5294975 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 158477 955 410 0 642307 0
Current children cumulated CPU time: 522.34 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 633908 KiB
[startup+582.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/199 8261
/proc/meminfo: memFree=24920536/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=640068 CPUtime=582.35 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 292084 0 0 0 58187 48 0 0 20 0 1 0 527553094 2649432064 160017 33554432000 4194304 5870510 140730190049456 140730190048472 5262793 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160017 955 410 0 642307 0
Current children cumulated CPU time: 582.35 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 640068 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/200 8273
/proc/meminfo: memFree=24941228/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642116 CPUtime=642.36 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 312653 0 0 0 64185 51 0 0 20 0 1 0 527553094 2649432064 160529 33554432000 4194304 5870510 140730190049456 140730190048472 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160529 955 410 0 642307 0
Current children cumulated CPU time: 642.36 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642116 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/201 8301
/proc/meminfo: memFree=24927676/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=638032 CPUtime=702.36 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 334500 0 0 0 70180 56 0 0 20 0 1 0 527553094 2649432064 159508 33554432000 4194304 5870510 140730190049456 140730190048472 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 159508 955 410 0 642307 0
Current children cumulated CPU time: 702.36 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 638032 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8305
/proc/meminfo: memFree=24927372/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642128 CPUtime=762.37 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 367361 0 0 0 76177 60 0 0 20 0 1 0 527553094 2649432064 160532 33554432000 4194304 5870510 140730190049456 140730190048472 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160532 955 410 0 642307 0
Current children cumulated CPU time: 762.37 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642128 KiB
[startup+805.8 s]
# the end of solver process 8206 was just reported to runsolver
# cumulated CPU time of all completed processes: user=805.223 s, system=0.663072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 2.00 2.03 2.00 3/200 8305
/proc/meminfo: memFree=24933424/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2618156 memory=642748 CPUtime=768.08 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 367648 0 0 0 76748 60 0 0 20 0 1 0 527553094 2680991744 160687 33554432000 4194304 5870510 140730190049456 140730190048472 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 654539 160687 955 410 0 650012 0
Current children cumulated CPU time: 768.08 s
Current children cumulated vsize: 2618156 KiB
Current children cumulated memory: 642748 KiB
[startup+780.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8306
/proc/meminfo: memFree=24927376/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2618156 memory=648540 CPUtime=780.87 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 368423 0 0 0 78026 61 0 0 20 0 1 0 527553094 2680991744 162135 33554432000 4194304 5870510 140730190049456 140730190048408 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 654539 162135 955 410 0 650012 0
Current children cumulated CPU time: 780.87 s
Current children cumulated vsize: 2618156 KiB
Current children cumulated memory: 648540 KiB
[startup+793.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/201 8309
/proc/meminfo: memFree=24931444/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=640084 CPUtime=793.68 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 398531 0 0 0 79303 65 0 0 20 0 1 0 527553094 2649432064 160021 33554432000 4194304 5870510 140730190049456 140730190048472 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160021 955 410 0 642307 0
Current children cumulated CPU time: 793.68 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 640084 KiB
[startup+800 s]*
/proc/loadavg: 2.00 2.03 2.00 3/200 8309
/proc/meminfo: memFree=24929596/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642132 CPUtime=800.09 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 398760 0 0 0 79944 65 0 0 20 0 1 0 527553094 2649432064 160533 33554432000 4194304 5870510 140730190049456 140730190048472 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160533 955 410 0 642307 0
Current children cumulated CPU time: 800.09 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642132 KiB
[startup+803.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8309
/proc/meminfo: memFree=24929844/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642132 CPUtime=803.28 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 399937 0 0 0 80263 65 0 0 20 0 1 0 527553094 2649432064 160533 33554432000 4194304 5870510 140730190049456 140730190048472 5272656 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160533 955 410 0 642307 0
Current children cumulated CPU time: 803.28 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642132 KiB
[startup+804.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8309
/proc/meminfo: memFree=24919480/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642132 CPUtime=804.88 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 400067 0 0 0 80423 65 0 0 20 0 1 0 527553094 2649432064 160533 33554432000 4194304 5870510 140730190049456 140730190048472 5272224 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160533 955 410 0 642307 0
Current children cumulated CPU time: 804.88 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642132 KiB
[startup+805.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8309
/proc/meminfo: memFree=24913336/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642132 CPUtime=805.28 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 400085 0 0 0 80463 65 0 0 20 0 1 0 527553094 2649432064 160533 33554432000 4194304 5870510 140730190049456 140730190048472 5272880 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160533 955 410 0 642307 0
Current children cumulated CPU time: 805.28 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642132 KiB
[startup+805.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8309
/proc/meminfo: memFree=24913336/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642132 CPUtime=805.68 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 400110 0 0 0 80503 65 0 0 20 0 1 0 527553094 2649432064 160533 33554432000 4194304 5870510 140730190049456 140730190048472 5272628 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160533 955 410 0 642307 0
Current children cumulated CPU time: 805.68 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642132 KiB
[startup+805.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/200 8309
/proc/meminfo: memFree=24913336/32770624 swapFree=67002176/67108860
[pid=8206] ppid=8203 vsize=2587336 memory=642132 CPUtime=805.78 cores=1,3,5,7
/proc/8206/stat : 8206 (xcsp_picat) R 8203 8206 6701 0 -1 4202496 400112 0 0 0 80513 65 0 0 20 0 1 0 527553094 2649432064 160533 33554432000 4194304 5870510 140730190049456 140730190048472 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 29958144 140730190058503 140730190058585 140730190058585 140730190061510 0
/proc/8206/statm: 646834 160533 955 410 0 642307 0
Current children cumulated CPU time: 805.78 s
Current children cumulated vsize: 2587336 KiB
Current children cumulated memory: 642132 KiB
Child status: 0
Real time (s): 805.8
CPU time (s): 805.886
CPU user time (s): 805.223
CPU system time (s): 0.663072
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 2819616
Max. memory (cumulated for all children) (KiB): 841808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.223
system time used= 0.663072
maximum resident set size= 841808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400322
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= 4
involuntary context switches= 205
# summary of solver processes directly reported to runsolver:
# pid: 8206
# total CPU time (s): 805.886
# total CPU user time (s): 805.223
# total CPU system time (s): 0.663072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.30857 second user time and 5.96993 second system time
The end