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 (11523 MiB free)
memory of node 1: 16384 MiB (15887 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395574-1568332617/watcher-4395574-1568332617 -o /tmp/evaluation-result-4395574-1568332617/solver-4395574-1568332617 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568323423-22107 --watchdog 2560 xcsp_picat HOME/instance-4395574-1568332617.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=24401, runsolver pid=24398
[startup+0.100176 s]*
/proc/loadavg: 2.01 2.06 2.10 4/199 24402
/proc/meminfo: memFree=28042832/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2031716 memory=28592 CPUtime=0.1 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 1733 0 0 0 10 0 0 0 20 0 1 0 409510358 2080477184 7148 33554432000 4194304 5870510 140723119939152 140723119936296 4987764 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 507929 7148 860 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 28592 KiB
[startup+0.210022 s]*
/proc/loadavg: 2.01 2.06 2.10 3/199 24402
/proc/meminfo: memFree=28019508/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2031716 memory=51884 CPUtime=0.21 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 1895 0 0 0 21 0 0 0 20 0 1 0 409510358 2080477184 12971 33554432000 4194304 5870510 140723119939152 140723119938456 4475153 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 509018 12971 888 410 0 504491 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 51884 KiB
[startup+0.309857 s]*
/proc/loadavg: 2.09 2.07 2.10 3/199 24402
/proc/meminfo: memFree=28002396/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2054980 memory=69332 CPUtime=0.31 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 6411 0 0 0 30 1 0 0 20 0 1 0 409510358 2104299520 17333 33554432000 4194304 5870510 140723119939152 140723119938456 140286778015623 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 513745 17333 950 410 0 509218 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2054980 KiB
Current children cumulated memory: 69332 KiB
[startup+0.700321 s]
/proc/loadavg: 2.09 2.07 2.10 3/199 24402
/proc/meminfo: memFree=28002024/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2056528 memory=73636 CPUtime=0.69 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 7060 0 0 0 61 8 0 0 20 0 1 0 409510358 2105884672 18409 33554432000 4194304 5870510 140723119939152 140723119938056 140286778015623 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 514132 18409 969 410 0 509605 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2056528 KiB
Current children cumulated memory: 73636 KiB
[startup+1.50028 s]
/proc/loadavg: 2.09 2.07 2.10 3/199 24402
/proc/meminfo: memFree=27967732/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2095540 memory=104448 CPUtime=1.49 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 14690 0 0 0 139 10 0 0 20 0 1 0 409510358 2145832960 26112 33554432000 4194304 5870510 140723119939152 140723119938248 5476912 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 523885 26112 969 410 0 519358 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2095540 KiB
Current children cumulated memory: 104448 KiB
[startup+3.10949 s]
/proc/loadavg: 2.09 2.07 2.10 3/200 24404
/proc/meminfo: memFree=27964484/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2095540 memory=106528 CPUtime=3.1 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 14885 0 0 0 299 11 0 0 20 0 1 0 409510358 2145832960 26632 33554432000 4194304 5870510 140723119939152 140723119938248 5476915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 523885 26632 969 410 0 519358 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2095540 KiB
Current children cumulated memory: 106528 KiB
[startup+6.30027 s]
/proc/loadavg: 2.16 2.09 2.11 3/200 24404
/proc/meminfo: memFree=27962208/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2095676 memory=106848 CPUtime=6.29 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 14934 0 0 0 618 11 0 0 20 0 1 0 409510358 2145972224 26712 33554432000 4194304 5870510 140723119939152 140723119938248 5477023 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 523919 26712 969 410 0 519392 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2095676 KiB
Current children cumulated memory: 106848 KiB
[startup+12.7003 s]
/proc/loadavg: 2.15 2.09 2.11 3/199 24466
/proc/meminfo: memFree=30129908/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2096092 memory=107404 CPUtime=12.69 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 16952 0 0 0 1258 11 0 0 20 0 1 0 409510358 2146398208 26851 33554432000 4194304 5870510 140723119939152 140723119938248 5478363 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 524023 26851 969 410 0 519496 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2096092 KiB
Current children cumulated memory: 107404 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 2.08 2.10 3/199 24467
/proc/meminfo: memFree=30127848/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2098024 memory=109092 CPUtime=25.49 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 18291 0 0 0 2537 12 0 0 20 0 1 0 409510358 2148376576 27273 33554432000 4194304 5870510 140723119939152 140723119938152 5476957 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 524506 27273 969 410 0 519979 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2098024 KiB
Current children cumulated memory: 109092 KiB
[startup+51.1089 s]
/proc/loadavg: 2.08 2.08 2.10 3/199 24469
/proc/meminfo: memFree=30119472/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2099264 memory=113604 CPUtime=51.11 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 20077 0 0 0 5096 15 0 0 20 0 1 0 409510358 2149646336 28401 33554432000 4194304 5870510 140723119939152 140723119938264 5478360 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 524816 28401 971 410 0 520289 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2099264 KiB
Current children cumulated memory: 113604 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.10 3/199 24473
/proc/meminfo: memFree=30100060/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2106640 memory=123468 CPUtime=102.3 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 34907 0 0 0 10200 30 0 0 20 0 1 0 409510358 2157199360 30867 33554432000 4194304 5870510 140723119939152 140723119938248 5562000 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526660 30867 1002 410 0 522133 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2106640 KiB
Current children cumulated memory: 123468 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.09 3/199 24478
/proc/meminfo: memFree=30097572/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2106636 memory=126212 CPUtime=162.3 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 41795 0 0 0 16186 44 0 0 20 0 1 0 409510358 2157195264 31553 33554432000 4194304 5870510 140723119939152 140723119938248 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526659 31553 1002 410 0 522132 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2106636 KiB
Current children cumulated memory: 126212 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/198 24482
/proc/meminfo: memFree=30098800/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2106636 memory=126216 CPUtime=222.31 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 45216 0 0 0 22182 49 0 0 20 0 1 0 409510358 2157195264 31554 33554432000 4194304 5870510 140723119939152 140723119938264 5478360 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526659 31554 1002 410 0 522132 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2106636 KiB
Current children cumulated memory: 126216 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/199 24496
/proc/meminfo: memFree=30096868/32770624 swapFree=67001524/67108860
[pid=24401] ppid=24398 vsize=2106636 memory=126788 CPUtime=282.31 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 49181 0 0 0 28169 62 0 0 20 0 1 0 409510358 2157195264 31697 33554432000 4194304 5870510 140723119939152 140723119938264 5406452 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526659 31697 1002 410 0 522132 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2106636 KiB
Current children cumulated memory: 126788 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/200 24526
/proc/meminfo: memFree=30100156/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2106640 memory=123588 CPUtime=342.33 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 57638 0 0 0 34155 78 0 0 20 0 1 0 409510358 2157199360 30897 33554432000 4194304 5870510 140723119939152 140723119938152 5477233 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526660 30897 1011 410 0 522133 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2106640 KiB
Current children cumulated memory: 123588 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/200 24530
/proc/meminfo: memFree=30031856/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133896 memory=151356 CPUtime=402.33 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 62494 0 0 0 40149 84 0 0 20 0 1 0 409510358 2185109504 37839 33554432000 4194304 5870510 140723119939152 140723119937688 5262579 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533474 37839 1011 410 0 528947 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2133896 KiB
Current children cumulated memory: 151356 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/200 24536
/proc/meminfo: memFree=30099304/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2106640 memory=125640 CPUtime=462.33 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 67138 0 0 0 46136 97 0 0 20 0 1 0 409510358 2157199360 31410 33554432000 4194304 5870510 140723119939152 140723119938344 5416721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526660 31410 1011 410 0 522133 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2106640 KiB
Current children cumulated memory: 125640 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/200 24540
/proc/meminfo: memFree=30098152/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2106636 memory=126584 CPUtime=522.34 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 68337 0 0 0 52125 109 0 0 20 0 1 0 409510358 2157195264 31646 33554432000 4194304 5870510 140723119939152 140723119938248 5575596 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526659 31646 1011 410 0 522132 0
Current children cumulated CPU time: 522.34 s
Current children cumulated vsize: 2106636 KiB
Current children cumulated memory: 126584 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24604
/proc/meminfo: memFree=30205428/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2106640 memory=123584 CPUtime=582.35 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 75902 0 0 0 58109 126 0 0 20 0 1 0 409510358 2157199360 30896 33554432000 4194304 5870510 140723119939152 140723119938248 5406500 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 526660 30896 1011 410 0 522133 0
Current children cumulated CPU time: 582.35 s
Current children cumulated vsize: 2106640 KiB
Current children cumulated memory: 123584 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30154336/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2174340 memory=174792 CPUtime=642.35 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 80376 0 0 0 64104 131 0 0 20 0 1 0 409510358 2226524160 43698 33554432000 4194304 5870510 140723119939152 140723119937320 140286783324652 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 543585 43698 1011 410 0 539058 0
Current children cumulated CPU time: 642.35 s
Current children cumulated vsize: 2174340 KiB
Current children cumulated memory: 174792 KiB
[startup+654.115 s]
# the end of solver process 24401 was just reported to runsolver
# cumulated CPU time of all completed processes: user=652.858 s, system=1.32314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30186956/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=144072 CPUtime=646.46 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81037 0 0 0 64514 132 0 0 20 0 1 0 409510358 2184830976 36018 33554432000 4194304 5870510 140723119939152 140723119937720 5262793 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 36018 1011 410 0 528879 0
Current children cumulated CPU time: 646.46 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 144072 KiB
[startup+649.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30174420/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=156360 CPUtime=649.66 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81062 0 0 0 64834 132 0 0 20 0 1 0 409510358 2184830976 39090 33554432000 4194304 5870510 140723119939152 140723119937592 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 39090 1011 410 0 528879 0
Current children cumulated CPU time: 649.66 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 156360 KiB
[startup+651.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30172280/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=156360 CPUtime=651.26 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81062 0 0 0 64994 132 0 0 20 0 1 0 409510358 2184830976 39090 33554432000 4194304 5870510 140723119939152 140723119937592 5268151 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 39090 1011 410 0 528879 0
Current children cumulated CPU time: 651.26 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 156360 KiB
[startup+652.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30172156/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=156360 CPUtime=652.86 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81062 0 0 0 65154 132 0 0 20 0 1 0 409510358 2184830976 39090 33554432000 4194304 5870510 140723119939152 140723119938264 5268094 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 39090 1011 410 0 528879 0
Current children cumulated CPU time: 652.86 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 156360 KiB
[startup+653.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30172156/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=156360 CPUtime=653.66 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81062 0 0 0 65234 132 0 0 20 0 1 0 409510358 2184830976 39090 33554432000 4194304 5870510 140723119939152 140723119938264 5281854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 39090 1011 410 0 528879 0
Current children cumulated CPU time: 653.66 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 156360 KiB
[startup+654 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30172032/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=156360 CPUtime=654.07 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81062 0 0 0 65275 132 0 0 20 0 1 0 409510358 2184830976 39090 33554432000 4194304 5870510 140723119939152 140723119938264 5258783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 39090 1011 410 0 528879 0
Current children cumulated CPU time: 654.07 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 156360 KiB
[startup+654.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24611
/proc/meminfo: memFree=30172032/32770624 swapFree=67001532/67108860
[pid=24401] ppid=24398 vsize=2133624 memory=156360 CPUtime=654.17 cores=1,3,5,7
/proc/24401/stat : 24401 (xcsp_picat) R 24398 24401 22075 0 -1 4202496 81065 0 0 0 65285 132 0 0 20 0 1 0 409510358 2184830976 39090 33554432000 4194304 5870510 140723119939152 140723119938264 4843440 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46497792 140723119944735 140723119944813 140723119944813 140723119947722 0
/proc/24401/statm: 533406 39090 1011 410 0 528879 0
Current children cumulated CPU time: 654.17 s
Current children cumulated vsize: 2133624 KiB
Current children cumulated memory: 156360 KiB
Child status: 0
Real time (s): 654.115
CPU time (s): 654.181
CPU user time (s): 652.858
CPU system time (s): 1.32314
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 2174340
Max. memory (cumulated for all children) (KiB): 174792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 652.858
system time used= 1.32314
maximum resident set size= 174792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81086
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= 7
involuntary context switches= 185
# summary of solver processes directly reported to runsolver:
# pid: 24401
# total CPU time (s): 654.181
# total CPU user time (s): 652.858
# total CPU system time (s): 1.32314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37481 second user time and 4.25044 second system time
The end