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 (3731 MiB free)
memory of node 1: 16384 MiB (7132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295997-1532597273/watcher-4295997-1532597273 -o /tmp/evaluation-result-4295997-1532597273/solver-4295997-1532597273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28433 --watchdog 2580 xcsp_picat HOME/instance-4295997-1532597273.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28746, runsolver pid=28743
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.92 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11111232/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=112252 memory=15748 CPUtime=0.1 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 1581 0 0 0 10 0 0 0 20 0 1 0 77290500 114946048 3937 33554432000 4194304 5849740 140723092945920 140723092945920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28063 3937 705 405 0 25007 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112252 KiB
Current children cumulated memory: 15748 KiB
[startup+0.209418 s]*
/proc/loadavg: 1.92 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11111232/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=112560 memory=16008 CPUtime=0.2 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 1710 0 0 0 20 0 0 0 20 0 1 0 77290500 115261440 4002 33554432000 4194304 5849740 140723092945920 140723092945920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28140 4002 705 405 0 25084 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112560 KiB
Current children cumulated memory: 16008 KiB
[startup+0.308761 s]*
/proc/loadavg: 1.92 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11110564/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=113328 memory=16780 CPUtime=0.31 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 1902 0 0 0 30 1 0 0 20 0 1 0 77290500 116047872 4195 33554432000 4194304 5849740 140723092945920 140723092945920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28332 4195 705 405 0 25276 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113328 KiB
Current children cumulated memory: 16780 KiB
[startup+0.700255 s]
/proc/loadavg: 1.92 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11105416/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=113792 memory=17344 CPUtime=0.69 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 2053 0 0 0 68 1 0 0 20 0 1 0 77290500 116523008 4336 33554432000 4194304 5849740 140723092945920 140723092945920 5392428 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28448 4336 706 405 0 25392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113792 KiB
Current children cumulated memory: 17344 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11104300/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=114900 memory=18568 CPUtime=1.49 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 2396 0 0 0 148 1 0 0 20 0 1 0 77290500 117657600 4642 33554432000 4194304 5849740 140723092945920 140723092945920 4211660 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28725 4642 729 405 0 25669 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114900 KiB
Current children cumulated memory: 18568 KiB
[startup+3.10892 s]
/proc/loadavg: 1.92 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11082192/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=115720 memory=19444 CPUtime=3.1 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 3070 0 0 0 308 2 0 0 20 0 1 0 77290500 118497280 4861 33554432000 4194304 5849740 140723092945920 140723092944328 4211600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28930 4861 733 405 0 25874 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 115720 KiB
Current children cumulated memory: 19444 KiB
[startup+6.30027 s]
/proc/loadavg: 1.93 2.00 1.95 3/187 28747
/proc/meminfo: memFree=11124736/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=115720 memory=19444 CPUtime=6.29 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 3842 0 0 0 627 2 0 0 20 0 1 0 77290500 118497280 4861 33554432000 4194304 5849740 140723092945920 140723092944328 4212042 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 28930 4861 733 405 0 25874 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 115720 KiB
Current children cumulated memory: 19444 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.95 3/187 28748
/proc/meminfo: memFree=11096672/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=116408 memory=20016 CPUtime=12.69 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 6157 0 0 0 1266 3 0 0 20 0 1 0 77290500 119201792 5004 33554432000 4194304 5849740 140723092945920 140723092944408 4212046 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 29102 5004 744 405 0 26046 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 116408 KiB
Current children cumulated memory: 20016 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.95 3/187 28748
/proc/meminfo: memFree=11074864/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=119216 memory=22964 CPUtime=25.5 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 11238 0 0 0 2537 13 0 0 20 0 1 0 77290500 122077184 5741 33554432000 4194304 5849740 140723092945920 140723092943816 4212046 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 29804 5741 746 405 0 26748 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 119216 KiB
Current children cumulated memory: 22964 KiB
[startup+51.1089 s]
/proc/loadavg: 1.97 2.00 1.95 3/187 28748
/proc/meminfo: memFree=11051620/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=124008 memory=26896 CPUtime=51.1 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 21121 0 0 0 5076 34 0 0 20 0 1 0 77290500 126984192 6724 33554432000 4194304 5849740 140723092945920 140723092944408 4211654 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 31002 6724 746 405 0 27946 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 124008 KiB
Current children cumulated memory: 26896 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/187 28749
/proc/meminfo: memFree=11018288/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=151220 memory=57776 CPUtime=102.3 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 27498 0 0 0 10147 83 0 0 20 0 1 0 77290500 154849280 14444 33554432000 4194304 5849740 140723092945920 140723092944920 5392275 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 37805 14444 746 405 0 34749 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 151220 KiB
Current children cumulated memory: 57776 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/188 28758
/proc/meminfo: memFree=11011072/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=154240 memory=62764 CPUtime=162.3 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 31086 0 0 0 16103 127 0 0 20 0 1 0 77290500 157941760 15691 33554432000 4194304 5849740 140723092945920 140723092944920 5438221 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 38560 15691 746 405 0 35504 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 154240 KiB
Current children cumulated memory: 62764 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28759
/proc/meminfo: memFree=10954032/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=195644 memory=104000 CPUtime=222.31 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 43393 0 0 0 22077 154 0 0 20 0 1 0 77290500 200339456 26000 33554432000 4194304 5849740 140723092945920 140723092944920 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 48911 26000 746 405 0 45855 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 195644 KiB
Current children cumulated memory: 104000 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28760
/proc/meminfo: memFree=10895384/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=241060 memory=149448 CPUtime=282.32 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 49766 0 0 0 28054 178 0 0 20 0 1 0 77290500 246845440 37362 33554432000 4194304 5849740 140723092945920 140723092945080 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 60265 37362 746 405 0 57209 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 241060 KiB
Current children cumulated memory: 149448 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28761
/proc/meminfo: memFree=10996396/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=146768 memory=55516 CPUtime=342.32 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 65112 0 0 0 34027 205 0 0 20 0 1 0 77290500 150290432 13879 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 36692 13879 746 405 0 33636 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 146768 KiB
Current children cumulated memory: 55516 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28762
/proc/meminfo: memFree=10998184/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=129212 memory=37768 CPUtime=402.33 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 68418 0 0 0 39983 250 0 0 20 0 1 0 77290500 132313088 9442 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 32303 9442 746 405 0 29247 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 129212 KiB
Current children cumulated memory: 37768 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 28763
/proc/meminfo: memFree=10932676/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=179332 memory=87940 CPUtime=462.34 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 76985 0 0 0 45948 286 0 0 20 0 1 0 77290500 183635968 21985 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 44833 21985 746 405 0 41777 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 179332 KiB
Current children cumulated memory: 87940 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 28764
/proc/meminfo: memFree=10952616/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=217608 memory=126012 CPUtime=522.34 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 80462 0 0 0 51925 309 0 0 20 0 1 0 77290500 222830592 31503 33554432000 4194304 5849740 140723092945920 140723092944920 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 54402 31503 746 405 0 51346 0
Current children cumulated CPU time: 522.34 s
Current children cumulated vsize: 217608 KiB
Current children cumulated memory: 126012 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 28765
/proc/meminfo: memFree=10887720/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=267456 memory=175956 CPUtime=582.35 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 91572 0 0 0 57907 328 0 0 20 0 1 0 77290500 273874944 43989 33554432000 4194304 5849740 140723092945920 140723092944792 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 66864 43989 746 405 0 63808 0
Current children cumulated CPU time: 582.35 s
Current children cumulated vsize: 267456 KiB
Current children cumulated memory: 175956 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 28766
/proc/meminfo: memFree=10865932/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=274472 memory=183092 CPUtime=642.36 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 93681 0 0 0 63890 346 0 0 20 0 1 0 77290500 281059328 45773 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 68618 45773 746 405 0 65562 0
Current children cumulated CPU time: 642.36 s
Current children cumulated vsize: 274472 KiB
Current children cumulated memory: 183092 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 28767
/proc/meminfo: memFree=10835768/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=299336 memory=207956 CPUtime=702.36 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 97873 0 0 0 69871 365 0 0 20 0 1 0 77290500 306520064 51989 33554432000 4194304 5849740 140723092945920 140723092944920 5395649 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 74834 51989 746 405 0 71778 0
Current children cumulated CPU time: 702.36 s
Current children cumulated vsize: 299336 KiB
Current children cumulated memory: 207956 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28776
/proc/meminfo: memFree=10992932/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=127452 memory=35008 CPUtime=762.36 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 102618 0 0 0 75842 394 0 0 20 0 1 0 77290500 130510848 8752 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 31863 8752 746 405 0 28807 0
Current children cumulated CPU time: 762.36 s
Current children cumulated vsize: 127452 KiB
Current children cumulated memory: 35008 KiB
[startup+770.452 s]
# the end of solver process 28746 was just reported to runsolver
# cumulated CPU time of all completed processes: user=766.492 s, system=4.03342 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+764.8 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28776
/proc/meminfo: memFree=10992932/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=127452 memory=35008 CPUtime=764.87 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 102618 0 0 0 76091 396 0 0 20 0 1 0 77290500 130510848 8752 33554432000 4194304 5849740 140723092945920 140723092944408 5312857 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 31863 8752 746 405 0 28807 0
Current children cumulated CPU time: 764.87 s
Current children cumulated vsize: 127452 KiB
Current children cumulated memory: 35008 KiB
[startup+768 s]*
/proc/loadavg: 2.00 2.00 1.95 3/188 28776
/proc/meminfo: memFree=10992700/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=127452 memory=35008 CPUtime=768.07 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 102618 0 0 0 76408 399 0 0 20 0 1 0 77290500 130510848 8752 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 31863 8752 746 405 0 28807 0
Current children cumulated CPU time: 768.07 s
Current children cumulated vsize: 127452 KiB
Current children cumulated memory: 35008 KiB
[startup+769.6 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28776
/proc/meminfo: memFree=10990096/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=129352 memory=37912 CPUtime=769.67 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 103334 0 0 0 76565 402 0 0 20 0 1 0 77290500 132456448 9478 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 32338 9478 746 405 0 29282 0
Current children cumulated CPU time: 769.67 s
Current children cumulated vsize: 129352 KiB
Current children cumulated memory: 37912 KiB
[startup+770 s]*
/proc/loadavg: 2.00 2.00 1.95 3/188 28776
/proc/meminfo: memFree=10990096/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=129352 memory=37912 CPUtime=770.07 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 103334 0 0 0 76605 402 0 0 20 0 1 0 77290500 132456448 9478 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 32338 9478 746 405 0 29282 0
Current children cumulated CPU time: 770.07 s
Current children cumulated vsize: 129352 KiB
Current children cumulated memory: 37912 KiB
[startup+770.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/188 28776
/proc/meminfo: memFree=10990096/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=129352 memory=37912 CPUtime=770.47 cores=1,3,5,7
/proc/28746/stat : 28746 (xcsp_picat) R 28743 28746 26989 0 -1 4202496 103334 0 0 0 76644 403 0 0 20 0 1 0 77290500 132456448 9478 33554432000 4194304 5849740 140723092945920 140723092944920 139920376917895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 29233152 140723092952246 140723092952324 140723092952324 140723092955082 0
/proc/28746/statm: 32338 9478 746 405 0 29282 0
Current children cumulated CPU time: 770.47 s
Current children cumulated vsize: 129352 KiB
Current children cumulated memory: 37912 KiB
Child status: 0
Real time (s): 770.452
CPU time (s): 770.526
CPU user time (s): 766.492
CPU system time (s): 4.03342
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 308380
Max. memory (cumulated for all children) (KiB): 216840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 766.492
system time used= 4.03342
maximum resident set size= 216840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103381
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= 19
involuntary context switches= 546
# summary of solver processes directly reported to runsolver:
# pid: 28746
# total CPU time (s): 770.526
# total CPU user time (s): 766.492
# total CPU system time (s): 4.03342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.9367 second user time and 5.58198 second system time
The end