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 (6814 MiB free)
memory of node 1: 16384 MiB (13860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294311-1532441407/watcher-4294311-1532441407 -o /tmp/evaluation-result-4294311-1532441407/solver-4294311-1532441407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27369 --watchdog 2580 xcsp_picat HOME/instance-4294311-1532441407.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=29822, runsolver pid=29819
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 2.09 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21134352/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=135572 memory=41080 CPUtime=0.1 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 3781 0 0 0 9 1 0 0 20 0 1 0 61703877 138825728 10270 33554432000 4194304 5849740 140734542465616 140734542465616 4562772 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 33893 10270 669 405 0 30837 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 41080 KiB
[startup+0.20985 s]*
/proc/loadavg: 2.09 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21119780/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=148372 memory=53940 CPUtime=0.21 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 6515 0 0 0 20 1 0 0 20 0 1 0 61703877 151932928 13485 33554432000 4194304 5849740 140734542465616 140734542465616 4569833 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 37093 13485 713 405 0 34037 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 148372 KiB
Current children cumulated memory: 53940 KiB
[startup+0.309696 s]*
/proc/loadavg: 2.09 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21095396/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=172956 memory=78428 CPUtime=0.3 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 8062 0 0 0 29 1 0 0 20 0 1 0 61703877 177106944 19607 33554432000 4194304 5849740 140734542465616 140734542465616 5355807 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 43239 19607 713 405 0 40183 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 172956 KiB
Current children cumulated memory: 78428 KiB
[startup+0.700409 s]
/proc/loadavg: 2.09 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21060464/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=256928 memory=151876 CPUtime=0.69 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 11040 0 0 0 66 3 0 0 20 0 1 0 61703877 263094272 37969 33554432000 4194304 5849740 140734542465616 140734542465616 140639813740448 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 64232 37969 713 405 0 61176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 256928 KiB
Current children cumulated memory: 151876 KiB
[startup+1.50042 s]
/proc/loadavg: 2.09 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21022560/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=255748 memory=161400 CPUtime=1.5 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 13017 0 0 0 146 4 0 0 20 0 1 0 61703877 261885952 40350 33554432000 4194304 5849740 140734542465616 140734542463864 5410422 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 63937 40350 725 405 0 60881 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 255748 KiB
Current children cumulated memory: 161400 KiB
[startup+3.10981 s]
/proc/loadavg: 2.09 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21012000/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=256200 memory=161964 CPUtime=3.1 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 28717 0 0 0 305 5 0 0 20 0 1 0 61703877 262348800 40491 33554432000 4194304 5849740 140734542465616 140734542463864 4217774 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 64050 40491 732 405 0 60994 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 256200 KiB
Current children cumulated memory: 161964 KiB
[startup+6.30035 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21010176/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=257980 memory=163784 CPUtime=6.29 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 46466 0 0 0 624 5 0 0 20 0 1 0 61703877 264171520 40946 33554432000 4194304 5849740 140734542465616 140734542464104 5406527 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 64495 40946 741 405 0 61439 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 257980 KiB
Current children cumulated memory: 163784 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21010220/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=257980 memory=163800 CPUtime=12.69 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 62338 0 0 0 1261 8 0 0 20 0 1 0 61703877 264171520 40950 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 64495 40950 745 405 0 61439 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 257980 KiB
Current children cumulated memory: 163800 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 29823
/proc/meminfo: memFree=21058548/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=209148 memory=114968 CPUtime=25.48 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 80076 0 0 0 2535 13 0 0 20 0 1 0 61703877 214167552 28742 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 52287 28742 745 405 0 49231 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 209148 KiB
Current children cumulated memory: 114968 KiB
[startup+51.1098 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 29823
/proc/meminfo: memFree=21047708/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=216624 memory=126288 CPUtime=51.09 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 83624 0 0 0 5079 30 0 0 20 0 1 0 61703877 221822976 31572 33554432000 4194304 5849740 140734542465616 140734542464616 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 54156 31572 745 405 0 51100 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 216624 KiB
Current children cumulated memory: 126288 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 29824
/proc/meminfo: memFree=21050344/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=211824 memory=124032 CPUtime=102.29 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 87004 0 0 0 10174 55 0 0 20 0 1 0 61703877 216907776 31008 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 52956 31008 745 405 0 49900 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 211824 KiB
Current children cumulated memory: 124032 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 29825
/proc/meminfo: memFree=21046188/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=217684 memory=127248 CPUtime=162.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 90034 0 0 0 16139 89 0 0 20 0 1 0 61703877 222908416 31812 33554432000 4194304 5849740 140734542465616 140734542464616 5366767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 54421 31812 745 405 0 51365 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 217684 KiB
Current children cumulated memory: 127248 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 29826
/proc/meminfo: memFree=20981908/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=262852 memory=167996 CPUtime=222.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 93875 0 0 0 22110 118 0 0 20 0 1 0 61703877 269160448 41999 33554432000 4194304 5849740 140734542465616 140734542464264 4206121 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 65713 41999 745 405 0 62657 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 262852 KiB
Current children cumulated memory: 167996 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 29827
/proc/meminfo: memFree=20975836/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=262768 memory=174108 CPUtime=282.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 97411 0 0 0 28077 151 0 0 20 0 1 0 61703877 269074432 43527 33554432000 4194304 5849740 140734542465616 140734542464616 5437467 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 65692 43527 745 405 0 62636 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 262768 KiB
Current children cumulated memory: 174108 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 29828
/proc/meminfo: memFree=20970772/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=266784 memory=178920 CPUtime=342.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 101464 0 0 0 34048 180 0 0 20 0 1 0 61703877 273186816 44730 33554432000 4194304 5849740 140734542465616 140734542464104 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 66696 44730 745 405 0 63640 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 266784 KiB
Current children cumulated memory: 178920 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 29829
/proc/meminfo: memFree=20970828/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=266696 memory=178904 CPUtime=402.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 102919 0 0 0 40015 213 0 0 20 0 1 0 61703877 273096704 44726 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 66674 44726 745 405 0 63618 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 266696 KiB
Current children cumulated memory: 178904 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 29830
/proc/meminfo: memFree=20967800/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=276132 memory=182148 CPUtime=462.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 104507 0 0 0 45992 236 0 0 20 0 1 0 61703877 282759168 45537 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 69033 45537 745 405 0 65977 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 276132 KiB
Current children cumulated memory: 182148 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 29831
/proc/meminfo: memFree=20966800/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=276068 memory=182084 CPUtime=522.29 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 106037 0 0 0 51967 262 0 0 20 0 1 0 61703877 282693632 45521 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 69017 45521 745 405 0 65961 0
Current children cumulated CPU time: 522.29 s
Current children cumulated vsize: 276068 KiB
Current children cumulated memory: 182084 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 29833
/proc/meminfo: memFree=20941796/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=294276 memory=206324 CPUtime=582.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 108635 0 0 0 57936 292 0 0 20 0 1 0 61703877 301338624 51581 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 73569 51581 745 405 0 70513 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 294276 KiB
Current children cumulated memory: 206324 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 29843
/proc/meminfo: memFree=20877748/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=294276 memory=206588 CPUtime=642.29 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 110422 0 0 0 63911 318 0 0 20 0 1 0 61703877 301338624 51647 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 73569 51647 745 405 0 70513 0
Current children cumulated CPU time: 642.29 s
Current children cumulated vsize: 294276 KiB
Current children cumulated memory: 206588 KiB
[startup+702.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/193 29965
/proc/meminfo: memFree=21011212/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=259888 memory=172004 CPUtime=702.28 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 119739 0 0 0 69882 346 0 0 20 0 1 0 61703877 266125312 43001 33554432000 4194304 5849740 140734542465616 140734542464264 5360363 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 64972 43001 754 405 0 61916 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 259888 KiB
Current children cumulated memory: 172004 KiB
[startup+737.987 s]
# the end of solver process 29822 was just reported to runsolver
# cumulated CPU time of all completed processes: user=734.116 s, system=3.862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 1.97 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21101204/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168800 memory=81044 CPUtime=716.78 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 125337 0 0 0 71321 357 0 0 20 0 1 0 61703877 172851200 20261 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42200 20261 754 405 0 39144 0
Current children cumulated CPU time: 716.78 s
Current children cumulated vsize: 168800 KiB
Current children cumulated memory: 81044 KiB
[startup+729.6 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21101732/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=729.58 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 127382 0 0 0 72584 374 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464344 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 729.58 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
[startup+732.8 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21098800/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=732.79 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 128303 0 0 0 72900 379 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464344 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 732.79 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
[startup+736 s]*
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21125564/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=735.99 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 129075 0 0 0 73215 384 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 735.99 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
[startup+736.8 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21125564/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=736.78 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 129075 0 0 0 73294 384 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 736.78 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
[startup+737.6 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21125564/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=737.58 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 129076 0 0 0 73373 385 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 737.58 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
[startup+737.8 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21125564/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=737.78 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 129076 0 0 0 73393 385 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 737.78 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
[startup+737.9 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 29966
/proc/meminfo: memFree=21125564/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=168128 memory=80372 CPUtime=737.89 cores=1,3,5,7
/proc/29822/stat : 29822 (xcsp_picat) R 29819 29822 27337 0 -1 4202496 129076 0 0 0 73403 386 0 0 20 0 1 0 61703877 172163072 20093 33554432000 4194304 5849740 140734542465616 140734542464616 140639814152071 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 44843008 140734542468278 140734542468356 140734542468356 140734542471114 0
/proc/29822/statm: 42032 20093 754 405 0 38976 0
Current children cumulated CPU time: 737.89 s
Current children cumulated vsize: 168128 KiB
Current children cumulated memory: 80372 KiB
Child status: 0
Real time (s): 737.987
CPU time (s): 737.978
CPU user time (s): 734.116
CPU system time (s): 3.862
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 300404
Max. memory (cumulated for all children) (KiB): 212384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 734.116
system time used= 3.862
maximum resident set size= 212384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129433
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= 17
involuntary context switches= 296
# summary of solver processes directly reported to runsolver:
# pid: 29822
# total CPU time (s): 737.978
# total CPU user time (s): 734.116
# total CPU system time (s): 3.862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.91223 second user time and 5.54778 second system time
The end