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 (9380 MiB free)
memory of node 1: 16384 MiB (12676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407704-1569512119/watcher-4407704-1569512119 -o /var/tmp/evaluation-result-4407704-1569512119/solver-4407704-1569512119 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1569509598-31954 --watchdog 2560 xcsp_picat HOME/instance-4407704-1569512119.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=32603, runsolver pid=32600
[startup+0.100893 s]*
/proc/loadavg: 2.03 2.05 1.91 3/200 32604
/proc/meminfo: memFree=22576268/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2036612 memory=15188 CPUtime=0.1 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 1912 0 0 0 10 0 0 0 20 0 1 0 527148324 2085490688 3797 33554432000 4194304 5870510 140721397343168 140721397341864 5562052 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 509153 3797 962 410 0 504626 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036612 KiB
Current children cumulated memory: 15188 KiB
[startup+0.209784 s]*
/proc/loadavg: 2.03 2.05 1.91 3/200 32604
/proc/meminfo: memFree=22575896/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2036596 memory=15208 CPUtime=0.2 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 1927 0 0 0 20 0 0 0 20 0 1 0 527148324 2085474304 3802 33554432000 4194304 5870510 140721397343168 140721397341864 5478377 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 509149 3802 963 410 0 504622 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2036596 KiB
Current children cumulated memory: 15208 KiB
[startup+0.308968 s]*
/proc/loadavg: 2.03 2.05 1.91 3/200 32604
/proc/meminfo: memFree=22575896/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2036596 memory=15208 CPUtime=0.3 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 1927 0 0 0 30 0 0 0 20 0 1 0 527148324 2085474304 3802 33554432000 4194304 5870510 140721397343168 140721397341864 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 509149 3802 963 410 0 504622 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2036596 KiB
Current children cumulated memory: 15208 KiB
[startup+0.700274 s]
/proc/loadavg: 2.03 2.05 1.91 3/200 32604
/proc/meminfo: memFree=22575388/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2034180 memory=16852 CPUtime=0.68 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 2432 0 0 0 68 0 0 0 20 0 1 0 527148324 2083000320 4213 33554432000 4194304 5870510 140721397343168 140721397342424 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 508545 4213 992 410 0 504018 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034180 KiB
Current children cumulated memory: 16852 KiB
[startup+1.50028 s]
/proc/loadavg: 2.02 2.05 1.91 3/200 32604
/proc/meminfo: memFree=22572812/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2042572 memory=21368 CPUtime=1.48 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 3526 0 0 0 148 0 0 0 20 0 1 0 527148324 2091593728 5342 33554432000 4194304 5870510 140721397343168 140721397341608 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 510643 5342 994 410 0 506116 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2042572 KiB
Current children cumulated memory: 21368 KiB
[startup+3.10949 s]
/proc/loadavg: 2.02 2.05 1.91 3/199 32604
/proc/meminfo: memFree=22562356/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2046964 memory=29508 CPUtime=3.1 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 6070 0 0 0 309 1 0 0 20 0 1 0 527148324 2096091136 7377 33554432000 4194304 5870510 140721397343168 140721397341608 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 511741 7377 994 410 0 507214 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2046964 KiB
Current children cumulated memory: 29508 KiB
[startup+6.30029 s]
/proc/loadavg: 2.02 2.05 1.91 3/199 32604
/proc/meminfo: memFree=22563736/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2046348 memory=27972 CPUtime=6.28 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 9394 0 0 0 627 1 0 0 20 0 1 0 527148324 2095460352 6993 33554432000 4194304 5870510 140721397343168 140721397341736 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 511587 6993 994 410 0 507060 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2046348 KiB
Current children cumulated memory: 27972 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 1.91 3/199 32605
/proc/meminfo: memFree=22558396/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2048024 memory=30932 CPUtime=12.68 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 13245 0 0 0 1267 1 0 0 20 0 1 0 527148324 2097176576 7733 33554432000 4194304 5870510 140721397343168 140721397341736 5272962 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 512006 7733 994 410 0 507479 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2048024 KiB
Current children cumulated memory: 30932 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 1.91 3/199 32605
/proc/meminfo: memFree=22573308/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2037952 memory=20280 CPUtime=25.48 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 22052 0 0 0 2545 3 0 0 20 0 1 0 527148324 2086862848 5070 33554432000 4194304 5870510 140721397343168 140721397341608 5282467 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 509488 5070 1001 410 0 504961 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2037952 KiB
Current children cumulated memory: 20280 KiB
[startup+51.1096 s]
/proc/loadavg: 1.94 2.03 1.91 3/200 32607
/proc/meminfo: memFree=22545120/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2057804 memory=40432 CPUtime=51.09 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 26876 0 0 0 5106 3 0 0 20 0 1 0 527148324 2107191296 10108 33554432000 4194304 5870510 140721397343168 140721397342280 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 514451 10108 1001 410 0 509924 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2057804 KiB
Current children cumulated memory: 40432 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.92 3/199 32674
/proc/meminfo: memFree=25559032/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2053536 memory=38416 CPUtime=102.27 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 33953 0 0 0 10222 5 0 0 20 0 1 0 527148324 2102820864 9604 33554432000 4194304 5870510 140721397343168 140721397341608 5283067 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 513384 9604 1001 410 0 508857 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2053536 KiB
Current children cumulated memory: 38416 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.92 3/199 32738
/proc/meminfo: memFree=25565636/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2047500 memory=34332 CPUtime=162.27 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 38630 0 0 0 16221 6 0 0 20 0 1 0 527148324 2096640000 8583 33554432000 4194304 5870510 140721397343168 140721397341608 5283064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 511875 8583 1001 410 0 507348 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2047500 KiB
Current children cumulated memory: 34332 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 2.01 1.92 3/200 341
/proc/meminfo: memFree=25308232/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076184 memory=62612 CPUtime=222.28 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 45210 0 0 0 22220 8 0 0 20 0 1 0 527148324 2126012416 15653 33554432000 4194304 5870510 140721397343168 140721397341736 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519046 15653 1001 410 0 514519 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2076184 KiB
Current children cumulated memory: 62612 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 2.01 1.93 3/200 347
/proc/meminfo: memFree=25279492/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2072712 memory=58624 CPUtime=282.28 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 54467 0 0 0 28219 9 0 0 20 0 1 0 527148324 2122457088 14656 33554432000 4194304 5870510 140721397343168 140721397341736 5283064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 518178 14656 1001 410 0 513651 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2072712 KiB
Current children cumulated memory: 58624 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.01 1.93 3/201 359
/proc/meminfo: memFree=25288016/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2070964 memory=55572 CPUtime=342.28 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 58332 0 0 0 34217 11 0 0 20 0 1 0 527148324 2120667136 13893 33554432000 4194304 5870510 140721397343168 140721397341736 5272990 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 517741 13893 1001 410 0 513214 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2070964 KiB
Current children cumulated memory: 55572 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/201 363
/proc/meminfo: memFree=25290536/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2070344 memory=57148 CPUtime=402.28 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 67502 0 0 0 40216 12 0 0 20 0 1 0 527148324 2120032256 14287 33554432000 4194304 5870510 140721397343168 140721397341736 5281707 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 517586 14287 1001 410 0 513059 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2070344 KiB
Current children cumulated memory: 57148 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 369
/proc/meminfo: memFree=25271552/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2066956 memory=53832 CPUtime=462.29 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 72572 0 0 0 46215 14 0 0 20 0 1 0 527148324 2116562944 13458 33554432000 4194304 5870510 140721397343168 140721397341736 5272395 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 516739 13458 1001 410 0 512212 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2066956 KiB
Current children cumulated memory: 53832 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 373
/proc/meminfo: memFree=25226996/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2066256 memory=52940 CPUtime=522.28 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 83967 0 0 0 52212 16 0 0 20 0 1 0 527148324 2115846144 13235 33554432000 4194304 5870510 140721397343168 140721397341608 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 516564 13235 1001 410 0 512037 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 2066256 KiB
Current children cumulated memory: 52940 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 377
/proc/meminfo: memFree=25251384/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2066812 memory=52992 CPUtime=582.29 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 89759 0 0 0 58210 19 0 0 20 0 1 0 527148324 2116415488 13248 33554432000 4194304 5870510 140721397343168 140721397341608 5282738 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 516703 13248 1001 410 0 512176 0
Current children cumulated CPU time: 582.29 s
Current children cumulated vsize: 2066812 KiB
Current children cumulated memory: 52992 KiB
[startup+621.712 s]
# the end of solver process 32603 was just reported to runsolver
# cumulated CPU time of all completed processes: user=621.512 s, system=0.199002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 379
/proc/meminfo: memFree=25278552/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2066812 memory=53724 CPUtime=588.79 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 89946 0 0 0 58860 19 0 0 20 0 1 0 527148324 2116415488 13431 33554432000 4194304 5870510 140721397343168 140721397341608 5272665 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 516703 13431 1001 410 0 512176 0
Current children cumulated CPU time: 588.79 s
Current children cumulated vsize: 2066812 KiB
Current children cumulated memory: 53724 KiB
[startup+601.6 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 379
/proc/meminfo: memFree=25261104/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2069840 memory=56488 CPUtime=601.59 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90696 0 0 0 60140 19 0 0 20 0 1 0 527148324 2119516160 14122 33554432000 4194304 5870510 140721397343168 140721397341736 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 517460 14122 1001 410 0 512933 0
Current children cumulated CPU time: 601.59 s
Current children cumulated vsize: 2069840 KiB
Current children cumulated memory: 56488 KiB
[startup+614.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25219732/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=61332 CPUtime=614.39 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90863 0 0 0 61420 19 0 0 20 0 1 0 527148324 2126798848 15333 33554432000 4194304 5870510 140721397343168 140721397341608 5282467 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15333 1001 410 0 514711 0
Current children cumulated CPU time: 614.39 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 61332 KiB
[startup+617.6 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25251748/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=63380 CPUtime=617.59 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90864 0 0 0 61740 19 0 0 20 0 1 0 527148324 2126798848 15845 33554432000 4194304 5870510 140721397343168 140721397341608 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15845 1001 410 0 514711 0
Current children cumulated CPU time: 617.59 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 63380 KiB
[startup+619.2 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25243556/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=63380 CPUtime=619.19 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90864 0 0 0 61900 19 0 0 20 0 1 0 527148324 2126798848 15845 33554432000 4194304 5870510 140721397343168 140721397341608 5272544 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15845 1001 410 0 514711 0
Current children cumulated CPU time: 619.19 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 63380 KiB
[startup+620.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25243556/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=63380 CPUtime=620.79 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90864 0 0 0 62060 19 0 0 20 0 1 0 527148324 2126798848 15845 33554432000 4194304 5870510 140721397343168 140721397341608 5282721 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15845 1001 410 0 514711 0
Current children cumulated CPU time: 620.79 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 63380 KiB
[startup+621.2 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25239460/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=63380 CPUtime=621.19 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90864 0 0 0 62100 19 0 0 20 0 1 0 527148324 2126798848 15845 33554432000 4194304 5870510 140721397343168 140721397341608 5288765 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15845 1001 410 0 514711 0
Current children cumulated CPU time: 621.19 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 63380 KiB
[startup+621.6 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25239460/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=63380 CPUtime=621.59 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90864 0 0 0 62140 19 0 0 20 0 1 0 527148324 2126798848 15845 33554432000 4194304 5870510 140721397343168 140721397341608 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15845 1001 410 0 514711 0
Current children cumulated CPU time: 621.59 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 63380 KiB
[startup+621.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 381
/proc/meminfo: memFree=25239460/32770624 swapFree=66966908/67108860
[pid=32603] ppid=32600 vsize=2076952 memory=63380 CPUtime=621.69 cores=1,3,5,7
/proc/32603/stat : 32603 (xcsp_picat) R 32600 32603 31922 0 -1 4202496 90864 0 0 0 62150 19 0 0 20 0 1 0 527148324 2126798848 15845 33554432000 4194304 5870510 140721397343168 140721397341608 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 35241984 140721397347335 140721397347417 140721397347417 140721397350342 0
/proc/32603/statm: 519238 15845 1001 410 0 514711 0
Current children cumulated CPU time: 621.69 s
Current children cumulated vsize: 2076952 KiB
Current children cumulated memory: 63380 KiB
Child status: 0
Real time (s): 621.712
CPU time (s): 621.711
CPU user time (s): 621.512
CPU system time (s): 0.199002
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 2076952
Max. memory (cumulated for all children) (KiB): 63380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 621.512
system time used= 0.199002
maximum resident set size= 63460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90889
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= 11
involuntary context switches= 234
# summary of solver processes directly reported to runsolver:
# pid: 32603
# total CPU time (s): 621.711
# total CPU user time (s): 621.512
# total CPU system time (s): 0.199002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23364 second user time and 4.38906 second system time
The end