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 (15059 MiB free)
memory of node 1: 16384 MiB (15103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395594-1568348937/watcher-4395594-1568348937 -o /tmp/evaluation-result-4395594-1568348937/solver-4395594-1568348937 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568333755-10547 --watchdog 2560 xcsp_picat HOME/instance-4395594-1568348937.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=14195, runsolver pid=14192
[startup+0.100113 s]*
/proc/loadavg: 2.06 2.05 2.05 3/200 14196
/proc/meminfo: memFree=30865624/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2031716 memory=26076 CPUtime=0.09 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 2114 0 0 0 9 0 0 0 20 0 1 0 411165133 2080477184 6519 33554432000 4194304 5870510 140736378611312 140736378610616 4849594 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 507929 6519 862 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 26076 KiB
[startup+0.209784 s]*
/proc/loadavg: 2.06 2.05 2.05 3/200 14196
/proc/meminfo: memFree=30830684/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2031716 memory=63164 CPUtime=0.2 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 2147 0 0 0 19 1 0 0 20 0 1 0 411165133 2080477184 15791 33554432000 4194304 5870510 140736378611312 140736378610616 4487199 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 507929 15791 895 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 63164 KiB
[startup+0.309744 s]*
/proc/loadavg: 2.06 2.05 2.05 3/200 14196
/proc/meminfo: memFree=30806108/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2031716 memory=83644 CPUtime=0.31 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 2157 0 0 0 29 2 0 0 20 0 1 0 411165133 2080477184 20911 33554432000 4194304 5870510 140736378611312 140736378610616 4460426 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 507929 20911 895 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 83644 KiB
[startup+0.700304 s]
/proc/loadavg: 2.06 2.05 2.05 3/200 14196
/proc/meminfo: memFree=30773336/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2072148 memory=124532 CPUtime=0.69 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 11522 0 0 0 65 4 0 0 20 0 1 0 411165133 2121879552 31133 33554432000 4194304 5870510 140736378611312 140736378609816 5337584 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 518037 31133 964 410 0 513510 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2072148 KiB
Current children cumulated memory: 124532 KiB
[startup+1.50033 s]
/proc/loadavg: 2.06 2.05 2.05 3/200 14196
/proc/meminfo: memFree=30762888/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2072568 memory=125060 CPUtime=1.49 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 11648 0 0 0 145 4 0 0 20 0 1 0 411165133 2122309632 31265 33554432000 4194304 5870510 140736378611312 140736378609624 5337306 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 518142 31265 973 410 0 513615 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2072568 KiB
Current children cumulated memory: 125060 KiB
[startup+3.10966 s]
/proc/loadavg: 2.06 2.05 2.05 3/200 14196
/proc/meminfo: memFree=30756924/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2076928 memory=128296 CPUtime=3.1 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 18276 0 0 0 306 4 0 0 20 0 1 0 411165133 2126774272 32074 33554432000 4194304 5870510 140736378611312 140736378610264 5262718 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 519232 32074 995 410 0 514705 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2076928 KiB
Current children cumulated memory: 128296 KiB
[startup+6.30032 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 14196
/proc/meminfo: memFree=30770556/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2093040 memory=143260 CPUtime=6.29 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 27942 0 0 0 623 6 0 0 20 0 1 0 411165133 2143272960 35815 33554432000 4194304 5870510 140736378611312 140736378609672 5262622 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 523260 35815 1002 410 0 518733 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2093040 KiB
Current children cumulated memory: 143260 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 14196
/proc/meminfo: memFree=30715952/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2161328 memory=193124 CPUtime=12.68 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 36186 0 0 0 1261 7 0 0 20 0 1 0 411165133 2213199872 48281 33554432000 4194304 5870510 140736378611312 140736378609752 5262797 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 540332 48281 1004 410 0 535805 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2161328 KiB
Current children cumulated memory: 193124 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/200 14197
/proc/meminfo: memFree=30662412/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2242236 memory=245796 CPUtime=25.48 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 53072 0 0 0 2539 9 0 0 20 0 1 0 411165133 2296049664 61449 33554432000 4194304 5870510 140736378611312 140736378610264 5262768 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 560559 61449 1004 410 0 556032 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2242236 KiB
Current children cumulated memory: 245796 KiB
[startup+51.1098 s]
/proc/loadavg: 2.03 2.04 2.05 3/200 14199
/proc/meminfo: memFree=30570020/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2323624 memory=289404 CPUtime=51.08 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 69291 0 0 0 5095 13 0 0 20 0 1 0 411165133 2379390976 72351 33554432000 4194304 5870510 140736378611312 140736378610264 5274396 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 580906 72351 1004 410 0 576379 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2323624 KiB
Current children cumulated memory: 289404 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 14203
/proc/meminfo: memFree=30737604/32770624 swapFree=66933964/67108860
[pid=14195] ppid=14192 vsize=2104640 memory=148848 CPUtime=102.27 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 117583 0 0 0 10203 24 0 0 20 0 1 0 411165133 2155151360 37212 33554432000 4194304 5870510 140736378611312 140736378609752 5273920 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 526160 37212 1004 410 0 521633 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2104640 KiB
Current children cumulated memory: 148848 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 14214
/proc/meminfo: memFree=30577520/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2335112 memory=308732 CPUtime=162.26 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 125481 0 0 0 16199 27 0 0 20 0 1 0 411165133 2391154688 77183 33554432000 4194304 5870510 140736378611312 140736378610264 5262976 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 583778 77183 1004 410 0 579251 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2335112 KiB
Current children cumulated memory: 308732 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 14220
/proc/meminfo: memFree=30579440/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2335112 memory=298884 CPUtime=222.25 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 142509 0 0 0 22194 31 0 0 20 0 1 0 411165133 2391154688 74721 33554432000 4194304 5870510 140736378611312 140736378610264 5262672 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 583778 74721 1004 410 0 579251 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2335112 KiB
Current children cumulated memory: 298884 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 14224
/proc/meminfo: memFree=30418864/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2467372 memory=437988 CPUtime=282.24 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 143665 0 0 0 28190 34 0 0 20 0 1 0 411165133 2526588928 109497 33554432000 4194304 5870510 140736378611312 140736378610264 5262976 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 616843 109497 1004 410 0 612316 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2467372 KiB
Current children cumulated memory: 437988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14228
/proc/meminfo: memFree=30539780/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2335112 memory=323972 CPUtime=342.24 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 169661 0 0 0 34183 41 0 0 20 0 1 0 411165133 2391154688 80993 33554432000 4194304 5870510 140736378611312 140736378610328 5268084 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 583778 80993 1004 410 0 579251 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2335112 KiB
Current children cumulated memory: 323972 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 14234
/proc/meminfo: memFree=30301320/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2682296 memory=532868 CPUtime=402.23 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 176481 0 0 0 40178 45 0 0 20 0 1 0 411165133 2746671104 133217 33554432000 4194304 5870510 140736378611312 140736378610264 5262756 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 670574 133217 1004 410 0 666047 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2682296 KiB
Current children cumulated memory: 532868 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 14238
/proc/meminfo: memFree=30583012/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2242236 memory=251544 CPUtime=462.23 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 186172 0 0 0 46163 60 0 0 20 0 1 0 411165133 2296049664 62886 33554432000 4194304 5870510 140736378611312 140736378610264 5262672 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 560559 62886 1004 410 0 556032 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2242236 KiB
Current children cumulated memory: 251544 KiB
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 14242
/proc/meminfo: memFree=30631688/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2242236 memory=233092 CPUtime=522.22 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 195455 0 0 0 52156 66 0 0 20 0 1 0 411165133 2296049664 58273 33554432000 4194304 5870510 140736378611312 140736378610328 5262768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 560559 58273 1004 410 0 556032 0
Current children cumulated CPU time: 522.22 s
Current children cumulated vsize: 2242236 KiB
Current children cumulated memory: 233092 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14248
/proc/meminfo: memFree=30650080/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2192148 memory=209460 CPUtime=582.21 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216414 0 0 0 58147 74 0 0 20 0 1 0 411165133 2244759552 52365 33554432000 4194304 5870510 140736378611312 140736378610264 5262802 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 548037 52365 1004 410 0 543510 0
Current children cumulated CPU time: 582.21 s
Current children cumulated vsize: 2192148 KiB
Current children cumulated memory: 209460 KiB
[startup+590.82 s]
# the end of solver process 14195 was just reported to runsolver
# cumulated CPU time of all completed processes: user=589.983 s, system=0.759901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14248
/proc/meminfo: memFree=30650080/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2192148 memory=209460 CPUtime=582.31 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216414 0 0 0 58157 74 0 0 20 0 1 0 411165133 2244759552 52365 33554432000 4194304 5870510 140736378611312 140736378610264 5262763 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 548037 52365 1004 410 0 543510 0
Current children cumulated CPU time: 582.31 s
Current children cumulated vsize: 2192148 KiB
Current children cumulated memory: 209460 KiB
[startup+585.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14248
/proc/meminfo: memFree=30637796/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2192148 memory=215604 CPUtime=585.51 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216417 0 0 0 58477 74 0 0 20 0 1 0 411165133 2244759552 53901 33554432000 4194304 5870510 140736378611312 140736378610264 5268751 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 548037 53901 1004 410 0 543510 0
Current children cumulated CPU time: 585.51 s
Current children cumulated vsize: 2192148 KiB
Current children cumulated memory: 215604 KiB
[startup+588.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14248
/proc/meminfo: memFree=30657624/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2161328 memory=189032 CPUtime=588.71 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216882 0 0 0 58796 75 0 0 20 0 1 0 411165133 2213199872 47258 33554432000 4194304 5870510 140736378611312 140736378609752 5263058 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 540332 47258 1004 410 0 535805 0
Current children cumulated CPU time: 588.71 s
Current children cumulated vsize: 2161328 KiB
Current children cumulated memory: 189032 KiB
[startup+589.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14248
/proc/meminfo: memFree=30685800/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2161328 memory=189032 CPUtime=589.51 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216882 0 0 0 58876 75 0 0 20 0 1 0 411165133 2213199872 47258 33554432000 4194304 5870510 140736378611312 140736378609752 5272624 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 540332 47258 1004 410 0 535805 0
Current children cumulated CPU time: 589.51 s
Current children cumulated vsize: 2161328 KiB
Current children cumulated memory: 189032 KiB
[startup+590.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14248
/proc/meminfo: memFree=30681704/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2161328 memory=191080 CPUtime=590.31 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216883 0 0 0 58956 75 0 0 20 0 1 0 411165133 2213199872 47770 33554432000 4194304 5870510 140736378611312 140736378609752 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 540332 47770 1004 410 0 535805 0
Current children cumulated CPU time: 590.31 s
Current children cumulated vsize: 2161328 KiB
Current children cumulated memory: 191080 KiB
[startup+590.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14248
/proc/meminfo: memFree=30681704/32770624 swapFree=66933976/67108860
[pid=14195] ppid=14192 vsize=2161328 memory=193128 CPUtime=590.71 cores=0,2,4,6
/proc/14195/stat : 14195 (xcsp_picat) R 14192 14195 10516 0 -1 4202496 216884 0 0 0 58996 75 0 0 20 0 1 0 411165133 2213199872 48282 33554432000 4194304 5870510 140736378611312 140736378609752 5275198 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 39223296 140736378618911 140736378618989 140736378618989 140736378621898 0
/proc/14195/statm: 540332 48282 1004 410 0 535805 0
Current children cumulated CPU time: 590.71 s
Current children cumulated vsize: 2161328 KiB
Current children cumulated memory: 193128 KiB
Child status: 0
Real time (s): 590.821
CPU time (s): 590.743
CPU user time (s): 589.983
CPU system time (s): 0.759901
CPU usage (%): 99.9869
Max. virtual memory (cumulated for all children) (KiB): 2893912
Max. memory (cumulated for all children) (KiB): 593300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 589.983
system time used= 0.759901
maximum resident set size= 700828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216991
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= 1241
# summary of solver processes directly reported to runsolver:
# pid: 14195
# total CPU time (s): 590.743
# total CPU user time (s): 589.983
# total CPU system time (s): 0.759901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37698 second user time and 4.30806 second system time
The end