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 (15363 MiB free)
memory of node 1: 16384 MiB (15524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395015-1568335283/watcher-4395015-1568335283 -o /tmp/evaluation-result-4395015-1568335283/solver-4395015-1568335283 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395015-1568335283.xml
running on 4 cores: 0,2,4,6
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=20071, runsolver pid=20068
Current StackSize limit: 8192 KiB
[startup+0.100219 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31616412/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2038436 memory=17912 CPUtime=0.09 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 2610 0 0 0 9 0 0 0 20 0 1 0 409779773 2087358464 4478 33554432000 4194304 5870510 140729316824320 140729316823560 5288533 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 509609 4478 972 410 0 505082 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2038436 KiB
Current children cumulated memory: 17912 KiB
[startup+0.209668 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31610288/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2041820 memory=24128 CPUtime=0.2 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 3769 0 0 0 20 0 0 0 20 0 1 0 409779773 2090823680 6032 33554432000 4194304 5870510 140729316824320 140729316823560 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 510455 6032 972 410 0 505928 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041820 KiB
Current children cumulated memory: 24128 KiB
[startup+0.309567 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31610288/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2041820 memory=24128 CPUtime=0.3 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 3769 0 0 0 30 0 0 0 20 0 1 0 409779773 2090823680 6032 33554432000 4194304 5870510 140729316824320 140729316823560 5478360 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 510455 6032 972 410 0 505928 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2041820 KiB
Current children cumulated memory: 24128 KiB
[startup+0.70023 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31609916/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2041820 memory=24128 CPUtime=0.69 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 3778 0 0 0 68 1 0 0 20 0 1 0 409779773 2090823680 6032 33554432000 4194304 5870510 140729316824320 140729316823560 5440744 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 510455 6032 972 410 0 505928 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041820 KiB
Current children cumulated memory: 24128 KiB
[startup+1.50034 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31609808/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2042076 memory=24516 CPUtime=1.49 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 3896 0 0 0 148 1 0 0 20 0 1 0 409779773 2091085824 6129 33554432000 4194304 5870510 140729316824320 140729316823576 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 510519 6129 972 410 0 505992 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042076 KiB
Current children cumulated memory: 24516 KiB
[startup+3.10977 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31610924/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2040128 memory=23408 CPUtime=3.1 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 5822 0 0 0 309 1 0 0 20 0 1 0 409779773 2089091072 5852 33554432000 4194304 5870510 140729316824320 140729316823576 139753462766565 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 510032 5852 1002 410 0 505505 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2040128 KiB
Current children cumulated memory: 23408 KiB
[startup+6.30035 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31599724/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2051968 memory=34908 CPUtime=6.28 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 10124 0 0 0 627 1 0 0 20 0 1 0 409779773 2101215232 8727 33554432000 4194304 5870510 140729316824320 140729316822760 5288842 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 512992 8727 1003 410 0 508465 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2051968 KiB
Current children cumulated memory: 34908 KiB
[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31586492/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2066208 memory=49244 CPUtime=12.69 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 15968 0 0 0 1267 2 0 0 20 0 1 0 409779773 2115796992 12311 33554432000 4194304 5870510 140729316824320 140729316822888 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 516552 12311 1003 410 0 512025 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2066208 KiB
Current children cumulated memory: 49244 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 20072
/proc/meminfo: memFree=31568008/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2090524 memory=67676 CPUtime=25.49 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 26274 0 0 0 2546 3 0 0 20 0 1 0 409779773 2140696576 16919 33554432000 4194304 5870510 140729316824320 140729316822760 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 522631 16919 1003 410 0 518104 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2090524 KiB
Current children cumulated memory: 67676 KiB
[startup+51.1097 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 20075
/proc/meminfo: memFree=31548572/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2103848 memory=86096 CPUtime=51.09 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 32819 0 0 0 5106 3 0 0 20 0 1 0 409779773 2154340352 21524 33554432000 4194304 5870510 140729316824320 140729316822888 5272719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 525962 21524 1003 410 0 521435 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2103848 KiB
Current children cumulated memory: 86096 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 20079
/proc/meminfo: memFree=31535352/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2115372 memory=98848 CPUtime=102.29 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 40062 0 0 0 10224 5 0 0 20 0 1 0 409779773 2166140928 24712 33554432000 4194304 5870510 140729316824320 140729316822760 5272628 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 528843 24712 1003 410 0 524316 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2115372 KiB
Current children cumulated memory: 98848 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20083
/proc/meminfo: memFree=31528672/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2122556 memory=105480 CPUtime=162.29 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 48637 0 0 0 16222 7 0 0 20 0 1 0 409779773 2173497344 26370 33554432000 4194304 5870510 140729316824320 140729316822888 5307152 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 530639 26370 1003 410 0 526112 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2122556 KiB
Current children cumulated memory: 105480 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20089
/proc/meminfo: memFree=31509044/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2141232 memory=124724 CPUtime=222.3 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 55420 0 0 0 22221 9 0 0 20 0 1 0 409779773 2192621568 31181 33554432000 4194304 5870510 140729316824320 140729316822888 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 535308 31181 1003 410 0 530781 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2141232 KiB
Current children cumulated memory: 124724 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20093
/proc/meminfo: memFree=31504708/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2166584 memory=129012 CPUtime=282.3 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 56539 0 0 0 28221 9 0 0 20 0 1 0 409779773 2218582016 32253 33554432000 4194304 5870510 140729316824320 140729316822760 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 541646 32253 1003 410 0 537119 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2166584 KiB
Current children cumulated memory: 129012 KiB
[startup+342.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/199 20221
/proc/meminfo: memFree=31543948/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2166584 memory=129196 CPUtime=342.29 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 56692 0 0 0 34220 9 0 0 20 0 1 0 409779773 2218582016 32299 33554432000 4194304 5870510 140729316824320 140729316822760 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 541646 32299 1003 410 0 537119 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2166584 KiB
Current children cumulated memory: 129196 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 20227
/proc/meminfo: memFree=31494600/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2178256 memory=157920 CPUtime=402.3 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 58783 0 0 0 40219 11 0 0 20 0 1 0 409779773 2230534144 39480 33554432000 4194304 5870510 140729316824320 140729316822888 5305072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 544564 39480 1003 410 0 540037 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2178256 KiB
Current children cumulated memory: 157920 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 20231
/proc/meminfo: memFree=31486756/32770624 swapFree=66993916/67108860
[pid=20071] ppid=20068 vsize=2178256 memory=160724 CPUtime=462.3 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 58786 0 0 0 46219 11 0 0 20 0 1 0 409779773 2230534144 40181 33554432000 4194304 5870510 140729316824320 140729316822888 5282721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 544564 40181 1003 410 0 540037 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2178256 KiB
Current children cumulated memory: 160724 KiB
################
# More data... #
################
Current children cumulated memory: 167604 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20305
/proc/meminfo: memFree=31395928/32770624 swapFree=66993932/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=200348 CPUtime=1182.33 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 76657 0 0 0 118208 25 0 0 20 0 1 0 409779773 2283655168 50087 33554432000 4194304 5870510 140729316824320 140729316822760 5272392 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50087 1003 410 0 553006 0
Current children cumulated CPU time: 1182.33 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 200348 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 20331
/proc/meminfo: memFree=31368236/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=200356 CPUtime=1242.34 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 78837 0 0 0 124207 27 0 0 20 0 1 0 409779773 2283655168 50089 33554432000 4194304 5870510 140729316824320 140729316822760 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50089 1003 410 0 553006 0
Current children cumulated CPU time: 1242.34 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 200356 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/202 20337
/proc/meminfo: memFree=31343076/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=204452 CPUtime=1302.34 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 80722 0 0 0 130205 29 0 0 20 0 1 0 409779773 2283655168 51113 33554432000 4194304 5870510 140729316824320 140729316822760 5282729 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 51113 1003 410 0 553006 0
Current children cumulated CPU time: 1302.34 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 204452 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 20341
/proc/meminfo: memFree=31347620/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=200172 CPUtime=1362.34 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 84484 0 0 0 136203 31 0 0 20 0 1 0 409779773 2283655168 50043 33554432000 4194304 5870510 140729316824320 140729316822760 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50043 1003 410 0 553006 0
Current children cumulated CPU time: 1362.34 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 200172 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 20345
/proc/meminfo: memFree=31349064/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=198480 CPUtime=1422.35 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 85758 0 0 0 142201 34 0 0 20 0 1 0 409779773 2283655168 49620 33554432000 4194304 5870510 140729316824320 140729316823336 5283067 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 49620 1003 410 0 553006 0
Current children cumulated CPU time: 1422.35 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 198480 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 20351
/proc/meminfo: memFree=31347240/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=200528 CPUtime=1482.35 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 87840 0 0 0 148197 38 0 0 20 0 1 0 409779773 2283655168 50132 33554432000 4194304 5870510 140729316824320 140729316823336 139753468445704 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50132 1003 410 0 553006 0
Current children cumulated CPU time: 1482.35 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 200528 KiB
[startup+1521.93 s]
# the end of solver process 20071 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1521.59 s, system=0.409021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 20351
/proc/meminfo: memFree=31345272/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=202576 CPUtime=1484.85 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 87851 0 0 0 148447 38 0 0 20 0 1 0 409779773 2283655168 50644 33554432000 4194304 5870510 140729316824320 140729316823336 5282588 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50644 1003 410 0 553006 0
Current children cumulated CPU time: 1484.85 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 202576 KiB
[startup+1497.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20351
/proc/meminfo: memFree=31345624/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=202408 CPUtime=1497.65 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 88427 0 0 0 149726 39 0 0 20 0 1 0 409779773 2283655168 50602 33554432000 4194304 5870510 140729316824320 140729316823336 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50602 1003 410 0 553006 0
Current children cumulated CPU time: 1497.65 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 202408 KiB
[startup+1510.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31342992/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=204624 CPUtime=1510.45 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 88504 0 0 0 151006 39 0 0 20 0 1 0 409779773 2283655168 51156 33554432000 4194304 5870510 140729316824320 140729316823336 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 51156 1003 410 0 553006 0
Current children cumulated CPU time: 1510.45 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 204624 KiB
[startup+1516.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31345476/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=202408 CPUtime=1516.85 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 89077 0 0 0 151645 40 0 0 20 0 1 0 409779773 2283655168 50602 33554432000 4194304 5870510 140729316824320 140729316823336 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 50602 1003 410 0 553006 0
Current children cumulated CPU time: 1516.85 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 202408 KiB
[startup+1520 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31341436/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=206504 CPUtime=1520.06 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 89088 0 0 0 151966 40 0 0 20 0 1 0 409779773 2283655168 51626 33554432000 4194304 5870510 140729316824320 140729316823336 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 51626 1003 410 0 553006 0
Current children cumulated CPU time: 1520.06 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 206504 KiB
[startup+1520.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31341436/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=206504 CPUtime=1520.85 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 89088 0 0 0 152045 40 0 0 20 0 1 0 409779773 2283655168 51626 33554432000 4194304 5870510 140729316824320 140729316823336 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 51626 1003 410 0 553006 0
Current children cumulated CPU time: 1520.85 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 206504 KiB
[startup+1521.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31341436/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=208552 CPUtime=1521.65 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 89098 0 0 0 152125 40 0 0 20 0 1 0 409779773 2283655168 52138 33554432000 4194304 5870510 140729316824320 140729316823336 5282467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 52138 1003 410 0 553006 0
Current children cumulated CPU time: 1521.65 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 208552 KiB
[startup+1521.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31341436/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=208552 CPUtime=1521.85 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 89098 0 0 0 152145 40 0 0 20 0 1 0 409779773 2283655168 52138 33554432000 4194304 5870510 140729316824320 140729316823336 5262768 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 52138 1003 410 0 553006 0
Current children cumulated CPU time: 1521.85 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 208552 KiB
[startup+1521.9 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 20352
/proc/meminfo: memFree=31341436/32770624 swapFree=66993936/67108860
[pid=20071] ppid=20068 vsize=2230132 memory=208552 CPUtime=1521.95 cores=0,2,4,6
/proc/20071/stat : 20071 (xcsp_picat) R 20068 20071 15976 0 -1 4202496 89101 0 0 0 152155 40 0 0 20 0 1 0 409779773 2283655168 52138 33554432000 4194304 5870510 140729316824320 140729316823336 5262524 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16371712 140729316832287 140729316832365 140729316832365 140729316835274 0
/proc/20071/statm: 557533 52138 1003 410 0 553006 0
Current children cumulated CPU time: 1521.95 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 208552 KiB
Child status: 0
Real time (s): 1521.93
CPU time (s): 1522
CPU user time (s): 1521.59
CPU system time (s): 0.409021
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2279452
Max. memory (cumulated for all children) (KiB): 237364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1521.59
system time used= 0.409021
maximum resident set size= 245536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89145
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= 17
involuntary context switches= 1905
# summary of solver processes directly reported to runsolver:
# pid: 20071
# total CPU time (s): 1522
# total CPU user time (s): 1521.59
# total CPU system time (s): 0.409021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29743 second user time and 11.127 second system time
The end