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 (15362 MiB free)
memory of node 1: 16384 MiB (15777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407696-1569512088/watcher-4407696-1569512088 -o /var/tmp/evaluation-result-4407696-1569512088/solver-4407696-1569512088 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569509603-12794 --watchdog 2560 xcsp_picat HOME/instance-4407696-1569512088.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
solver pid=13320, runsolver pid=13317
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31874596/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2036628 memory=17196 CPUtime=0.1 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 1938 0 0 0 10 0 0 0 20 0 1 0 527447412 2085507072 4299 33554432000 4194304 5870510 140737366780960 140737366778104 5562048 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 509157 4299 961 410 0 504630 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036628 KiB
Current children cumulated memory: 17196 KiB
[startup+0.209651 s]*
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31874596/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2036628 memory=17196 CPUtime=0.21 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 1938 0 0 0 21 0 0 0 20 0 1 0 527447412 2085507072 4299 33554432000 4194304 5870510 140737366780960 140737366778104 5478381 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 509157 4299 961 410 0 504630 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036628 KiB
Current children cumulated memory: 17196 KiB
[startup+0.309093 s]*
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31874596/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2032512 memory=17368 CPUtime=0.31 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 2032 0 0 0 31 0 0 0 20 0 1 0 527447412 2081292288 4342 33554432000 4194304 5870510 140737366780960 140737366778104 140025563720677 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 508128 4342 971 410 0 503601 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2032512 KiB
Current children cumulated memory: 17368 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31871060/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2035244 memory=19520 CPUtime=0.69 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 2598 0 0 0 69 0 0 0 20 0 1 0 527447412 2084089856 4880 33554432000 4194304 5870510 140737366780960 140737366779320 5282721 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 508811 4880 989 410 0 504284 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035244 KiB
Current children cumulated memory: 19520 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31869800/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2042700 memory=25292 CPUtime=1.49 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 3970 0 0 0 148 1 0 0 20 0 1 0 527447412 2091724800 6323 33554432000 4194304 5870510 140737366780960 140737366779320 5282464 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 510675 6323 989 410 0 506148 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042700 KiB
Current children cumulated memory: 25292 KiB
[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31858192/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2045420 memory=30304 CPUtime=3.1 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 6343 0 0 0 309 1 0 0 20 0 1 0 527447412 2094510080 7576 33554432000 4194304 5870510 140737366780960 140737366779400 5274667 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 511355 7576 989 410 0 506828 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2045420 KiB
Current children cumulated memory: 30304 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31857324/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2045420 memory=30388 CPUtime=6.29 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 8329 0 0 0 628 1 0 0 20 0 1 0 527447412 2094510080 7597 33554432000 4194304 5870510 140737366780960 140737366780136 5282694 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 511355 7597 993 410 0 506828 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2045420 KiB
Current children cumulated memory: 30388 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.88 3/201 13321
/proc/meminfo: memFree=31854844/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2050532 memory=35352 CPUtime=12.69 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 14584 0 0 0 1266 3 0 0 20 0 1 0 527447412 2099744768 8838 33554432000 4194304 5870510 140737366780960 140737366780136 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 512633 8838 1000 410 0 508106 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2050532 KiB
Current children cumulated memory: 35352 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.89 3/201 13321
/proc/meminfo: memFree=31849328/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2047472 memory=31840 CPUtime=25.49 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 21599 0 0 0 2545 4 0 0 20 0 1 0 527447412 2096611328 7960 33554432000 4194304 5870510 140737366780960 140737366779528 140025563718843 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 511868 7960 1000 410 0 507341 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2047472 KiB
Current children cumulated memory: 31840 KiB
[startup+51.1096 s]
/proc/loadavg: 2.06 2.03 1.89 3/201 13324
/proc/meminfo: memFree=31842104/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2053968 memory=37780 CPUtime=51.1 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 26581 0 0 0 5106 4 0 0 20 0 1 0 527447412 2103263232 9445 33554432000 4194304 5870510 140737366780960 140737366779400 5283083 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 513492 9445 1000 410 0 508965 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2053968 KiB
Current children cumulated memory: 37780 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 1.90 3/199 13328
/proc/meminfo: memFree=31852540/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2039092 memory=20588 CPUtime=102.29 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 36732 0 0 0 10223 6 0 0 20 0 1 0 527447412 2088030208 5147 33554432000 4194304 5870510 140737366780960 140737366780136 5282555 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 509773 5147 1000 410 0 505246 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2039092 KiB
Current children cumulated memory: 20588 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/199 13332
/proc/meminfo: memFree=31804684/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2076864 memory=56820 CPUtime=162.28 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 44079 0 0 0 16221 7 0 0 20 0 1 0 527447412 2126708736 14205 33554432000 4194304 5870510 140737366780960 140737366779528 5282489 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 519216 14205 1000 410 0 514689 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2076864 KiB
Current children cumulated memory: 56820 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/200 13338
/proc/meminfo: memFree=31806860/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2071400 memory=51504 CPUtime=222.29 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 48584 0 0 0 22220 9 0 0 20 0 1 0 527447412 2121113600 12876 33554432000 4194304 5870510 140737366780960 140737366779400 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 517850 12876 1000 410 0 513323 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2071400 KiB
Current children cumulated memory: 51504 KiB
[startup+282.3 s]
/proc/loadavg: 1.93 1.99 1.91 3/199 13402
/proc/meminfo: memFree=31828100/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2062660 memory=49576 CPUtime=282.27 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 53045 0 0 0 28218 9 0 0 20 0 1 0 527447412 2112163840 12394 33554432000 4194304 5870510 140737366780960 140737366779400 5283116 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 515665 12394 1000 410 0 511138 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 49576 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.99 1.91 3/199 13406
/proc/meminfo: memFree=31824440/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2059408 memory=45976 CPUtime=342.27 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 57215 0 0 0 34216 11 0 0 20 0 1 0 527447412 2108833792 11494 33554432000 4194304 5870510 140737366780960 140737366779528 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 514852 11494 1000 410 0 510325 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2059408 KiB
Current children cumulated memory: 45976 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/202 13421
/proc/meminfo: memFree=31788368/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2075068 memory=64152 CPUtime=402.27 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 62435 0 0 0 40215 12 0 0 20 0 1 0 527447412 2124869632 16038 33554432000 4194304 5870510 140737366780960 140737366779528 5272665 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 518767 16038 1000 410 0 514240 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2075068 KiB
Current children cumulated memory: 64152 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/201 13425
/proc/meminfo: memFree=31790012/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2073432 memory=62112 CPUtime=462.27 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 67184 0 0 0 46213 14 0 0 20 0 1 0 527447412 2123194368 15528 33554432000 4194304 5870510 140737366780960 140737366779400 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 518358 15528 1000 410 0 513831 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2073432 KiB
Current children cumulated memory: 62112 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/201 13429
/proc/meminfo: memFree=31797404/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2066780 memory=55244 CPUtime=522.27 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 73391 0 0 0 52212 15 0 0 20 0 1 0 527447412 2116382720 13811 33554432000 4194304 5870510 140737366780960 140737366779528 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 516695 13811 1000 410 0 512168 0
Current children cumulated CPU time: 522.27 s
Current children cumulated vsize: 2066780 KiB
Current children cumulated memory: 55244 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/202 13435
/proc/meminfo: memFree=31805192/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2060368 memory=48004 CPUtime=582.26 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 76575 0 0 0 58210 16 0 0 20 0 1 0 527447412 2109816832 12001 33554432000 4194304 5870510 140737366780960 140737366779400 5310384 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 515092 12001 1000 410 0 510565 0
Current children cumulated CPU time: 582.26 s
Current children cumulated vsize: 2060368 KiB
Current children cumulated memory: 48004 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/201 13439
/proc/meminfo: memFree=31802148/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2061812 memory=50152 CPUtime=642.26 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 84134 0 0 0 64208 18 0 0 20 0 1 0 527447412 2111295488 12538 33554432000 4194304 5870510 140737366780960 140737366779528 5282721 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 515453 12538 1000 410 0 510926 0
Current children cumulated CPU time: 642.26 s
Current children cumulated vsize: 2061812 KiB
Current children cumulated memory: 50152 KiB
[startup+699.083 s]
# the end of solver process 13320 was just reported to runsolver
# cumulated CPU time of all completed processes: user=698.855 s, system=0.195993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 2.00 1.99 1.94 3/199 13440
/proc/meminfo: memFree=31797620/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2067084 memory=55392 CPUtime=665.55 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 85117 0 0 0 66537 18 0 0 20 0 1 0 527447412 2116694016 13848 33554432000 4194304 5870510 140737366780960 140737366779400 5282759 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 516771 13848 1000 410 0 512244 0
Current children cumulated CPU time: 665.55 s
Current children cumulated vsize: 2067084 KiB
Current children cumulated memory: 55392 KiB
[startup+678.4 s]
/proc/loadavg: 2.00 1.99 1.94 3/199 13442
/proc/meminfo: memFree=31790360/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2074156 memory=62268 CPUtime=678.36 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 85343 0 0 0 67817 19 0 0 20 0 1 0 527447412 2123935744 15567 33554432000 4194304 5870510 140737366780960 140737366779400 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 518539 15567 1000 410 0 514012 0
Current children cumulated CPU time: 678.36 s
Current children cumulated vsize: 2074156 KiB
Current children cumulated memory: 62268 KiB
[startup+691.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 13442
/proc/meminfo: memFree=31790484/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2074156 memory=62268 CPUtime=691.16 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 85343 0 0 0 69097 19 0 0 20 0 1 0 527447412 2123935744 15567 33554432000 4194304 5870510 140737366780960 140737366779400 140025569399852 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 518539 15567 1000 410 0 514012 0
Current children cumulated CPU time: 691.16 s
Current children cumulated vsize: 2074156 KiB
Current children cumulated memory: 62268 KiB
[startup+694.4 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 13443
/proc/meminfo: memFree=31790360/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2074156 memory=63028 CPUtime=694.36 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 85481 0 0 0 69417 19 0 0 20 0 1 0 527447412 2123935744 15757 33554432000 4194304 5870510 140737366780960 140737366779400 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 518539 15757 1000 410 0 514012 0
Current children cumulated CPU time: 694.36 s
Current children cumulated vsize: 2074156 KiB
Current children cumulated memory: 63028 KiB
[startup+697.6 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 13443
/proc/meminfo: memFree=31787320/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2081332 memory=65332 CPUtime=697.56 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 85581 0 0 0 69737 19 0 0 20 0 1 0 527447412 2131283968 16333 33554432000 4194304 5870510 140737366780960 140737366779400 5272653 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 520333 16333 1000 410 0 515806 0
Current children cumulated CPU time: 697.56 s
Current children cumulated vsize: 2081332 KiB
Current children cumulated memory: 65332 KiB
[startup+698.4 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 13443
/proc/meminfo: memFree=31787320/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2068232 memory=56384 CPUtime=698.36 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 85991 0 0 0 69817 19 0 0 20 0 1 0 527447412 2117869568 14096 33554432000 4194304 5870510 140737366780960 140737366779400 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 517058 14096 1000 410 0 512531 0
Current children cumulated CPU time: 698.36 s
Current children cumulated vsize: 2068232 KiB
Current children cumulated memory: 56384 KiB
[startup+698.8 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 13443
/proc/meminfo: memFree=31787320/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2068232 memory=56644 CPUtime=698.76 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 86070 0 0 0 69857 19 0 0 20 0 1 0 527447412 2117869568 14161 33554432000 4194304 5870510 140737366780960 140737366779400 5282597 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 517058 14161 1000 410 0 512531 0
Current children cumulated CPU time: 698.76 s
Current children cumulated vsize: 2068232 KiB
Current children cumulated memory: 56644 KiB
[startup+699 s]*
/proc/loadavg: 2.00 1.99 1.95 3/199 13443
/proc/meminfo: memFree=31796256/32770624 swapFree=66951984/67108860
[pid=13320] ppid=13317 vsize=2068232 memory=56644 CPUtime=698.97 cores=1,3,5,7
/proc/13320/stat : 13320 (xcsp_picat) R 13317 13320 12762 0 -1 4202496 86070 0 0 0 69878 19 0 0 20 0 1 0 527447412 2117869568 14161 33554432000 4194304 5870510 140737366780960 140737366779400 5294977 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 32600064 140737366787079 140737366787161 140737366787161 140737366790086 0
/proc/13320/statm: 517058 14161 1000 410 0 512531 0
Current children cumulated CPU time: 698.97 s
Current children cumulated vsize: 2068232 KiB
Current children cumulated memory: 56644 KiB
Child status: 0
Real time (s): 699.083
CPU time (s): 699.051
CPU user time (s): 698.855
CPU system time (s): 0.195993
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 2081332
Max. memory (cumulated for all children) (KiB): 65332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 698.855
system time used= 0.195993
maximum resident set size= 65332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86094
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= 12
involuntary context switches= 830
# summary of solver processes directly reported to runsolver:
# pid: 13320
# total CPU time (s): 699.051
# total CPU user time (s): 698.855
# total CPU system time (s): 0.195993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57 second user time and 4.80149 second system time
The end