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 (13352 MiB free)
memory of node 1: 16384 MiB (11503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407833-1569513235/watcher-4407833-1569513235 -o /var/tmp/evaluation-result-4407833-1569513235/solver-4407833-1569513235 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569509600-6249 --watchdog 2560 xcsp_picat HOME/instance-4407833-1569513235.xml
running on 4 cores: 0,2,4,6
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=7125, runsolver pid=7122
[startup+0.100185 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=25433144/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2031716 memory=22648 CPUtime=0.1 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 1227 0 0 0 10 0 0 0 20 0 1 0 527238217 2080477184 5662 33554432000 4194304 5870510 140720747265808 140720747262952 4515461 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 507929 5662 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22648 KiB
[startup+0.209879 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=25422904/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2031716 memory=32888 CPUtime=0.21 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 1232 0 0 0 21 0 0 0 20 0 1 0 527238217 2080477184 8222 33554432000 4194304 5870510 140720747265808 140720747262952 140574463616944 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 507929 8222 834 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32888 KiB
[startup+0.309776 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=25414712/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2031716 memory=41080 CPUtime=0.31 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 1239 0 0 0 31 0 0 0 20 0 1 0 527238217 2080477184 10270 33554432000 4194304 5870510 140720747265808 140720747262952 4475280 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 507929 10270 834 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 41080 KiB
[startup+0.700421 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=25381820/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2031716 memory=121092 CPUtime=0.69 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 1300 0 0 0 68 1 0 0 20 0 1 0 527238217 2080477184 30273 33554432000 4194304 5870510 140720747265808 140720747265176 4459565 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 507929 30273 863 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 121092 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=25255104/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2031716 memory=313604 CPUtime=1.49 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 1394 0 0 0 145 4 0 0 20 0 1 0 527238217 2080477184 78401 33554432000 4194304 5870510 140720747265808 140720747265176 4461438 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 507929 78401 863 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 313604 KiB
[startup+3.10975 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=24825108/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2411196 memory=618328 CPUtime=3.1 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 11998 0 0 0 300 10 0 0 20 0 1 0 527238217 2469064704 154582 33554432000 4194304 5870510 140720747265808 140720747265176 5307553 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 602799 154582 878 410 0 598272 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2411196 KiB
Current children cumulated memory: 618328 KiB
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=24784868/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2446764 memory=641608 CPUtime=6.29 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 15400 0 0 0 618 11 0 0 20 0 1 0 527238217 2505486336 160402 33554432000 4194304 5870510 140720747265808 140720747264376 5321600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 611691 160402 884 410 0 607164 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2446764 KiB
Current children cumulated memory: 641608 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7126
/proc/meminfo: memFree=24779956/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2446764 memory=648252 CPUtime=12.69 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 29799 0 0 0 1257 12 0 0 20 0 1 0 527238217 2505486336 162063 33554432000 4194304 5870510 140720747265808 140720747265064 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 611691 162063 911 410 0 607164 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2446764 KiB
Current children cumulated memory: 648252 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7127
/proc/meminfo: memFree=24780604/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2447952 memory=648224 CPUtime=25.49 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 48062 0 0 0 2533 16 0 0 20 0 1 0 527238217 2506702848 162056 33554432000 4194304 5870510 140720747265808 140720747264760 5282574 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 611988 162056 911 410 0 607461 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2447952 KiB
Current children cumulated memory: 648224 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7129
/proc/meminfo: memFree=24730052/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2472652 memory=669192 CPUtime=51.1 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 76252 0 0 0 5085 25 0 0 20 0 1 0 527238217 2531995648 167298 33554432000 4194304 5870510 140720747265808 140720747264824 5272719 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 618163 167298 911 410 0 613636 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2472652 KiB
Current children cumulated memory: 669192 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7133
/proc/meminfo: memFree=24706360/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2484216 memory=692400 CPUtime=102.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 102668 0 0 0 10193 37 0 0 20 0 1 0 527238217 2543837184 173100 33554432000 4194304 5870510 140720747265808 140720747264824 5272544 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 621054 173100 911 410 0 616527 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2484216 KiB
Current children cumulated memory: 692400 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7138
/proc/meminfo: memFree=24685676/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2505964 memory=713144 CPUtime=162.29 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 136973 0 0 0 16176 53 0 0 20 0 1 0 527238217 2566107136 178286 33554432000 4194304 5870510 140720747265808 140720747264296 5283067 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 626491 178286 911 410 0 621964 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2505964 KiB
Current children cumulated memory: 713144 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7144
/proc/meminfo: memFree=24668472/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2549720 memory=729064 CPUtime=222.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 173137 0 0 0 22158 72 0 0 20 0 1 0 527238217 2610913280 182266 33554432000 4194304 5870510 140720747265808 140720747264824 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 637430 182266 911 410 0 632903 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2549720 KiB
Current children cumulated memory: 729064 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7148
/proc/meminfo: memFree=24662428/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2549720 memory=734360 CPUtime=282.29 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 238484 0 0 0 28140 89 0 0 20 0 1 0 527238217 2610913280 183590 33554432000 4194304 5870510 140720747265808 140720747264760 5282555 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 637430 183590 911 410 0 632903 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2549720 KiB
Current children cumulated memory: 734360 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7153
/proc/meminfo: memFree=24662864/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2547664 memory=735760 CPUtime=342.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 287781 0 0 0 34121 109 0 0 20 0 1 0 527238217 2608807936 183940 33554432000 4194304 5870510 140720747265808 140720747264168 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 636916 183940 911 410 0 632389 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2547664 KiB
Current children cumulated memory: 735760 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7159
/proc/meminfo: memFree=24649052/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2553748 memory=747220 CPUtime=402.29 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 321434 0 0 0 40106 123 0 0 20 0 1 0 527238217 2615037952 186805 33554432000 4194304 5870510 140720747265808 140720747264824 5272690 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 638437 186805 911 410 0 633910 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2553748 KiB
Current children cumulated memory: 747220 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7170
/proc/meminfo: memFree=24667208/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2658400 memory=792192 CPUtime=462.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 357063 0 0 0 46093 137 0 0 20 0 1 0 527238217 2722201600 198048 33554432000 4194304 5870510 140720747265808 140720747264824 5305248 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 664600 198048 911 410 0 660073 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2658400 KiB
Current children cumulated memory: 792192 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 7197
/proc/meminfo: memFree=24640184/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2578260 memory=774120 CPUtime=522.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 390861 0 0 0 52079 151 0 0 20 0 1 0 527238217 2640138240 193530 33554432000 4194304 5870510 140720747265808 140720747264824 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 644565 193530 911 410 0 640038 0
Current children cumulated CPU time: 522.3 s
Current children cumulated vsize: 2578260 KiB
Current children cumulated memory: 774120 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 7203
/proc/meminfo: memFree=24687176/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2567544 memory=757464 CPUtime=582.29 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 445914 0 0 0 58066 163 0 0 20 0 1 0 527238217 2629165056 189366 33554432000 4194304 5870510 140720747265808 140720747264824 140574463658572 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 641886 189366 911 410 0 637359 0
Current children cumulated CPU time: 582.29 s
Current children cumulated vsize: 2567544 KiB
Current children cumulated memory: 757464 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 7207
/proc/meminfo: memFree=24680336/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2571640 memory=765648 CPUtime=642.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 482981 0 0 0 64054 176 0 0 20 0 1 0 527238217 2633359360 191412 33554432000 4194304 5870510 140720747265808 140720747264360 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 642910 191412 911 410 0 638383 0
Current children cumulated CPU time: 642.3 s
Current children cumulated vsize: 2571640 KiB
Current children cumulated memory: 765648 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 7211
/proc/meminfo: memFree=24639164/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2575336 memory=771620 CPUtime=702.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 517809 0 0 0 70040 190 0 0 20 0 1 0 527238217 2637144064 192905 33554432000 4194304 5870510 140720747265808 140720747264824 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 643834 192905 911 410 0 639307 0
Current children cumulated CPU time: 702.3 s
Current children cumulated vsize: 2575336 KiB
Current children cumulated memory: 771620 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 7217
/proc/meminfo: memFree=24632720/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2583208 memory=781008 CPUtime=762.3 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 558467 0 0 0 76026 204 0 0 20 0 1 0 527238217 2645204992 195252 33554432000 4194304 5870510 140720747265808 140720747264360 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 645802 195252 911 410 0 641275 0
Current children cumulated CPU time: 762.3 s
Current children cumulated vsize: 2583208 KiB
Current children cumulated memory: 781008 KiB
[startup+809.527 s]
# the end of solver process 7125 was just reported to runsolver
# cumulated CPU time of all completed processes: user=807.359 s, system=2.17402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 2.00 2.00 1.95 3/200 7217
/proc/meminfo: memFree=24632620/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2585848 memory=779760 CPUtime=768.01 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 559929 0 0 0 76595 206 0 0 20 0 1 0 527238217 2647908352 194940 33554432000 4194304 5870510 140720747265808 140720747264344 5282588 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646462 194940 911 410 0 641935 0
Current children cumulated CPU time: 768.01 s
Current children cumulated vsize: 2585848 KiB
Current children cumulated memory: 779760 KiB
[startup+793.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7218
/proc/meminfo: memFree=24655548/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=790528 CPUtime=793.6 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 589378 0 0 0 79147 213 0 0 20 0 1 0 527238217 2650099712 197632 33554432000 4194304 5870510 140720747265808 140720747264824 5307152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 197632 911 410 0 642470 0
Current children cumulated CPU time: 793.6 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 790528 KiB
[startup+800 s]*
/proc/loadavg: 2.00 2.00 1.95 3/200 7221
/proc/meminfo: memFree=24656856/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=785896 CPUtime=800 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 591243 0 0 0 79787 213 0 0 20 0 1 0 527238217 2650099712 196474 33554432000 4194304 5870510 140720747265808 140720747264824 5262768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 196474 911 410 0 642470 0
Current children cumulated CPU time: 800 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 785896 KiB
[startup+806.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7221
/proc/meminfo: memFree=24624380/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=785896 CPUtime=806.4 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 592573 0 0 0 80424 216 0 0 20 0 1 0 527238217 2650099712 196474 33554432000 4194304 5870510 140720747265808 140720747264824 5274951 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 196474 911 410 0 642470 0
Current children cumulated CPU time: 806.4 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 785896 KiB
[startup+808 s]*
/proc/loadavg: 2.00 2.00 1.95 3/199 7221
/proc/meminfo: memFree=24618364/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=789992 CPUtime=808.01 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 592696 0 0 0 80585 216 0 0 20 0 1 0 527238217 2650099712 197498 33554432000 4194304 5870510 140720747265808 140720747264824 5277440 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 197498 911 410 0 642470 0
Current children cumulated CPU time: 808.01 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 789992 KiB
[startup+808.8 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7221
/proc/meminfo: memFree=24618364/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=792040 CPUtime=808.8 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 592781 0 0 0 80664 216 0 0 20 0 1 0 527238217 2650099712 198010 33554432000 4194304 5870510 140720747265808 140720747264824 140574469338592 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 198010 911 410 0 642470 0
Current children cumulated CPU time: 808.8 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 792040 KiB
[startup+809.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7221
/proc/meminfo: memFree=24612192/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=794088 CPUtime=809.2 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 592801 0 0 0 80704 216 0 0 20 0 1 0 527238217 2650099712 198522 33554432000 4194304 5870510 140720747265808 140720747264824 5276683 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 198522 911 410 0 642470 0
Current children cumulated CPU time: 809.2 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 794088 KiB
[startup+809.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7221
/proc/meminfo: memFree=24612192/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=794088 CPUtime=809.4 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 592820 0 0 0 80724 216 0 0 20 0 1 0 527238217 2650099712 198522 33554432000 4194304 5870510 140720747265808 140720747264824 5307152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 198522 911 410 0 642470 0
Current children cumulated CPU time: 809.4 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 794088 KiB
[startup+809.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/199 7221
/proc/meminfo: memFree=24612192/32770624 swapFree=66954172/67108860
[pid=7125] ppid=7122 vsize=2587988 memory=794088 CPUtime=809.5 cores=0,2,4,6
/proc/7125/stat : 7125 (xcsp_picat) R 7122 7125 6218 0 -1 4202496 592828 0 0 0 80734 216 0 0 20 0 1 0 527238217 2650099712 198522 33554432000 4194304 5870510 140720747265808 140720747264824 5299032 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44085248 140720747271175 140720747271257 140720747271257 140720747274182 0
/proc/7125/statm: 646997 198522 911 410 0 642470 0
Current children cumulated CPU time: 809.5 s
Current children cumulated vsize: 2587988 KiB
Current children cumulated memory: 794088 KiB
Child status: 0
Real time (s): 809.527
CPU time (s): 809.533
CPU user time (s): 807.359
CPU system time (s): 2.17402
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2718216
Max. memory (cumulated for all children) (KiB): 864432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 807.359
system time used= 2.17402
maximum resident set size= 864432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593002
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= 560
# summary of solver processes directly reported to runsolver:
# pid: 7125
# total CPU time (s): 809.533
# total CPU user time (s): 807.359
# total CPU system time (s): 2.17402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20235 second user time and 6.06779 second system time
The end