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 (13572 MiB free)
memory of node 1: 16384 MiB (10443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309399-1534306743/watcher-4309399-1534306743 -o /tmp/evaluation-result-4309399-1534306743/solver-4309399-1534306743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21936 --watchdog 2580 xcsp_picat HOME/instance-4309399-1534306743.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=23588, runsolver pid=23585
[startup+0.100198 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24576208/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2028584 memory=18900 CPUtime=0.1 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 2523 0 0 0 10 0 0 0 20 0 1 0 248237471 2077270016 4725 33554432000 4194304 5849940 140725049010000 140725049010000 5303939 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 507146 4725 692 405 0 504090 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028584 KiB
Current children cumulated memory: 18900 KiB
[startup+0.209645 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24576208/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2028384 memory=18900 CPUtime=0.21 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 2703 0 0 0 21 0 0 0 20 0 1 0 248237471 2077065216 4725 33554432000 4194304 5849940 140725049010000 140725049010000 5365888 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 507096 4725 692 405 0 504040 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028384 KiB
Current children cumulated memory: 18900 KiB
[startup+0.308898 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24576208/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2028384 memory=18900 CPUtime=0.31 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 2742 0 0 0 31 0 0 0 20 0 1 0 248237471 2077065216 4725 33554432000 4194304 5849940 140725049010000 140725049010000 5360568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 507096 4725 692 405 0 504040 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028384 KiB
Current children cumulated memory: 18900 KiB
[startup+0.700359 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24574224/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2040488 memory=30316 CPUtime=0.69 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 5366 0 0 0 69 0 0 0 20 0 1 0 248237471 2089459712 7579 33554432000 4194304 5849940 140725049010000 140725049010000 5319535 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 510122 7579 704 405 0 507066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040488 KiB
Current children cumulated memory: 30316 KiB
[startup+1.50035 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24567000/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2036392 memory=26324 CPUtime=1.49 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 5371 0 0 0 148 1 0 0 20 0 1 0 248237471 2085265408 6581 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 509098 6581 705 405 0 506042 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036392 KiB
Current children cumulated memory: 26324 KiB
[startup+3.10953 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24564768/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2036536 memory=26872 CPUtime=3.1 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 8099 0 0 0 307 3 0 0 20 0 1 0 248237471 2085412864 6718 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 509134 6718 708 405 0 506078 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2036536 KiB
Current children cumulated memory: 26872 KiB
[startup+6.30034 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24566560/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2037328 memory=27780 CPUtime=6.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 10057 0 0 0 623 7 0 0 20 0 1 0 248237471 2086223872 6945 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 509332 6945 708 405 0 506276 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 2037328 KiB
Current children cumulated memory: 27780 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24559924/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2037568 memory=27988 CPUtime=12.69 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 14095 0 0 0 1257 12 0 0 20 0 1 0 248237471 2086469632 6997 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 509392 6997 708 405 0 506336 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037568 KiB
Current children cumulated memory: 27988 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24540388/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2038008 memory=28556 CPUtime=25.5 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 26140 0 0 0 2526 24 0 0 20 0 1 0 248237471 2086920192 7139 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 509502 7139 708 405 0 506446 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2038008 KiB
Current children cumulated memory: 28556 KiB
[startup+51.1094 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 23589
/proc/meminfo: memFree=24563268/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2042484 memory=33008 CPUtime=51.1 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 41420 0 0 0 5067 43 0 0 20 0 1 0 248237471 2091503616 8252 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 510621 8252 708 405 0 507565 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2042484 KiB
Current children cumulated memory: 33008 KiB
[startup+102.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/187 23597
/proc/meminfo: memFree=24513912/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2045436 memory=35904 CPUtime=102.29 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 62285 0 0 0 10152 77 0 0 20 0 1 0 248237471 2094526464 8976 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 511359 8976 708 405 0 508303 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2045436 KiB
Current children cumulated memory: 35904 KiB
[startup+162.3 s]
/proc/loadavg: 2.37 2.15 2.09 3/187 23598
/proc/meminfo: memFree=24543356/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2052968 memory=43536 CPUtime=162.29 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 82453 0 0 0 16117 112 0 0 20 0 1 0 248237471 2102239232 10884 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 513242 10884 708 405 0 510186 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2052968 KiB
Current children cumulated memory: 43536 KiB
[startup+222.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/187 23599
/proc/meminfo: memFree=24505416/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2060476 memory=51044 CPUtime=222.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 101016 0 0 0 22087 143 0 0 20 0 1 0 248237471 2109927424 12761 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 515119 12761 708 405 0 512063 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2060476 KiB
Current children cumulated memory: 51044 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 23600
/proc/meminfo: memFree=24464804/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2074260 memory=64712 CPUtime=282.29 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 114163 0 0 0 28070 159 0 0 20 0 1 0 248237471 2124042240 16178 33554432000 4194304 5849940 140725049010000 140725049009160 5438514 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518565 16178 708 405 0 515509 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2074260 KiB
Current children cumulated memory: 64712 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 23601
/proc/meminfo: memFree=24490324/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2066624 memory=57076 CPUtime=342.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 128173 0 0 0 34055 175 0 0 20 0 1 0 248237471 2116222976 14269 33554432000 4194304 5849940 140725049010000 140725049009000 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 516656 14269 708 405 0 513600 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2066624 KiB
Current children cumulated memory: 57076 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 23603
/proc/meminfo: memFree=24448800/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2092564 memory=83016 CPUtime=402.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 139301 0 0 0 40042 188 0 0 20 0 1 0 248237471 2142785536 20754 33554432000 4194304 5849940 140725049010000 140725049009000 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 523141 20754 708 405 0 520085 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2092564 KiB
Current children cumulated memory: 83016 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 23604
/proc/meminfo: memFree=24427556/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2113488 memory=103940 CPUtime=462.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 154183 0 0 0 46030 200 0 0 20 0 1 0 248237471 2164211712 25985 33554432000 4194304 5849940 140725049010000 140725049009000 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 528372 25985 708 405 0 525316 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2113488 KiB
Current children cumulated memory: 103940 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 23605
/proc/meminfo: memFree=24458420/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2044384 memory=34888 CPUtime=522.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 160280 0 0 0 52003 227 0 0 20 0 1 0 248237471 2093449216 8722 33554432000 4194304 5849940 140725049010000 140725049008872 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 511096 8722 717 405 0 508040 0
Current children cumulated CPU time: 522.3 s
Current children cumulated vsize: 2044384 KiB
Current children cumulated memory: 34888 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23607
/proc/meminfo: memFree=24485024/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2058620 memory=49096 CPUtime=582.31 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 162294 0 0 0 57962 269 0 0 20 0 1 0 248237471 2108026880 12274 33554432000 4194304 5849940 140725049010000 140725049008872 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 514655 12274 719 405 0 511599 0
Current children cumulated CPU time: 582.31 s
Current children cumulated vsize: 2058620 KiB
Current children cumulated memory: 49096 KiB
[startup+642.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 23608
/proc/meminfo: memFree=24471440/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=642.31 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 165315 0 0 0 63930 301 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 642.31 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+702.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24464104/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=702.3 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168589 0 0 0 69890 340 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009160 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 702.3 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+715.441 s]
# the end of solver process 23588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=711.953 s, system=3.50108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 2.03 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24462244/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=704.01 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168589 0 0 0 70060 341 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009160 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 704.01 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+710.4 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24452488/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=710.4 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168590 0 0 0 70694 346 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 710.4 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+713.6 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24452488/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=713.6 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168590 0 0 0 71012 348 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 713.6 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+714.4 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24452488/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=714.41 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168590 0 0 0 71092 349 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 714.41 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+715.2 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24452488/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=715.2 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168590 0 0 0 71171 349 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 715.2 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
[startup+715.4 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 23617
/proc/meminfo: memFree=24452488/32770624 swapFree=67108172/67108860
[pid=23588] ppid=23585 vsize=2072924 memory=63436 CPUtime=715.4 cores=0,2,4,6
/proc/23588/stat : 23588 (xcsp_picat) R 23585 23588 21905 0 -1 4202496 168590 0 0 0 71191 349 0 0 20 0 1 0 248237471 2122674176 15859 33554432000 4194304 5849940 140725049010000 140725049009000 140544349130631 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 35094528 140725049017526 140725049017604 140725049017604 140725049020362 0
/proc/23588/statm: 518231 15859 719 405 0 515175 0
Current children cumulated CPU time: 715.4 s
Current children cumulated vsize: 2072924 KiB
Current children cumulated memory: 63436 KiB
Child status: 0
Real time (s): 715.441
CPU time (s): 715.455
CPU user time (s): 711.953
CPU system time (s): 3.50108
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2113488
Max. memory (cumulated for all children) (KiB): 103940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 711.953
system time used= 3.50108
maximum resident set size= 103940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168636
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= 2
involuntary context switches= 479
# summary of solver processes directly reported to runsolver:
# pid: 23588
# total CPU time (s): 715.455
# total CPU user time (s): 711.953
# total CPU system time (s): 3.50108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.73823 second user time and 5.16809 second system time
The end